Checkpointing algorithms and fault prediction
Probability and Computing: Randomized Algorithms and Probabilistic Analysis