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

Laurent Thévenoux; Matthieu Martel; Philippe Langlois

Retour

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

Document de travail

Open Access

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

Laurent Thévenoux, Matthieu Martel et Philippe Langlois

Résumé

code synthesis

execution-time performance

compensation

floating-point arithmetic

multi-criteria optimization

numerical accuracy

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs
Créateurs - sans rôle: Laurent Thévenoux - Laboratoire de l'Informatique du Parallélisme
Matthieu Martel - Digits, Architectures et Logiciels Informatiques
Philippe Langlois - Digits, Architectures et Logiciels Informatiques
Identifiants: 99151878209311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Working paper
Champs locaux: hal-01157509