Synthesis of fixed-point programs: the case of matrix multiplication - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Poster De Conférence Année : 2013

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

Mohamed Amine Najahi
  • Fonction : Auteur
  • PersonId : 966778
Digits, Architectures et Logiciels Informatiques

Résumé

Talk at the 13th EJCIM (Perpignan 2013) Synthesis of fixed-point programs: the case of matrix multiplication

Domaines

Informatique [cs] Arithmétique des ordinateurs
Fichier principal
Vignette du fichier
EJCIM2013.pdf (1.07 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Mohamed Amine Najahi  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 22 février 2016-13:55:53

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : lundi 23 mai 2016-13:10:12

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : lirmm-01277362 , version 1

Citer

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

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR
72 Consultations
694 Téléchargements

Partager

Gmail Facebook X LinkedIn More