%0 Conference Paper %1 conf/pvm/VoVWGKT09 %A Vo, Anh %A Vakkalanka, Sarvani S. %A Williams, Jason %A Gopalakrishnan, Ganesh %A Kirby, Robert M. %A Thakur, Rajeev %B PVM/MPI %D 2009 %E Ropo, Matti %E Westerholm, Jan %E Dongarra, Jack J. %I Springer %K dblp %P 271-281 %T Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. %U http://dblp.uni-trier.de/db/conf/pvm/pvm2009.html#VoVWGKT09 %V 5759 %@ 978-3-642-03769-6

@inproceedings{conf/pvm/VoVWGKT09, added-at = {2017-05-19T00:00:00.000+0200}, author = {Vo, Anh and Vakkalanka, Sarvani S. and Williams, Jason and Gopalakrishnan, Ganesh and Kirby, Robert M. and Thakur, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/201bbd0a4e99abbfd4458bc1d2167923d/dblp}, booktitle = {PVM/MPI}, crossref = {conf/pvm/2009}, editor = {Ropo, Matti and Westerholm, Jan and Dongarra, Jack J.}, ee = {https://doi.org/10.1007/978-3-642-03770-2_33}, interhash = {06de2d95ad6beac2b5d6efba9f0c00fb}, intrahash = {01bbd0a4e99abbfd4458bc1d2167923d}, isbn = {978-3-642-03769-6}, keywords = {dblp}, pages = {271-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-08-22T11:57:15.000+0200}, title = {Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.}, url = {http://dblp.uni-trier.de/db/conf/pvm/pvm2009.html#VoVWGKT09}, volume = 5759, year = 2009 }