Skip to main content
SpringerLink
Log in

Error detection and correction in numerical computations

  • Submitted Contributions
  • Conference paper
  • First Online:
Book cover Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 539))

Abstract

A simple analytical unified approach is described for error detection and correction in numerical computations. The computation process may be implemented by a computer program or memory or by a specialized digital or analog device. This approach does not depend on the form of representation or on the specific features of the implementation of a program or a device computing the given function and is based on algebraic concepts, such as transcendental degree of fielf extensions. The described approach results in a substantial reduction of the hardware overhead required for multiple error detection and correction, as compared to the check sum approach and other methods previously known.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander Miczo "Digital Logic Testing and Simulation" Harper & RDW, Publishers, NY 1986.

    Google Scholar 

  2. Michael O. Rabin "Efficient Dispersal of Information for Security, Load Balancing, and Fault Tolerance" Journal of the Association for Computing Machinery, Vol.36, No.2, April 1989, pp. 335–348.

    Google Scholar 

  3. C.A. Asmuth and G.R. Blakley "Pooling, 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.

    Google Scholar 

  4. Daniel P. Siewiorek and Robert S. Swarz "The Theory and Practice of Reliable System Design" Digital Press, 1982.

    Google Scholar 

  5. M.G. Karpovsky "Error detection for polynomial computations" IEE.J.Comput.& Digital Tech., 1979, 2, (1), pp.49–56.

    Google Scholar 

  6. M.G. Karpovsky "Testing for numerical computations" IEE. Proc. E, Comput.& Digital Tech., 1980, 127, (2), pp. 69–76.

    Google Scholar 

  7. M.G. Karpovsky "Detection and location of errors by linear inequality checks", IEE PROC., Vol. 129, Pt. E, No.3, 1982.

    Google Scholar 

  8. S. Lang "Algebra" Addison-Wesley Publishing Co., 1965.

    Google Scholar 

  9. F.S. Vainstein "Irredundent linear checks for numerical computations" (to be published).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Engineering, Boston University, USA

    Algebraic Methods & F. S. Vainstein

Authors
  1. Algebraic Methods
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. S. Vainstein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Harold F. Mattson Teo Mora T. R. N. Rao

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Methods, A., Vainstein, F.S. (1991). Error detection and correction in numerical computations. In: Mattson, H.F., Mora, T., Rao, T.R.N. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1991. Lecture Notes in Computer Science, vol 539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54522-0_133

Download citation

  • DOI: https://doi.org/10.1007/3-540-54522-0_133

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54522-4

  • Online ISBN: 978-3-540-38436-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation