10 ans de "Precision Tuning"
Matthieu Martel  1, *@  
1 : Université Perpignan Via Domitia  (UPVD)
Lamps
* : Auteur correspondant

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. 


Personnes connectées : 2 Vie privée
Chargement...