Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware

Joonseok Park, Pedro C. Diniz. Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware. TRETS, 9(1):1, 2015. [doi]

Abstract

Abstract is missing.