International audienceWhat is called ''numerical reproducibility'' is the problem of getting the same result when the scientific computation is run several times, either on the same machine or on different machines, with different types and numbers of processing units, execution environments, computational loads etc. This problem is especially stringent for HPC numerical simulations. In what follows, the focus is on parallel implementations of interval arithmetic using floating-point arithmetic. For interval computations, numerical reproducibility is of course an issue for testing and debugging purposes. However, as long as the computed result encloses the exact and unknown result, the inclusion property, which is the main property of inter...
Numerical Reproducibility at Exascale (NRE2015) workshop held as part of the Supercomputing Conferen...
International audienceUsing floating-point arithmetic to solve a numerical problem yields a computed...
10 pagesInternational audienceNumerical methods based on interval arithmetic are efficient means to ...
International audienceWhat is called ''numerical reproducibility'' is the problem of getting the sam...
International audienceThe problem of numerical reproducibility is the problem of getting the same re...
International audienceWhat is called numerical reproducibility is the problem of getting the same re...
International audienceQuestions whether numerical simulation is reproducible or not have been report...
Abstract. The problem of numerical reproducibility is the problem of getting the same result when a ...
International audienceTwo main and not necessarily compatible objectives when implementing the produ...
The world depends on computers every day to do accurate real-world mathematics. Computers must store...
International audienceInterval arithmetic is mathematically defined as set arithmetic. For implement...
Questions whether numerical simulation is reproducible or not have been reported in severa...
Reliability of computational results is crucial in computational science and engineering. In this pa...
International audienceThis paper presents a set of tools for mechanical reasoning of numerical bound...
On modern multi-core, many-core, and heterogeneous architectures, floating-point computations, espec...
Numerical Reproducibility at Exascale (NRE2015) workshop held as part of the Supercomputing Conferen...
International audienceUsing floating-point arithmetic to solve a numerical problem yields a computed...
10 pagesInternational audienceNumerical methods based on interval arithmetic are efficient means to ...
International audienceWhat is called ''numerical reproducibility'' is the problem of getting the sam...
International audienceThe problem of numerical reproducibility is the problem of getting the same re...
International audienceWhat is called numerical reproducibility is the problem of getting the same re...
International audienceQuestions whether numerical simulation is reproducible or not have been report...
Abstract. The problem of numerical reproducibility is the problem of getting the same result when a ...
International audienceTwo main and not necessarily compatible objectives when implementing the produ...
The world depends on computers every day to do accurate real-world mathematics. Computers must store...
International audienceInterval arithmetic is mathematically defined as set arithmetic. For implement...
Questions whether numerical simulation is reproducible or not have been reported in severa...
Reliability of computational results is crucial in computational science and engineering. In this pa...
International audienceThis paper presents a set of tools for mechanical reasoning of numerical bound...
On modern multi-core, many-core, and heterogeneous architectures, floating-point computations, espec...
Numerical Reproducibility at Exascale (NRE2015) workshop held as part of the Supercomputing Conferen...
International audienceUsing floating-point arithmetic to solve a numerical problem yields a computed...
10 pagesInternational audienceNumerical methods based on interval arithmetic are efficient means to ...