Soutenance Nestor Demeure - Parcours HPC

Chapô
Soutenance Nestor Demeure - Parcours HPC
ENSIIE_Flyer_2020_formation_OPE
ENSIIE_Flyer_2020_formation_OPE
Texte

Lundi 11 Janvier : soutenance de thèse

"Compromis entre precision et performance dans le calcul haute performance"

Résumé : "Les nombres a virgule flottante ne representent quun sous-ensemble des nombres reels.

De ce fait, larithmetique a virgule flottante introduit des approximations qui sont susceptibles de se cumuler et davoir un impact significatif sur les simulations numeriques. Nous introduisons une nouvelle facon destimer et de localiser les sources derreur numerique dans une application et fournissons une implementation de reference, la bibliotheque Shaman. Notre methode utilise une arithmetique dediee sur un type qui encapsule a la fois le resultat que lutilisateur aurait eu avec le calcul original et une approximation de son erreur numerique.

Nous pouvons ainsi mesurer le nombre de chiffres significatifs de tout resultat ou resultat intermediaire dans une simulation.

Nous montrons que notre approche, bien que simple, donne des resultats competitifs avec letat de lart. Qui plus est, elle a un surcroit en temps de calcul moins important et est compatible avec le parallelisme, ce qui la rend appropriee pour letude de larges applications"

Les résultats obtenus par Nestor Demeure, ancien étudiant du parcours Calcul Hautes Performances et Données Massives de l'ENSIIE (Parcours HPC) , lui ont permis d'être invité pour un post-doc à l'Université de Berkeley.

Poster
Vidéo de présentation ND
Partager cette page :