Instruction precomputation with memoization for fault detection | IEEE Conference Publication | IEEE Xplore