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á bibliografia

Vydané v:	2009 IEEE/ACM International Conference on Automated Software Engineering s. 635 - 639
Hlavní autori:	Barnat, J., Brim, L., Simecek, P.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.11.2009
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!