Synthesis of fixed-point programs: the case of matrix multiplication

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 the 13th EJCIM (Perpignan 2013) Synthesis of fixed-point programs: the case of matrix multiplication
Type de document :
Poster
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 13th École Jeunes Chercheurs en Informatique Mathématique (EJCIM 2013) Perpignan, April 12th, 2013, 2013
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277362
Contributeur : Mohamed Amine Najahi <>
Soumis le : lundi 22 février 2016 - 13:55:53
Dernière modification le : vendredi 9 juin 2017 - 10:39:00
Document(s) archivé(s) le : lundi 23 mai 2016 - 13:10:12

Fichier

EJCIM2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01277362, version 1

Collections

LIRMM | DALI | UNIV-PERP | MIPS

Citation

Mohamed Amine Najahi. Synthesis of fixed-point programs: the case of matrix multiplication. EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 13th École Jeunes Chercheurs en Informatique Mathématique (EJCIM 2013) Perpignan, April 12th, 2013, 2013. <lirmm-01277362>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

36

Téléchargements du document

99

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD