Matériel et logiciel pour l'évaluation de fonctions numériques :<br />précision, performance et validation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Hdr Année : 2007

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.
Fichier principal
Vignette du fichier
HDR2007-01.pdf (988.45 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00270151 , version 1 (03-04-2008)

Identifiants

  • HAL Id : tel-00270151 , version 1

Citer

Florent de Dinechin. Matériel et logiciel pour l'évaluation de fonctions numériques :
précision, performance et validation. Informatique [cs]. Université Claude Bernard - Lyon I, 2007. ⟨tel-00270151⟩
160 Consultations
694 Téléchargements

Partager

Gmail Facebook X LinkedIn More