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

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 : vendredi 9 juin 2017 - 10:39:00
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

LIRMM | DALI | UNIV-PERP | MIPS

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>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

30

Téléchargements du document

121

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD