Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
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
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

Arithmétique des ordinateurs
Fichier principal
Vignette du fichier
RAIM2012-22062012.pdf (853.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Mohamed Amine Najahi  : 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)

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

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR
68 Consultations
175 Téléchargements

Partager

Gmail Facebook X LinkedIn More