Skip to Main content Skip to Navigation

Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754

Laurent Thévenoux 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : Numerical accuracy and execution time of programs using the floating-point arithmetic are major challenges in many computer science applications. The improvement of these criteria is the subject of many research works. However we notice that the accuracy improvement decrease the performances and conversely. Indeed, improvement techniques of numerical accuracy, such as expansions or compensations, increase the number of computations that a program will have to execute. The more the number of computations added is, the more the performances decrease. This thesis work presents a method of accuracy improvement which take into account the negative effect on the performances. So we automatize the error-free transformations of elementary floating-point operations because they present a high potential of parallelism. Moreover we propose some transformation strategies allowing partial improvement of programs to control more precisely the impact on execution time. Then, tradeoffs between accuracy and performances are assured by code synthesis. We present also several experimental results with the help of tools implementing all the contributions of our works.
Document type :
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Laurent Thévenoux Connect in order to contact the contributor
Submitted on : Friday, November 4, 2016 - 8:56:37 PM
Last modification on : Friday, October 22, 2021 - 3:07:35 PM
Long-term archiving on: : Sunday, February 5, 2017 - 12:41:40 PM


  • HAL Id : tel-01143824, version 1



Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754. Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français. ⟨tel-01143824⟩



Record views


Files downloads