Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,961,560 papers from all fields of science
Search
Sign In
Create Free Account
Deadlock
Known as:
Deadlocks
, Live-locks
, Coffman conditions
Expand
In concurrent computing, a deadlock occurs when two competing actions wait for the other to finish, and thus neither ever does. Deadlock is a common…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Absolute probability judgement
Abstract Window Toolkit
Banker's algorithm
Barrel processor
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Analysis of workflow dynamic changes based on Petri net
Ping Sun
,
Changjun Jiang
Information and Software Technology
2009
Corpus ID: 205435153
2004
2004
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Peter Leven
,
Tilman Mehler
,
S. Edelkamp
SPIN
2004
Corpus ID: 6965505
Most approaches for model checking software are based on the generation of abstract models from source code, which may greatly…
Expand
2000
2000
Improving routing performance in Myrinet networks
J. Flich
,
Manuel P. Malumbres
,
P. López
,
J. Duato
Proceedings, International Parallel and…
2000
Corpus ID: 15542381
Networks of workstations (NOWs) are becoming increasingly popular as a cost-effective alternative to parallel computers…
Expand
Highly Cited
1999
Highly Cited
1999
Analysis of modularly composed nets by siphons
M. Jeng
,
Xiaolan Xie
IEEE Trans. Syst. Man Cybern. Part A
1999
Corpus ID: 2968275
This paper uses siphons to analyze the class of Petri nets constructed by a modular approach by Jeng and DiCesare (1995) for…
Expand
1999
1999
Defining Flexible Workflow Execution Behaviors
Gregor Joeris
Enterprise-wide and Cross-enterprise Workflow…
1999
Corpus ID: 6734072
In this paper, we focus on the definition and adaptation of the execution behavior of a task in order to support flexible…
Expand
1997
1997
Directional Types and the Annotation Method
Johan Boye
,
J. Maluszynski
The Journal of Logic Programming
1997
Corpus ID: 15829839
Highly Cited
1996
Highly Cited
1996
ServerNet deadlock avoidance and fractahedral topologies
R. Horst
Proceedings of the International Conference on…
1996
Corpus ID: 17957787
This paper examines the problems of deadlock avoidance in multistage networks, and proposes a new class of scalable topologies…
Expand
Highly Cited
1991
Highly Cited
1991
An architecture of highly parallel computer AP 1000
H. Ishihata
,
T. Horie
,
S. Inano
,
Toshiyuki Shimizu
,
Sadayuki Kato
IEEE Pacific Rim Conference on Communications…
1991
Corpus ID: 15178616
A highly parallel computer with distributed memory called the AP1000 has been developed. The system consists of 64 and 1024…
Expand
Highly Cited
1987
Highly Cited
1987
Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems
B. Krogh
,
Carolyn L. Beck
1987
Corpus ID: 64589239
1977
1977
A Parallel Processor Operating System Comparison
G. Nutt
IEEE Transactions on Software Engineering
1977
Corpus ID: 6161024
Three different operating system strategies for a parallel processor computer system are compared, and the most effective…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE