Amanote Research
Register
Sign In
Static Deadlock Detection for the SHIM Concurrent Language
doi 10.1109/memcod.2008.4547686
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2008
Authors
Nalini Vasudevan
Stephen A. Edwards
Publisher
IEEE
Related search
Deadlock Detection and Avoidance in Static Step Topology Under Distributed Environment
Journal of Software Engineering and Applications
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
Solving Two Deadlock Cycles Through Neighbor Replication on Grid Deadlock Detection Model
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Order Language Extensions for Concurrent Processing.
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modularity and Conventions for Maintainable Concurrent Language Implementations
An Analysis and Improvement of Probe-Based Algorithm for Distributed Deadlock Detection
Lecture Notes on Software Engineering
