Low redundancy polynomial checks for numerical computation

Applicable Algebra in Engineering, Communications and Computing

Volumn 7, Issue 6, 1996, Pages 439-447

  Vainstein, F S ^a  

^a NORTH CAROLINA A AND T STATE UNIVERSITY   (United States)

Author keywords

Algebraic Methods; Error Detection Error Correction; Fault Tolerant Computing; Numerical Functions; Testing

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER SOFTWARE; ERROR CORRECTION; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; FUNCTIONS; PROGRAMMING THEORY;

LOW REDUNDANCY POLYNOMIAL CHECKS; MULTIPLE ERROR CORRECTION; MULTIPLE ERROR DETECTION;

POLYNOMIALS;

EID: 0030377237     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01293262     Document Type: Article

References (13)

1. Lala Parag K.: Fault Tolerant & Fault Testable Hardware design. Prentice-Hall International, London 1985
2. Blakley, G. R., Meadows, C.: Security of Ramp Schemes pp. 242-268 in the book "Advances in Cryptology: Proceedings of Cripto 84. Blakley G. R., Chaum, D. (eds) Vol. 196 of Lecture Notes in Computer Science). Berlin, Heidelberg, New York: Springer 1985
3. Asumth, C. A. Blakley, G. R.: Polling splitting and restituting information to overcome total failure of some channels of communication. Proc. of the 1982 Symposium on Security and Privacy. IEEE Society, pp. 156-169
4. Siewiorek, D. P., Swarz, R. S.: The Theory and Practice of Reliable System Design, Digital Press. 1982
5. Karpovsky, M. G.: Error Detection for Polynomial Computations. IEEE J. Comput. Digital Tech. 2, (1), 49-56 (1979)
6. Karpovsky, M. G.: Testing for Numerical Computations. IEEE Proc. E. Comput. Digital Tech. 127, (2), 69-76 (1980)
7. Karpovsky, M. G.: Detection and Location of errors by Linear Inequality Checks. IEEE Proc., vol. 129, Pt. E, No. 3, 1982
8. Lang, S.: Algebra London: Addison-Wesley 1992
9. Vainstein, F. S.: Error Detection and Correction in Numerical Computations by Algebraic Methods. Lecture Notes in Computer Science vol. 539. Berlin, Heidelberg, New York: Springer 1991
10. Blum, M., Kannan, S.: Designing Programs That Check Their Work. 21st ACM Symposium on Theory of Computing, pp. 86-97 (1989)
11. Blum, M., Luby, M., Rubinfeld, R.: Self-Testing and Self-Correcting Programs with Applications to Numerical Problems, 22nd ACM Symposium on Theory of Computing, pp. 73-83 (1990)
12. Moore, R. E.: Methods and Applications of Interval Analysis, SIAM, Philadelphia, 1979
13. Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press (1990)