Sciweavers

271 search results - page 8 / 55
» Detecting Deadlocks in Concurrent Systems
Sort
View
CATA
2003
13 years 9 months ago
Deadlock Detection in Distributed Systems
Dominique Ambroise, Brigitte Rozoy, Jean Saquet
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 2 months ago
Analysis of multi-stage open shop processing systems
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
Christian Eggermont, Alexander Schrijver, Gerhard ...
EMSOFT
2006
Springer
13 years 11 months ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...
PPOPP
2006
ACM
14 years 1 months ago
McRT-STM: a high performance software transactional memory system for a multi-core runtime
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hu...