Paper Info
Title
Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster.
Abstract
We present in this paper a process which is suitable for the complete analysis of the numerical quality of a large industrial scientific computing code. Random rounding, using the Verrou diagnostics tool, is first used to evaluate the numerical stability, and locate the origin of errors in the source code. Once a small code part is identified as unstable, it can be isolated and studied using higher precision computations and interval arithmetic to compute guaranteed reference results. An alternative implementation of this unstable algorithm is then proposed and experimentally evaluated. Finally, error bounds are given for the proposed algorithm, and the effectiveness of the proposed corrections is assessed in the computing code.
Year
DOI
Venue
2017
10.1007/978-3-319-63501-9_5
Lecture Notes in Computer Science
Keywords
Field
DocType
Floating-point,Numerical verification,Random rounding
Source code,Floating point,Computer science,Theoretical computer science,Rounding,Computational science,Interval arithmetic,Numerical verification,Numerical stability,Computation
Conference
Volume
ISSN
Citations 
10381
0302-9743
1
PageRank 
References 
Authors
0.36
7
2
Name
Order
Citations
PageRank
François Févotte111.04
Bruno Lathuilière221.81