CADNA: a library for estimating round-off error propagation

Computer Physics Communications

Volumn 178, Issue 12, 2008, Pages 933-955

  Jézéquel, Fabienne ^a   Chesneaux, Jean Marie ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

CADNA; CESTAC method; Discrete Stochastic Arithmetic; Floating point arithmetic; Numerical validation; Round off errors

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; ERROR ANALYSIS; PROGRAM DEBUGGING;

DISCRETE STOCHASTIC ARITHMETIC; NUMERICAL DEBUGGING; PROBABILISTIC APPROACH;

DIGITAL LIBRARIES;

EID: 44349175990     PISSN: 00104655     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cpc.2008.02.003     Document Type: Article

References (12)

1. IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Standard 754-1985 (1985), IEEE Computer Society, New York Reprinted in
2. SIGPLAN Notices 22 2 (1987) 9-25
3. J.-M. Chesneaux, L'arithmétique stochastique et le logiciel CADNA. Habilitation à diriger des recherches, Université Pierre et Marie Curie, Paris, November 1995
4. Vignes J. Discrete stochastic arithmetic for validating results of numerical software. Numer. Algorithms 37 1-4 (December 2004) 377-390
5. Chesneaux J.-M. Study of the computing accuracy by using probabilistic approach. In: Ullrich C. (Ed). Contribution to Computer Arithmetic and Self-Validating Numerical Methods (1990), IMACS, New Brunswick, New Jersey, USA 19-30
6. Vignes J. A stochastic arithmetic for reliable scientific computation. Math. Comput. Simulation 35 (1993) 233-261
7. Vignes J., and La Porte M. Error analysis in computing. Information Processing 1974 (1974), North-Holland 610-614
8. Scott N.S., Jézéquel F., Denis C., and Chesneaux J.-M. Numerical 'health check' for scientific codes: the CADNA approach. Comput. Phys. Comm. 176 8 (2007) 507-521
9. Vignes J. Zéro mathématique et zéro informatique. C. R. Acad. Sci. Paris Sér. I Math. 303 (1986) 997-1000 also:
10. Vignes J. Zéro mathématique et zéro informatique. La Vie des Sciences 4 1 (1987) 1-13
11. Rump S.M. Reliability in Computing. The Role of Interval Methods in Scientific Computing (1988), Academic Press
12. Muller J.-M. Arithmétique des Ordinateurs (1989), Masson