|
|
 |
Erreurs d’arrondis, précision et bruit numériques sont des problèmes réccurents rencontrés dans les codes de calcul. Si la validation numérique de l’implémentation d’une méthode numérique donnée est relativement bien connue, la vérification numérique de l’impact de la précision numérique sur le solveur est moins systématique. La place croissante utilisée par les calculateurs intégrant des GPU, pose la question de la pertinence de réduire la précision des nombres à virgule flottante utilisés pour la calcul, sans dégrader la solution numérique. Cela ouvre la possibilité d’ajuster la précision avec laquelle les différentes étapes du calcul sont effectuées. Une condition nécessaire à cette amélioration est la connaissance de la précision nécessaire dans ces différentes parties des algorithmes.
Objectif :
Il s’agit de faire un point sur des méthodes et outils permettant d’analyser l’impact de la précision numérique sur la fiabilité des résultats obtenus par les codes. La journée sera composée d’exposés théoriques (approches probabilistes et par arithmétique d'intervalles), de présentation d’outils (CADNA, Verificarlo, VERROU et Fluctuat) et de retours d’expérience de leur utilisation sur des codes applicatifs.
Intervenants :
- Fabienne Jézéquel (LIP)
- Julien Brajard (UPMC)
- Matthieu Haefele (MdlS)
- François Févotte (EDF)
- Éric Petit (Intel)
- Peter Dueben (ECMWF)
- Hadrien Grasland (Lal)
- Bruno Lathuilière (EDF)
- Franck Védrine (CEA)
Indications pour venir à la Maison de la Simulation
Date limite d'inscription : 17/06/2019
