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 :
Theses
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01143824
Contributor : Laurent Thévenoux <>
Submitted on : Friday, November 4, 2016 - 8:56:37 PM
Last modification on : Friday, June 9, 2017 - 10:40:51 AM
Document(s) archivé(s) le : Sunday, February 5, 2017 - 12:41:40 PM

Identifiers

  • HAL Id : tel-01143824, version 1

Collections

Citation

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>

Share

Metrics

Record views

206

Document downloads

259