Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Poster Year : 2015

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

Abstract

Talk at RAIM 2015 (Rennes) Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Fichier principal
Vignette du fichier
Raim2015.pdf (2.4 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : lirmm-01277374 , version 1

Cite

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⟩
89 View
301 Download

Share

More