A sound reduction of persistent-sets for deadlock detection in MPI applications
From MaRDI portal
Publication:5200486
DOI10.1007/978-3-642-33296-8_15zbMATH Open1372.68067OpenAlexW1761923495MaRDI QIDQ5200486FDOQ5200486
Authors: Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky 
Publication date: 6 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_15
Recommendations
- Deadlock detection in MPI programs
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- Dynamic symbolic verification of MPI programs
- Verification, Model Checking, and Abstract Interpretation
- State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
Cited In (6)
- Title not available (Why is that?)
- State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
- Unfolding-based dynamic partial order reduction of asynchronous distributed programs
- Verification, Model Checking, and Abstract Interpretation
- Dynamic symbolic verification of MPI programs
- Deadlock detection in MPI programs
This page was built for publication: A sound reduction of persistent-sets for deadlock detection in MPI applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200486)
