CRAFT: A Library for Easier Application-Level Checkpoint/Restart and Automatic Fault Tolerance | IEEE Journals & Magazine | IEEE Xplore