A stochastic arithmetic for reliable scientific computation
J. Vignes
Mathematics and Computers in Simulation (MATCOM), 1993, vol. 35, issue 3, 233-261
Abstract:
After having reviewed the CESTAC (Contrôle et Estimation STochastique des Arrondis de Calculs) method, which uses a probabilistic approach to round-off error analysis, a new arithmetic called stochastic arithmetic is presented in this paper. This new arithmetic covers a large part of the properties of exact arithmetic, properties which are lost in the usual floating-point arithmetic. The CADNA (Control of Accuracy and Debugging for Numerical Applications) library is a tool for automatic implementation of stochastic arithmetic in any fortran or ADA program. Consequently, by the use of the CADNA library, it is possible during the run of a program, to detect the numerical instabilities, to stop correctly any iterative process, to evaluate the optimal step or the optimal mesh in approximate methods, to evaluate the accuracy of any result provided by the computer. In short, the stochastic arithmetic, i.e., the use of the CADNA library, serves to validate the results provided by a computer, and to assure the user of the reliability of scientific computations.
Date: 1993
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (11)
Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/037847549390003D
Full text for ScienceDirect subscribers only
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:35:y:1993:i:3:p:233-261
DOI: 10.1016/0378-4754(93)90003-D
Access Statistics for this article
Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens
More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().