Synthesizing Accurate Floating-Point Formulas - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Synthesizing Accurate Floating-Point Formulas

Résumé

Many critical embedded systems perform floating-point computations yet their accuracy is difficult to assert and strongly depends on how formulas are written in programs. In this article, we focus on the synthesis of accurate formulas mathematically equal to the original formulas occurring in source codes. In general, an expression may be rewritten in many ways. To avoid any combinatorial explosion, we use an intermediate representation, called APEG, enabling us to represent many equivalent expressions in the same structure. In this article, we specifically address the problem of selecting an accurate formula among all the expressions of an APEG. To validate our approach, we present experimental results showing how APEGs, combined with profitability analysis, make it possible to significantly improve the accuracy of floating-point computations.
Fichier principal
Vignette du fichier
main.pdf (120.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00835736 , version 1 (21-06-2013)

Identifiants

Citer

Arnault Ioualalen, Matthieu Martel. Synthesizing Accurate Floating-Point Formulas. ASAP 2013 - 24th IEEE International Conference Application-specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. pp.113-116, ⟨10.1109/ASAP.2013.6567563⟩. ⟨hal-00835736⟩
252 Consultations
337 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More