%0 Conference Paper %1 conf/pvm/SharmaVGKTG08 %A Sharma, Subodh %A Vakkalanka, Sarvani S. %A Gopalakrishnan, Ganesh %A Kirby, Robert M. %A Thakur, Rajeev %A Gropp, William %B PVM/MPI %D 2008 %E Lastovetsky, Alexey L. %E Kechadi, M. Tahar %E Dongarra, Jack J. %I Springer %K dblp %P 265-273 %T A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. %U http://dblp.uni-trier.de/db/conf/pvm/pvm2008.html#SharmaVGKTG08 %V 5205 %@ 978-3-540-87474-4

@inproceedings{conf/pvm/SharmaVGKTG08, added-at = {2021-10-14T00:00:00.000+0200}, author = {Sharma, Subodh and Vakkalanka, Sarvani S. and Gopalakrishnan, Ganesh and Kirby, Robert M. and Thakur, Rajeev and Gropp, William}, biburl = {https://www.bibsonomy.org/bibtex/2b2e6a192b72b1fa7bf75583e328d832f/dblp}, booktitle = {PVM/MPI}, crossref = {conf/pvm/2008}, editor = {Lastovetsky, Alexey L. and Kechadi, M. Tahar and Dongarra, Jack J.}, ee = {https://doi.org/10.1007/978-3-540-87475-1_36}, interhash = {d74fbb0c3282d7b83bee9b05451495b4}, intrahash = {b2e6a192b72b1fa7bf75583e328d832f}, isbn = {978-3-540-87474-4}, keywords = {dblp}, pages = {265-273}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:34:18.000+0200}, title = {A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.}, url = {http://dblp.uni-trier.de/db/conf/pvm/pvm2008.html#SharmaVGKTG08}, volume = 5205, year = 2008 }