Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors | IEEE Conference Publication | IEEE Xplore