Checkpoint Repair for High-Performance Out-of-Order Execution Machines | IEEE Journals & Magazine | IEEE Xplore