Skip to Main content Skip to Navigation
Poster communications

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

Mohamed Amine Najahi 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 : Talk at RAIM 5 (DIJON). Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation.
Document type :
Poster communications
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361
Contributor : Mohamed Amine Najahi Connect in order to contact the contributor
Submitted on : Monday, February 22, 2016 - 1:52:00 PM
Last modification on : Friday, August 5, 2022 - 2:56:33 PM
Long-term archiving on: : Monday, May 23, 2016 - 1:13:24 PM

File

Vignette du document
RAIM2012-22062012.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01277361, version 1

Collections

CNRS | UNIV-PERP | DALI | LIRMM | MIPS | UNIV-MONTPELLIER | ANR

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

63

Files downloads

145