1204 search results - page 117 / 241 » Parallel concurrent ML |
155
click to vote
DEXA
1999
Springer
15 years 10 months ago
1999
Springer
When spatial objects are replicated at several sites in the network, the updates of a long transaction in a specific site should be propagated to the other sites for maintaining th...
149
click to vote
ECOOPW
1994
Springer
15 years 10 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...
175
click to vote
ICDCS
1990
IEEE
15 years 10 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
149
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
165
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...