Accéder directement au contenu

François Févotte

16
Documents

Publications

Image document

Numerical validation in quadruple precision using stochastic arithmetic

Stef Graillat , Fabienne Jézéquel , Romain Picot , François Févotte , Bruno Lathuilière
TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩
Communication dans un congrès hal-01777397v1
Image document

Floating-point profiling of ACTS using Verrou

Hadrien Grasland , François Févotte , Bruno Lathuilière , David Chamont
CHEP 2018, Jul 2018, Sofia, Bulgaria
Communication dans un congrès hal-02116915v1
Image document

Tester la qualité numérique des codes de calcul avec Verrou

François Févotte , Bruno Lathuilière
13e colloque national en calcul des structures, Université Paris-Saclay, May 2017, Giens, Var, France
Communication dans un congrès hal-01908466v1

PROMISE: floating-point precision tuning with stochastic arithmetic

Stef Graillat , Fabienne Jézéquel , Romain Picot , François Févotte , Bruno Lathuilière
17th international symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), Sep 2016, UPPSALA, Sweden. pp.98-99
Communication dans un congrès hal-01355005v1