Soft Error Detection through Low-level Re-execution | IEEE Conference Publication | IEEE Xplore