Fault-tolerance techniques for high-performance computing. (2015)