1204 search results - page 117 / 241 » Parallel concurrent ML |
133
Voted
DEXA
1999
Springer
15 years 8 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...
122
Voted
ECOOPW
1994
Springer
15 years 8 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...
145
Voted
ICDCS
1990
IEEE
15 years 8 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...
124
Voted
CONCUR
2006
Springer
15 years 7 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...
136
Voted
EUROPAR
2006
Springer
15 years 7 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...