Comparison of numerical result checking mechanisms for FFT computations under faults