A Sound Reduction of Persistent−Sets for Deadlock Detection in MPI Applications
Subodh Sharma‚ Ganesh Gopalakrishnan and Greg Bronevetsky
Details
| Book Title |
Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012‚ Natal‚ Brazil‚ September 23−28‚ 2012. Proceedings |
| Editor |
Gheyi‚ Rohit and Naumann‚ David A. |
| ISBN |
978−3−642−33295−1 |
| Pages |
194–209 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
7498 |
| Year |
2012 |
Links
DOI (10.1007/978-3-642-33296-8_15)
ISBN (978-3-642-33295-1) @ uk.nicebooks.com
ISBN (978-3-642-33295-1) @ books.google.co.uk
ISBN (978-3-642-33295-1) @ www.isbnsearch.org
Related pages
|
People |