@article {1090, title = {Towards Optimal Multi-Level Checkpointing}, journal = {IEEE Transactions on Computers}, volume = {66}, year = {2017}, month = {2017-07}, pages = {1212{\textendash}1226}, keywords = {checkpointing, Dynamic programming, Error analysis, Heuristic algorithms, Optimized production technology, protocols, Shape}, doi = {10.1109/TC.2016.2643660}, author = {Anne Benoit and Aurelien Cavelan and Valentin Le F{\`e}vre and Yves Robert and Hongyang Sun} }