Journee précision numérique

Liste des contributions

1. Arithmétique stochastique synchrone et CADNA

Fabienne Jézéquel (Laboratoire LIP6, Sorbonne Université)

28/06/2019 10:00

2. CADNA for simulation and data assimilation: a user perspective

Julien Brajard (NERSC/Sorbonne Université)

28/06/2019 10:45

3. Conjugate gradient analysis with CADNA for an efficient FPGA implementation

Dr Matthieu Haefele (Maison de la Simulation)

28/06/2019 11:05

16. Asynchronous Stochastic Arithmetic

Eric Petit (Intel)

28/06/2019 11:40

4. Verificarlo: Debugging and optimizing floating point usage in numerical simulations

Eric Petit (Intel)

28/06/2019 12:05

5. A detailed precision analysis for weather and climate models with Verificarlo

Peter Dueben (ECMWF)

28/06/2019 12:25

19. Groupe de Travail ARITH du GdR Informatique Mathématique

Mme Sylvie Boldo (INRIA)

28/06/2019 13:55

7. Verrou : déboguage numérique des codes de calcul industriels

François Fevotte (EDF)

28/06/2019 14:00

9. Confidence intervals for stochastic arithmetic

François Fevotte (EDF)

28/06/2019 14:20

17. Floating-point profiling of ACTS with Verrou

Hadrien Grasland (Laboratoire de l'Accélérateur Linéaire)

28/06/2019 14:40

10. Propagation of rounding errors by interval arithmetic and affine forms

Franck Vedrine (CEA)

28/06/2019 15:30

11. Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software

Franck Vedrine

28/06/2019 16:15

18. Clôture

Organisateurs

28/06/2019 16:35

0. Approche probabiliste

15. Other tool ??

12. Retour exp Fluctuat 1 ??

13. Retour exp Fluctuat 2 ??

14. Retour exp Verificarlo 3

M. Olivier Jamond (CEA)

8. Retour exp Verrou 1

6. Retour expérience Verificarlo