189 search results - page 2 / 38 » Deadlock detection in distribution object systems |
HICSS
1994
IEEE
13 years 9 months ago
1994
IEEE
We present a new distributed algorithm that detects and resolves communication deadlocks on-line, i.e., simultaneously detects and resolves deadlock as communication requests are ...
DSN
2011
IEEE
12 years 5 months ago
2011
IEEE
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
ARTS
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
ENTCS
2010
13 years 5 months ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
CONCUR
1998
Springer
13 years 9 months ago
1998
Springer
