Matériel et logiciel pour l'évaluation de fonctions numériques :
précision, performance et validation

Résumé : Ce mémoire reprend quelques résultats obtenus entre 2000 et 2007 au sein du projet Arénaire du LIP. La problématique centrale est l'évaluation de fonctions numériques : étant donnée une fonction réelle, par exemple un polynôme, un sinus, une exponentielle ou toute autre fonction utile, il s'agit de construire un opérateur pour l'évaluer. Pour cela, on dispose de quelques règles du jeu et de quelques briques de bases: pour le matériel, on peut utiliser, avec un parallélisme arbitraire, des additions et multiplications entières et des tables précalculées. Pour le logiciel, on dispose en plus d'opérateurs de calcul en virgule flottante, mais avec un modèle d'exécution séquentiel. Dans les deux cas, on est contraint à des approximations dont on cherche à minimiser l'erreur. La question de la précision, notamment des calculs intermédiaires, est ici intimement liée à celle de la performance. Pour gérer tous ces paramètres et obtenir des implémentations de qualité, il faut de plus en plus d'automatisation. De plus, pour que cette qualité soit garantie, il faut se rapprocher du monde de la preuve formelle. Ces différents aspects sont évoqués, ainsi que des applications de ces travaux aux accélérateurs de calcul reconfigurables et à la normalisation de la virgule flottante.
Document type :
Habilitation à diriger des recherches
Computer Science. Université Claude Bernard - Lyon I, 2007


https://tel.archives-ouvertes.fr/tel-00270151
Contributor : Florent De Dinechin <>
Submitted on : Thursday, April 3, 2008 - 5:24:47 PM
Last modification on : Wednesday, January 5, 2011 - 4:36:17 PM

Identifiers

  • HAL Id : tel-00270151, version 1

Collections

Citation

Florent De Dinechin. Matériel et logiciel pour l'évaluation de fonctions numériques :
précision, performance et validation. Computer Science. Université Claude Bernard - Lyon I, 2007. <tel-00270151>

Export

Share

Metrics

Consultation de
la notice

96

Téléchargement du document

119