Login / Signup
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.
Anh Vo
Ganesh Gopalakrishnan
Robert M. Kirby
Bronis R. de Supinski
Martin Schulz
Greg Bronevetsky
Published in:
PACT (2011)
Keyphrases
</>
symbolic execution
small scale
parallel algorithm
message passing
general purpose
real world
hardware designs
real life
high performance computing
knowledge base
parallel computing
web scale
information systems
database
model checking
probabilistic model
computer programs
lazy learning
parallelization strategy