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 :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374
Contributor : Mohamed Amine Najahi <>
Submitted on : Monday, February 22, 2016 - 2:07:43 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM
Long-term archiving on : Sunday, November 13, 2016 - 12:46:20 AM

File

Raim2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01277374, version 1

Collections

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. ⟨lirmm-01277374⟩

Share

Metrics

Record views

99

Files downloads

467