François Févotte
15
Documents
Publications
|
Confidence Intervals for Stochastic ArithmeticACM Transactions on Mathematical Software, 2021, 47 (2), ⟨10.1145/3432184⟩
Journal articles
hal-01827319v3
|
|
Auto-tuning for floating-point precision with Discrete Stochastic ArithmeticJournal of computational science, 2019, 36, pp.101017. ⟨10.1016/j.jocs.2019.07.004⟩
Journal articles
hal-01331917v1
|
|
Efficient Parallel Solution of the 3D Stationary Boltzmann Transport Equation for Diffusive ProblemsJournal of Computational Physics, 2019, ⟨10.1016/j.jcp.2019.03.019⟩
Journal articles
hal-02080624v1
|
|
A method of characteristics for solving population balance equations (PBE) describing the adsorption of impurities during crystallization processesChemical Engineering Science, 2010, 65 (10), pp.3191-3198. ⟨10.1016/j.ces.2010.02.009⟩
Journal articles
hal-00477332v1
|
|
Floating-point profiling of ACTS using VerrouCHEP 2018, Jul 2018, Sofia, Bulgaria
Conference papers
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⟩
Conference papers
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
Conference papers
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
Conference papers
hal-01355005v1
|
|
Adaptive regularization, discretization, and linearization for nonsmooth problems based on primal-dual gap estimators2023
Preprints, Working Papers, ...
hal-04105560v2
|
|
Adaptive regularization for the Richards equation2023
Preprints, Working Papers, ...
hal-04266827v1
|
|
Debugging and optimization of HPC programs in mixed precision with the Verrou tool2019
Preprints, Working Papers, ...
hal-02044101v1
|
|
Accurate and Efficiently Vectorized Sums and Dot Products in Julia2019
Preprints, Working Papers, ...
hal-02265534v3
|
|
VERROU: Assessing Floating-Point Accuracy Without Recompiling2016
Preprints, Working Papers, ...
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
Reports
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 : ⟩
Theses
tel-00468118v1
|