HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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, October 22, 2021 - 3:07:35 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

LIRMM | CNRS | DALI | UNIV-PERP | 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

62

Files downloads

145