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 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 : Wednesday, June 26, 2019 - 5:59:20 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. 7ème Rencontres Arithmétiques de l’Informatique Mathématique, 2015. ⟨lirmm-01277374⟩

Share

Metrics

Record views

111

Files downloads

503