Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Nasrine Damouche

est l'auteur d'une thèse

Analyse statique Arithmétique en virgule flottante Arithmétique flottante Erreur d'arrondi Erreurs d'arrondi Interprétation abstraite Logiciels -- Vérification Précision numérique Transformation automatique de programmes

Fullscreen

Analyse statique Arithmétique en virgule flottante Arithmétique flottante Erreur d'arrondi Erreurs d'arrondi Interprétation abstraite Logiciels -- Vérification Précision numérique Transformation automatique de programmes

Nasrine Damouche a rédigé la thèse suivante :

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

par Nasrine Damouche sous la direction de Matthieu Martel et de Alexandre Chapoutot . - Perpignan

Informatique

Soutenue le 12-12-2016

Thèse soutenue

Accéder en ligne