Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

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

Abstract : 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 numerical simulations.We introduce a new way to estimate and localize the sources of numerical error in an application and provide a reference implementation, the Shaman library.Our method uses a dedicated arithmetic over a type that encapsulates both the result the user would have had with the original computation and an approximation of its numerical error. We thus can measure the number of significant digits of any result or intermediate result in a simulation.We show that this approach, while simple, gives results competitive with state-of-the-art methods. It has a smaller overhead and is compatible with parallelism which makes it suitable for the study of large scale applications.
Document type :
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, January 20, 2021 - 3:29:07 PM
Last modification on : Thursday, April 7, 2022 - 1:58:34 PM
Long-term archiving on: : Wednesday, April 21, 2021 - 6:50:14 PM


Version validated by the jury (STAR)


  • HAL Id : tel-03116750, version 1


Nestor Demeure. Gestion du compromis entre la performance et la précision de code de calcul. General Mathematics [math.GM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASM004⟩. ⟨tel-03116750⟩



Record views


Files downloads