6 search results - page 1 / 2 » wdag 1995 |
WDAG
1995
Springer
13 years 9 months ago
1995
Springer
WDAG
1995
Springer
13 years 9 months ago
1995
Springer
WDAG
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
WDAG
1995
Springer
13 years 9 months ago
1995
Springer
We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object...
WDAG
1995
Springer
13 years 9 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...