Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Greg Bronevetsky
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Evaluation of Simple Causal Message Logging for Large-Scale Fault Tolerant HPC Systems
Related publications
Deadlock Models and a General Algorithm for Distributed Deadlock Detection
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Deadlock Detection for Actor-Based Coroutines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Support for Irregular Computation in MPI-Based Applications
Solving Two Deadlock Cycles Through Neighbor Replication on Grid Deadlock Detection Model
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Static Deadlock Detection for the SHIM Concurrent Language
Efficient Automated Marshaling of C++ Data Structures for MPI Applications
2008 IEEE International Symposium on Parallel and Distributed Processing
A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications
ACM Transactions on Parallel Computing
Mathematics
Simulation
Hardware
Computer Science Applications
Architecture
Modeling
Computational Theory
Software
Sound Power Level Determination for Turbine‐generator Sets
Journal of the Acoustical Society of America
Acoustics
Ultrasonics
Arts
Humanities
