mpicroscope: Towards an MPI Benchmark Tool for Performance Guideline Verification.

Jesper Larsson Träff

Published in: EuroMPI (2012)

Keyphrases

general purpose
real time
software tools
comparative analysis
learning algorithm
artificial intelligence
information systems
model checking
parallel algorithm
distributed memory
medical knowledge
formal verification