Performance evaluation of rollback-recovery techniques in computer programs | IEEE Journals & Magazine | IEEE Xplore