Accès direct au contenu

CMLA

Version anglaise

aide

8e École thématique de simulation numérique ETSN, Cargèse, 23-27 avril 2018

Théme ETSN 2018: Validation de la simulation numérique et qualité des codes de calcul




Permettre aux ingénieurs numériciens de développer une expertise sur des thèmes de recherche en lien étroit avec les préoccupations des physiciens, en confrontant leur point de vue à celui de partenaires du monde académique.

23 avril 2018



Introduction aux approches V&V-UQ
Notations et définitions
L'approche ABC pour la prise en compte des incertitudes
Calibration, conception et garantie sous incertitudes
Quelques difficultés et questions ouvertes
Conclusion

Section 1
The Evolution of Modern Architecture and its Challenges for the Software Stack
Section 2
About numerical stability from the floating point evaluation perspective
Section 3
Verificarlo: Checking Floating-Point Accuracy Through Monte Carlo Arithmetic
Section 4
Some Verificarlo Results