Cache-aided rollback error recovery (CARER) algorithm for shared-memory multiprocessor systems | IEEE Conference Publication | IEEE Xplore