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
Document type :
Poster communications
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277362
Contributor : Mohamed Amine Najahi <>
Submitted on : Monday, February 22, 2016 - 1:55:53 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM
Long-term archiving on : Monday, May 23, 2016 - 1:10:12 PM

File

EJCIM2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01277362, version 1

Collections

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⟩

Share

Metrics

Record views

112

Files downloads

642