Skip to Main content Skip to Navigation


...
hal-01164340v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Intra-procedural Optimization of the Numerical Accuracy of Programs
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
...
hal-00835736v1  Conference papers
Arnault IoualalenMatthieu Martel. Synthesizing Accurate Floating-Point Formulas
ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. pp.113-116, ⟨10.1109/ASAP.2013.6567563⟩