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 Accéder directement au contenu
Poster De Conférence Année : 2015

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : lirmm-01277374 , version 1

Citer

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⟩
79 Consultations
294 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More