6 search results - page 2 / 2 » (Sync|Async) MPI Search Engines |
165
Voted
KBSE
2003
IEEE
16 years 20 days 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...