Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks - Archive ouverte HAL Access content directly
Conference Poster Year : 2015

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

(1)
1

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⟩
73 View
249 Download

Share

Gmail Facebook Twitter LinkedIn More