Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutative Groups

Author

Karpovsky, Mark G.

Author_Institution

Department of Mathematics, Tel-Aviv University

Issue

3

fYear

1977

fDate

3/1/1977 12:00:00 AM

Firstpage

208

Lastpage

218

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.;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/TC.1977.1674809

Filename

1674809