Efficient checkpoint/verification patterns

Anne Benoit, Saurabh K. Raina, Yves Robert. Efficient checkpoint/verification patterns. IJHPCA, 31(1):52-65, 2017. [doi]

Abstract

Abstract is missing.