Compromise between precision and performance in high performance computing.

N Demeure - 2021 - theses.hal.science
Floating-point numbers represent only a subset of real numbers. As such, floating-point
arithmetic introduces approximations that can compound and have a significant impact on …

Algorithm 1029: Encapsulated Error, a Direct Approach to Evaluate Floating-Point Accuracy

N Demeure, C Chevalier, C Denis… - ACM Transactions on …, 2023 - dl.acm.org
Floating-point numbers represent only a subset of real numbers. As such, floating-point
arithmetic introduces approximations that can compound and have a significant impact on …

Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic

HD Nguyen - 2011 - theses.hal.science
Interval arithmetic is a means to compute verified results. However, a naive use of interval
arithmetic does not provide accurate enclosures of the exact results. Moreover, interval …

Gestion du compromis entre la performance et la précision de code de calcul

N Demeure - 2021 - theses.hal.science
Floating-point numbers represent only a subset of real numbers. As such, floating-point
arithmetic introduces approximations that can compound and have a significant impact on …

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

S Torres - 2016 - theses.hal.science
The design of function evaluation libraries is a complex task that requires a great care and
dedication, especially when one wants to satisfy high standards of reliability and …

[PDF][PDF] Algorithm xxx: Encapsulated error, a direct approach to evaluate floating-point accuracy

N DEMEURE, C CHEVALIER, C DENIS… - 2023 - academia.edu
Various kinds of errors can make a simulation diverge from the observed reality. Those
include modeling errors, discretization errors, parameter uncertainties, but also errors due to …