Certification of computational results
Authors:
- 1 July 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 44 (7) , 833-847
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Self-testing/correcting for polynomials and for approximate functions1991
- Checking computations in polylogarithmic time1991
- Fault-tolerant FFT networksIEEE Transactions on Computers, 1988
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- Algorithm-Based Fault Tolerance for Matrix OperationsIEEE Transactions on Computers, 1984
- Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery BlocksIEEE Transactions on Computers, 1984
- A dichromatic framework for balanced trees1978
- Organization and maintenance of large ordered indexesActa Informatica, 1972
- An efficient algorith for determining the convex hull of a finite planar setInformation Processing Letters, 1972
- A note on two problems in connexion with graphsNumerische Mathematik, 1959