4 search results - page 1 / 1 » Lazy Garbage Collection of Recovery State for Fault-Tolerant... |
TPDS
2002
13 years 4 months ago
2002
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper describes the comparison between homeless and home-based Lazy Release Consistency (LRC) protocols which are used to implement Distributed Shared Memory (DSM) in cluster...
PPOPP
2006
ACM
13 years 10 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
IPPS
1999
IEEE
13 years 8 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...