SafetyNet: Improving the Available of Shared Memory Multiprocessors with Global Checkpoint/Recovery - Sorin, Daniel; Martin, Milo; Hill, Mark; Wood, David (University of Wisconsin-Madison Department of Computer Sciences, 2001)