HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Poster communications

Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks

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 RAIM 2015 (Rennes) Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Document type :
Poster communications
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374
Contributor : Mohamed Amine Najahi Connect in order to contact the contributor
Submitted on : Monday, February 22, 2016 - 2:07:43 PM
Last modification on : Friday, October 22, 2021 - 3:07:35 PM
Long-term archiving on: : Sunday, November 13, 2016 - 12:46:20 AM

File

Vignette du document
Raim2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01277374, version 1

Collections

LIRMM | CNRS | DALI | UNIV-PERP | MIPS | UNIV-MONTPELLIER | ANR

Citation

Mohamed Amine Najahi. Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks. RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontres Arithmétiques de l’Informatique Mathématique, 2015. ⟨lirmm-01277374⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

72

Files downloads

247