A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.
Anh VoSriram AananthakrishnanGanesh GopalakrishnanBronis R. de SupinskiMartin SchulzGreg BronevetskyPublished in: SC (2010)
Keyphrases
- scalable distributed
- distributed systems
- distributed storage
- data intensive
- cooperative
- parallel implementation
- lightweight
- fault tolerant
- computer networks
- distributed environment
- dynamic environments
- information systems
- computing environments
- message passing
- distributed computing
- parallel algorithm
- control flow
- dynamic aspects
- high scalability
- sensor networks
- multi agent