Verification of MPI-based Computations.
Stephen F. SiegelPublished in: Distributed Verification and Grid Computing (2008)
Keyphrases
- parallel algorithm
- parallel implementation
- model checking
- general purpose
- message passing
- shared memory
- message passing interface
- formal verification
- parallel computation
- concurrent systems
- signature verification
- high performance computing
- parallelization strategy
- real time
- face verification
- website
- fine grained
- pairwise
- similarity measure
- distributed memory
- database systems
- search engine
- genetic algorithm
- data mining