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 metadatas

Cited literature [2 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361
Contributor : Mohamed Amine Najahi <>
Submitted on : Monday, February 22, 2016 - 1:52:00 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM
Long-term archiving on: Monday, May 23, 2016 - 1:13:24 PM

File

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

102

Files downloads

307

Contact

Informations

CCSD