7 search results - page 2 / 2 » Convergence Verification: From Shared Memory to Partially Sy... |
SIGMETRICS
2010
ACM
13 years 9 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
SIAMCOMP
2008
13 years 3 months ago
2008
Abstract. To cope with the impossibility of solving agreement problems in asynchronous systems made up of n processes and prone to t process crashes, system designers tailor their ...