1448 search results - page 3 / 290 » Deadlock Detection in Distributed Systems |
45
Voted
CATA
2003
14 years 10 months ago
2003
ICPADS
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...
137
Voted
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
As MultiProcessor System-on-a-Chip (MPSoC) designs become more common, hardware/software codesign engineers face new challenges involving operating system integration. To speed up...
82
Voted
PDP
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper shows a new distributed algorithm for deadlock detection and resolution under the single-resource request model that highly improves the complexity measurements of prev...
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...