Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-03116750
Contributor : Abes Star :  Contact
Submitted on : Wednesday, January 20, 2021 - 3:29:07 PM
Last modification on : Wednesday, March 3, 2021 - 3:01:36 AM

File

98939_DEMEURE_2021_archivage.p...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-03116750, version 1

Citation

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⟩

Share

Metrics

Record views

221

Files downloads

124