EconPapers    
Economics at your fingertips  
 

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 ().

 
Page updated 2025-03-19
Handle: RePEc:eee:matcom:v:35:y:1993:i:3:p:233-261