Skip to Main content Skip to Navigation


...
hal-00698619v1  Conference papers
Arnault IoualalenMatthieu Martel. Sardana: an Automatic Tool for Numerical Accuracy Optimization
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4
...
hal-00698618v1  Conference papers
Arnault IoualalenMatthieu Martel. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. pp.75-93
...
tel-01143824v1  Theses
Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
...
hal-01236919v2  Journal articles
Laurent ThévenouxPhilippe LangloisMatthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩