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
Mohamed Amine Najahi
  • Function : Author
  • PersonId : 966778
Digits, Architectures et Logiciels Informatiques

Abstract

Talk at RAIM 2015 (Rennes) Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks

Domains

Computer Science [cs] Computer Science [cs] Computer Arithmetic
Fichier principal
Vignette du fichier
Raim2015.pdf (2.4 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Mohamed Amine Najahi  : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374

Submitted on : Monday, February 22, 2016-2:07:43 PM

Last modification on : Wednesday, February 8, 2023-5:10:59 PM

Long-term archiving on: Sunday, November 13, 2016-12:46:20 AM

Download

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR
73 View
249 Download

Share

Gmail Facebook Twitter LinkedIn More