Exploiting replicated checkpoints for soft error detection and correction | IEEE Conference Publication | IEEE Xplore