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

Mohamed Amine Najahi

Conference Poster Year : 2012

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

(1)

Mohamed Amine Najahi

Function : Author
PersonId : 966778

Digits, Architectures et Logiciels Informatiques

Abstract

Talk at RAIM 5 (DIJON). Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation.

Domains

Computer Arithmetic

Fichier principal

RAIM2012-22062012.pdf (853.51 Ko)

Origin : Files produced by the author(s)

Mohamed Amine Najahi : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361

Submitted on : Monday, February 22, 2016-1:52:00 PM

Last modification on : Friday, March 24, 2023-2:53:01 PM

Long-term archiving on: Monday, May 23, 2016-1:13:24 PM

Dates and versions

lirmm-01277361 , version 1 (22-02-2016)

Identifiers

HAL Id : lirmm-01277361 , version 1

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR

66 View

157 Download

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

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share