System-level versus user-defined checkpointing | IEEE Conference Publication | IEEE Xplore