Poster De Conférence Année : 2012

Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation

Mohamed Amine Najahi
  • Fonction : Auteur
  • PersonId : 966778
DALI - Digits, Architectures et Logiciels Informatiques

Résumé

Talk at RAIM 5 (DIJON). Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation.

Domaines

Fichier principal
Vignette du fichier
RAIM2012-22062012.pdf (853.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Autorisation HAL

Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361

Soumis le : lundi 22 février 2016-13:52:00

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : lundi 23 mai 2016-13:13:24

Télécharger pour visualiser

Dates et versions

lirmm-01277361 , version 1 (22-02-2016)

Licence

Autorisation HAL

Identifiants

  • HAL Id : lirmm-01277361 , version 1

Citer

Mohamed Amine Najahi. Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation. RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l’Informatique Mathématique, 2012. ⟨lirmm-01277361⟩

Exporter

Collections

140 Consultations
271 Téléchargements

Partager

  • More