ROC-1: Hardware Support for Recovery-Oriented Computing. - David Oppenheimer; Aaron B. Brown; James Beck; Daniel Hettena; Jon Kuroda; Noah Treuhaft; David A. Patterson 001; Katherine A. Yelick (IEEE Trans. Computers, 2002)