![](/img/cover-not-exists.png)
[IEEE 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT) - Galveston, TX, USA (2011.10.10-2011.10.14)] 2011 International Conference on Parallel Architectures and Compilation Techniques - Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update
Vo, Anh, Gopalakrishnan, Ganesh, Kirby, Robert M., de Supinski, Bronis R., Schulz, Martin, Bronevetsky, GregYear:
2011
Language:
english
DOI:
10.1109/pact.2011.64
File:
PDF, 365 KB
english, 2011