Quasi-synchronous checkpointing: Models, characterization, and classification | IEEE Journals & Magazine | IEEE Xplore