S'authentifier

Journee précision numérique

28 juin 2019
Maison de la Simulation
Fuseau horaire Europe/Paris

Liste des Contributions

20 sur 20 affichés
Exporter en PDF
  1. 1. Arithmétique stochastique synchrone et CADNA
    Fabienne Jézéquel (Laboratoire LIP6, Sorbonne Université)
    28/06/2019 10:00
  2. 2. CADNA for simulation and data assimilation: a user perspective
    Julien Brajard (NERSC/Sorbonne Université)
    28/06/2019 10:45
  3. 3. Conjugate gradient analysis with CADNA for an efficient FPGA implementation
    Dr Matthieu Haefele (Maison de la Simulation)
    28/06/2019 11:05
  4. 16. Asynchronous Stochastic Arithmetic
    Eric Petit (Intel)
    28/06/2019 11:40
  5. 4. Verificarlo: Debugging and optimizing floating point usage in numerical simulations
    Eric Petit (Intel)
    28/06/2019 12:05
  6. 5. A detailed precision analysis for weather and climate models with Verificarlo
    Peter Dueben (ECMWF)
    28/06/2019 12:25
  7. 19. Groupe de Travail ARITH du GdR Informatique Mathématique
    Mme Sylvie Boldo (INRIA)
    28/06/2019 13:55
  8. 7. Verrou : déboguage numérique des codes de calcul industriels
    François Fevotte (EDF)
    28/06/2019 14:00
  9. 9. Confidence intervals for stochastic arithmetic
    François Fevotte (EDF)
    28/06/2019 14:20
  10. 17. Floating-point profiling of ACTS with Verrou
    Hadrien Grasland (Laboratoire de l'Accélérateur Linéaire)
    28/06/2019 14:40
  11. 10. Propagation of rounding errors by interval arithmetic and affine forms
    Franck Vedrine (CEA)
    28/06/2019 15:30
  12. 11. Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software
    Franck Vedrine
    28/06/2019 16:15
  13. 18. Clôture
    Organisateurs
    28/06/2019 16:35
  14. 0. Approche probabiliste
  15. 15. Other tool ??
  16. 12. Retour exp Fluctuat 1 ??
  17. 13. Retour exp Fluctuat 2 ??
  18. 14. Retour exp Verificarlo 3
    M. Olivier Jamond (CEA)
  19. 8. Retour exp Verrou 1
  20. 6. Retour expérience Verificarlo