Synthesizing Accurate Floating-Point Formulas

Arnault Ioualalen 1, 2 Matthieu Martel 2, 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : 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.
Type de document :
Communication dans un congrès
ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. IEEE, Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference, pp.113-116, 2013, <10.1109/ASAP.2013.6567563>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00835736
Contributeur : Matthieu Martel <>
Soumis le : vendredi 21 juin 2013 - 12:53:48
Dernière modification le : vendredi 9 juin 2017 - 10:39:31
Document(s) archivé(s) le : dimanche 22 septembre 2013 - 04:05:50

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Arnault Ioualalen, Matthieu Martel. Synthesizing Accurate Floating-Point Formulas. ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. IEEE, Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference, pp.113-116, 2013, <10.1109/ASAP.2013.6567563>. <hal-00835736>

Partager

Métriques

Consultations de
la notice

214

Téléchargements du document

145