Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs

Laurent Thévenoux 1 Matthieu Martel 2 Philippe Langlois 2
2 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 : We present the SyHD software developed to perform source-to-source transformation improving accuracy without impacting execution time too much. SyHD synthesizes C source code for both accuracy and execution-time criteria. It uses compensation for improving accuracy and transformation strategies for reducing the impact of this improvement on execution time.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01157509
Contributeur : Laurent Thévenoux <>
Soumis le : lundi 1 juin 2015 - 11:00:09
Dernière modification le : mardi 10 octobre 2017 - 11:10:34
Document(s) archivé(s) le : lundi 24 avril 2017 - 21:37:56

Fichier

LMT15b-abstract.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01157509, version 1

Citation

Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. 〈hal-01157509〉

Partager

Métriques

Consultations de
la notice

251

Téléchargements du document

147