Algorithm level re-computing-a register transfer level concurrent error detection technique | IEEE Conference Publication | IEEE Xplore