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

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

Share

Metrics

Record views

134

Files downloads

348