• 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