6 search results - page 1 / 2 » wdag 1995 |
159
Voted
WDAG
1995
Springer
15 years 10 months ago
1995
Springer
121
Voted
WDAG
1995
Springer
15 years 10 months ago
1995
Springer
147
click to vote
WDAG
1995
Springer
15 years 10 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...
145
Voted
WDAG
1995
Springer
15 years 10 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...
169
Voted
WDAG
1995
Springer
15 years 10 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 ...