Fault-Tolerance Techniques for High-Performance Computing - Herault, Thomas; Robert, Yves (Springer International Publishing : Imprint: Springer, 2015)