Sign in

Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.

Anh VoSarvani S. VakkalankaJason WilliamsGanesh GopalakrishnanRobert M. KirbyRajeev Thakur
Published in: PVM/MPI (2009)
Keyphrases
  • general purpose
  • cost effective
  • neural network
  • artificial intelligence
  • parallel algorithm
  • database systems
  • data structure
  • probabilistic model
  • computationally expensive
  • parallel architectures