ROC-1: hardware support for recovery-oriented computing | IEEE Journals & Magazine | IEEE Xplore