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

Mohamed Amine Najahi

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

Mohamed Amine Najahi ¹

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.

Type de document :

Poster

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l’Informatique Mathématique, 2012

Domaine :

Informatique [cs] / Arithmétique des ordinateurs

Liste complète des métadonnées

Littérature citée [2 références] Voir Masquer Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361
Contributeur : Mohamed Amine Najahi <>
Soumis le : lundi 22 février 2016 - 13:52:00
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : lundi 23 mai 2016 - 13:13:24

RAIM2012-22062012.pdf

Fichiers produits par l'(les) auteur(s)

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

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

68

158

Contact

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

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

68

158

Contact