A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Subodh Sharma‚ Sarvani S. Vakkalanka‚ Ganesh Gopalakrishnan‚ Robert M. Kirby‚ Rajeev Thakur and William Gropp
Book Title
Recent Advances in Parallel Virtual Machine and Message Passing Interface‚ 15th European PVM/MPI Users' Group Meeting‚ Dublin‚ Ireland‚ September 7−10‚ 2008. Proceedings
Editor
Lastovetsky‚ Alexey L. and Kechadi‚ M. Tahar and Dongarra‚ Jack
ISBN
978−3−540−87474−4
Pages
265–273
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5205
Year
2008