10 ans de "Precision Tuning"
1 : Université Perpignan Via Domitia
(UPVD)
* : Auteur correspondant
Lamps
Le réglage de la précision (precision tuning) consiste à trouver, pour les variables flottantes d'un programme, les formats minimaux permettant de garantir une précision donnée pour les résultats. Depuis dix ans, ce sujet à reçu une grande attention et de nombreux outils ont été développés. Dans cet exposé, nous présenterons les principaux résultats de cette décennie en insistant particulièrement sur l'outil POP qui propose une approche originale fondée sur la résolution de contraintes pour résoudre ce problème.