62 search results - page 5 / 13 » opodis 2007 |
OPODIS
2003
14 years 11 months ago
2003
In this paper, we give an efficient algorithm to determine whether a locally stable predicate has become true in an underlying computation. Examples of locally stable predicates in...
101
click to vote
OPODIS
2003
14 years 11 months ago
2003
In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the...
OPODIS
2003
14 years 11 months ago
2003
One of the problems of middleware for shared state is that they are designed, explicitly or implicitly, for symmetric networks. However, since the Internet is not symmetric, end-to...
OPODIS
2003
14 years 11 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
OPODIS
1997
14 years 11 months ago
1997
Unreliable fault detectors can be used to solve the consensus problem in asynchronous distributed systems that are subject to crash faults. We extend this result to asynchronous d...