Filtrer vos résultats
- 7
- 3
- 2
- 2
- 7
- 2
- 1
- 4
- 7
- 4
- 4
- 7
- 7
- 6
- 3
- 3
- 1
|
|
triés par
|
Distributed algorithm to fight the state explosion problemINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue
hal-01716143v1
|
|||
Proposed Algorithms to the State Explosion ProblemAynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
Chapitre d'ouvrage
hal-02515359v1
|
|||
Using Parallel and Distributed Reachability in Model CheckingRecent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
Communication dans un congrès
hal-01780556v1
|
|||
|
A Parallel Algorithm for the State Space ExplorationScalable Computing : Practice and Experience, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
Article dans une revue
hal-01373317v1
|
||
Towards Distributed Solution to the State Explosion ProblemINDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩
Communication dans un congrès
hal-01298895v1
|
|||
|
Sequential and Parallel Algorithms for the State Space ExplorationCybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
Article dans une revue
hal-01373327v1
|
||
Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage
hal-02515020v1
|