1448 search results - page 3 / 290 » Deadlock Detection in Distributed Systems |
CATA
2003
13 years 9 months ago
2003
ICPADS
1996
IEEE
13 years 11 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...
DATE
2003
IEEE
14 years 29 days 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...
PDP
2006
IEEE
14 years 1 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
14 years 4 hour 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...