Cluster-Based I/O-Efficient LTL Model Checking

I/O-efficient algorithms take the advantage of large capacities of external memories to verify huge state spaces even on a single machine with low-capacity RAM. On the other hand, parallel algorithms are used to accelerate the computation and their usage may significantly increase the amount of avai...

Celý popis

Podrobná bibliografie

Vydáno v:	2009 IEEE/ACM International Conference on Automated Software Engineering s. 635 - 639
Hlavní autoři:	Barnat, J., Brim, L., Simecek, P.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.11.2009
Témata:	Acceleration Clustering algorithms Computer industry Computer networks Concurrent computing I/O-efficient model checking Large-scale systems LTL Parallel algorithms parallel model checking Random access memory Read-write memory State-space methods
ISBN:	1424452597, 9781424452590
ISSN:	1938-4300
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!