Synthesis of fixed-point programs: the case of matrix multiplication - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Poster Year : 2013

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

Mohamed Amine Najahi
  • Function : Author
  • PersonId : 966778
Digits, Architectures et Logiciels Informatiques

Abstract

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

Domains

Computer Science [cs] Computer Arithmetic
Fichier principal
Vignette du fichier
EJCIM2013.pdf (1.07 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Mohamed Amine Najahi  : Connect in order to contact the contributor

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

Submitted on : Monday, February 22, 2016-1:55:53 PM

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

Long-term archiving on : Monday, May 23, 2016-1:10:12 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : lirmm-01277362 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR
80 View
709 Download

Share

More