Login / Signup
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.
Sarvani S. Vakkalanka
Michael Delisi
Ganesh Gopalakrishnan
Robert M. Kirby
Rajeev Thakur
William Gropp
Published in:
PVM/MPI (2008)
Keyphrases
</>
formal verification
computationally expensive
efficient implementation
neural network
machine learning methods
significant improvement
open source
multi agent systems
computational cost
general purpose
orders of magnitude
computationally intensive