Verifying MPI Applications with SimGridMC.
The Anh PhamThierry JéronMartin QuinsonPublished in: CORRECTNESS@SC (2017)
Keyphrases
- parallel algorithm
- high performance computing
- parallel implementation
- message passing
- general purpose
- parallelization strategy
- model checking
- shared memory
- parallel computing
- message passing interface
- markov random field
- parallel programming
- parallel architecture
- peer to peer
- databases
- massively parallel
- special case
- parallel computers
- reinforcement learning