Soft error detection via double execution with hardware assistance | IEEE Conference Publication | IEEE Xplore