A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

DOI10.1007/978-3-642-33296-8_15zbMath1372.68067OpenAlexW1761923495MaRDI QIDQ5200486

Ganesh Gopalakrishnan, Subodh Sharma, 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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unfolding-based dynamic partial order reduction of asynchronous distributed programs

This page was built for publication: A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications