Exponent monitoring for low-cost concurrent error detection in FPU control logicMichail ManiatakosYiorgos Makriset al.2011VTS 2011