Compiler-directed selective data protection against soft errors | IEEE Conference Publication | IEEE Xplore