Title of article
CADNA: a library for estimating round-off error propagation Original Research Article
Author/Authors
Fabienne Jézéquel، نويسنده , , Jean-Marie Chesneaux، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2008
Pages
23
From page
933
To page
955
Abstract
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code.
Keywords
Floating-point arithmetic , Round-off errors , Numerical validation , CADNA , Discrete Stochastic Arithmetic , CESTAC method
Journal title
Computer Physics Communications
Serial Year
2008
Journal title
Computer Physics Communications
Record number
1137448
Link To Document