Automatic instruction-level recovery by duplicated instructions and checkpointing | IEEE Conference Publication | IEEE Xplore