6 search results - page 2 / 2 » (Sync|Async) MPI Search Engines |
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...