François Févotte
16
Documents
Publications
|
Floating-point profiling of ACTS using VerrouCHEP 2018, Jul 2018, Sofia, Bulgaria
Communication dans un congrès
hal-02116915v1
|
|
Numerical validation in quadruple precision using stochastic arithmeticTNC'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
|
|
Tester la qualité numérique des codes de calcul avec Verrou13e 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 arithmetic17th 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
|
|
A thread parallel implementation of the equilibrated flux in Julia2024
Pré-publication, Document de travail
hal-04537446v1
|
|
Adaptive regularization for the Richards equation2023
Pré-publication, Document de travail
hal-04266827v1
|
|
Accurate and Efficiently Vectorized Sums and Dot Products in Julia2019
Pré-publication, Document de travail
hal-02265534v3
|
|
Debugging and optimization of HPC programs in mixed precision with the Verrou tool2019
Pré-publication, Document de travail
hal-02044101v1
|
|
VERROU: Assessing Floating-Point Accuracy Without Recompiling2016
Pré-publication, Document de travail
hal-01383417v1
|
|
Efficient Parallel Solution of the 3D Stationary Boltzmann Transport Equation for Diffusive Problems[Research Report] RR-9116, Inria; EDF Lab. 2017, pp.22
Rapport
hal-01630208v2
|
|
Techniques de traçage pour la méthode des caractéristiques appliquée à la résolution de l'équation du transport des neutrons en domaines multi-dimensionnelsModélisation et simulation. Université Paris Sud - Paris XI, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00468118v1
|