Combining Partial Redundancy and Checkpointing for HPC | IEEE Conference Publication | IEEE Xplore