Deadlock detection in MPI programs
From MaRDI portal
Publication:4790937
DOI10.1002/cpe.701zbMath1008.68532OpenAlexW2162989857MaRDI QIDQ4790937
Glenn R. Luecke, James J. Coyle, Yan Zou, Marina Kraeva, Jim Hoekstra
Publication date: 4 February 2003
Published in: Concurrency and Computation: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/cpe.701
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items (3)
MPI correctness checking for OpenMP/MPI applications ⋮ ComPASS : a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes ⋮ Dynamic symbolic verification of MPI programs
Uses Software
This page was built for publication: Deadlock detection in MPI programs