Abstract :
A method is proposed for error detection in digital devices and computer programs calculating the values of functions f(x), where x ∈ G and G is a finite commutative group. For the case of network implementation of the method, "errors" are catastrophic structural failures; for the case of program implementation, they are errors in the text of the program.
Keywords :
Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform.; Autocorrelation; Computer errors; Delay; Digital arithmetic; Equations; Fast Fourier transforms; Fourier transforms; Harmonic analysis; Redundancy; Testing; Error detection for, digital devices and computer programs, error detection tests for digital devices, characters of commutative groups, Fourier transform over finite commutative groups, spectral and autocorrelation functions over finite commutative groups, fast Hadamard-Walsh transform.;