Opportunistic application-level fault detection through adaptive redundant multithreading | IEEE Conference Publication | IEEE Xplore