Automated, compositional and iterative deadlock detection

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. ◽

10.1109/memcod.2004.1459856 ◽

2005 ◽

Cited By ~ 9

Author(s):

S. Chaki ◽

E. Clarke ◽

J. Ouaknine ◽

N. Sharygina

Keyword(s):

Deadlock Detection

Download Full-text

Policy based reinforcement learning approach Of Jobshop scheduling with high level deadlock detection

10.31274/etd-180810-1488 ◽

2014 ◽

Author(s):

Mengmeng Chen

Keyword(s):

Reinforcement Learning ◽

Learning Approach ◽

Deadlock Detection ◽

Jobshop Scheduling ◽

High Level

Download Full-text

A survey of tasking deadlock detection methods

ACM SIGAda Ada Letters ◽

10.1145/122037.122040 ◽

1991 ◽

Vol XI (1) ◽

pp. 82-91 ◽

Cited By ~ 5

Author(s):

Jingde Cheng

Keyword(s):

Detection Methods ◽

Deadlock Detection

Download Full-text

Trace driven dynamic deadlock detection and reproduction

ACM SIGPLAN Notices ◽

10.1145/2692916.2555262 ◽

2014 ◽

Vol 49 (8) ◽

pp. 29-42 ◽

Cited By ~ 2

Author(s):

Malavika Samak ◽

Murali Krishna Ramanathan

Keyword(s):

Deadlock Detection

Download Full-text

Static deadlock detection for asynchronous C# programs

ACM SIGPLAN Notices ◽

10.1145/3140587.3062361 ◽

2017 ◽

Vol 52 (6) ◽

pp. 292-305 ◽

Cited By ~ 1

Author(s):

Anirudh Santhiar ◽

Aditya Kanade

Keyword(s):

Deadlock Detection ◽

C Programs

Download Full-text

Performance evaluation of a new distributed deadlock detection algorithm

ACM SIGMOD Record ◽

10.1145/187436.187447 ◽

1994 ◽

Vol 23 (3) ◽

pp. 21-26 ◽

Cited By ~ 4

Author(s):

Chim-fu Yeung ◽

Sheung-lun Hung ◽

Kam-yiu Lam

Keyword(s):

Performance Evaluation ◽

Detection Algorithm ◽

Deadlock Detection

Download Full-text

Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis

The VLDB Journal ◽

10.1007/s007780050075 ◽

1999 ◽

Vol 8 (2) ◽

pp. 79-100 ◽

Cited By ~ 20

Author(s):

Natalija Krivokapić ◽

Alfons Kemper ◽

Ehud Gudes

Keyword(s):

Performance Analysis ◽

Database Systems ◽

Distributed Database ◽

Deadlock Detection ◽

Comparative Performance ◽

Distributed Database Systems

Download Full-text

Distributed deadlock detection in Ada run-time environments

Proceedings of the conference on TRI-ADA '90 - TRI-Ada '90 ◽

10.1145/255471.255559 ◽

1990 ◽

Cited By ~ 4

Author(s):

Chia-Shiang Shih ◽

John A. Stankovic

Keyword(s):

Deadlock Detection ◽

Run Time

Download Full-text

Deadlock detection in distributed systems

Computer ◽

10.1109/2.43525 ◽

1989 ◽

Vol 22 (11) ◽

pp. 37-48 ◽

Cited By ~ 166

Author(s):

M. Singhal

Keyword(s):

Distributed Systems ◽

Deadlock Detection

Download Full-text

Efficient distributed deadlock detection and resolution using probes, tokens, and barriers

Proceedings 1997 International Conference on Parallel and Distributed Systems ◽

10.1109/icpads.1997.652603 ◽

2002 ◽

Cited By ~ 3

Author(s):

Young Man Kim ◽

Ten Hwang Lai ◽

N. Soundarajan

Keyword(s):

Deadlock Detection

Download Full-text

Deadlock Detection Views of Distributed Database

2009 Sixth International Conference on Information Technology: New Generations ◽

10.1109/itng.2009.220 ◽

2009 ◽

Cited By ~ 2

Author(s):

B.M. Monjurul Alom ◽

Frans Alexander Henskens ◽

Michael Richard Hannaford

Keyword(s):

Distributed Database ◽

Deadlock Detection

Download Full-text