Transient-Error Detection and Recovery via Reverse Computation and Checkpointing | IEEE Conference Publication | IEEE Xplore