MPI Correctness Checking with Marmot.
Bettina KrammerTobias HilbrichValentin HimmlerBlasius CzinkKiril DichevMatthias S. MüllerPublished in: Parallel Tools Workshop (2008)
Keyphrases
- parallel algorithm
- general purpose
- message passing
- parallel implementation
- high performance computing
- message passing interface
- shared memory
- parallelization strategy
- parallel computing
- image processing
- massively parallel
- learning algorithm
- distributed memory
- consistency checking
- provably correct
- data sets
- real time