A Diskless Checkpointing Scheme Based on Vertical Encoding to Lower Fault Tolerance Overhead | IEEE Conference Publication | IEEE Xplore