Journee précision numérique
vendredi 28 juin 2019 -
09:30
lundi 24 juin 2019
mardi 25 juin 2019
mercredi 26 juin 2019
jeudi 27 juin 2019
vendredi 28 juin 2019
09:30
Accueil café
Accueil café
09:30 - 10:00
10:00
Arithmétique stochastique synchrone et CADNA
-
Fabienne Jézéquel
(
Laboratoire LIP6, Sorbonne Université
)
Arithmétique stochastique synchrone et CADNA
Fabienne Jézéquel
(
Laboratoire LIP6, Sorbonne Université
)
10:00 - 10:45
10:45
CADNA for simulation and data assimilation: a user perspective
-
Julien Brajard
(
NERSC/Sorbonne Université
)
CADNA for simulation and data assimilation: a user perspective
Julien Brajard
(
NERSC/Sorbonne Université
)
10:45 - 11:05
11:05
Conjugate gradient analysis with CADNA for an efficient FPGA implementation
-
Matthieu Haefele
(
Maison de la Simulation
)
Conjugate gradient analysis with CADNA for an efficient FPGA implementation
Matthieu Haefele
(
Maison de la Simulation
)
11:05 - 11:25
11:25
Pause
Pause
11:25 - 11:40
11:40
Asynchronous Stochastic Arithmetic
-
Eric Petit
(
Intel
)
Asynchronous Stochastic Arithmetic
Eric Petit
(
Intel
)
11:40 - 12:05
12:05
Verificarlo: Debugging and optimizing floating point usage in numerical simulations
-
Eric Petit
(
Intel
)
Verificarlo: Debugging and optimizing floating point usage in numerical simulations
Eric Petit
(
Intel
)
12:05 - 12:25
12:25
A detailed precision analysis for weather and climate models with Verificarlo
-
Peter Dueben
(
ECMWF
)
A detailed precision analysis for weather and climate models with Verificarlo
Peter Dueben
(
ECMWF
)
12:25 - 12:45
12:45
Pause déjeuner
Pause déjeuner
12:45 - 13:55
13:55
Groupe de Travail ARITH du GdR Informatique Mathématique
-
Sylvie Boldo
(
INRIA
)
Groupe de Travail ARITH du GdR Informatique Mathématique
Sylvie Boldo
(
INRIA
)
13:55 - 14:00
14:00
Verrou : déboguage numérique des codes de calcul industriels
-
François Fevotte
(
EDF
)
Verrou : déboguage numérique des codes de calcul industriels
François Fevotte
(
EDF
)
14:00 - 14:20
14:20
Confidence intervals for stochastic arithmetic
-
François Fevotte
(
EDF
)
Confidence intervals for stochastic arithmetic
François Fevotte
(
EDF
)
14:20 - 14:40
14:40
Floating-point profiling of ACTS with Verrou
-
Hadrien Grasland
(
Laboratoire de l'Accélérateur Linéaire
)
Floating-point profiling of ACTS with Verrou
Hadrien Grasland
(
Laboratoire de l'Accélérateur Linéaire
)
14:40 - 15:00
15:00
Pause
Pause
15:00 - 15:30
15:30
Propagation of rounding errors by interval arithmetic and affine forms
-
Franck Vedrine
(
CEA
)
Propagation of rounding errors by interval arithmetic and affine forms
Franck Vedrine
(
CEA
)
15:30 - 16:15
16:15
Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software
-
Franck Vedrine
Fluctuat: Verification of accuracy properties of numerical components and synchronous embedded software
Franck Vedrine
16:15 - 16:35
16:35
Clôture
-
Organisateurs
Clôture
Organisateurs
16:35 - 17:00