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
Type de document :
Communication dans un congrès
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontres Arithmétiques de l’Informatique Mathématique (RAIM2015), 2015
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374
Contributeur : Mohamed Amine Najahi <>
Soumis le : lundi 22 février 2016 - 14:07:43
Dernière modification le : mardi 10 octobre 2017 - 11:08:08
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 00:46:20

Fichier

Raim2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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 (RAIM2015), 2015. 〈lirmm-01277374〉

Partager

Métriques

Consultations de
la notice

31

Téléchargements du document

140