Checkpointing vs. Migration for Post-Petascale Supercomputers | IEEE Conference Publication | IEEE Xplore