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
Poster De Conférence Année : 2015

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

Mohamed Amine Najahi
  • Fonction : Auteur
  • PersonId : 966778
Digits, Architectures et Logiciels Informatiques

Résumé

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

Domaines

Informatique [cs] Arithmétique des ordinateurs
Fichier principal
Vignette du fichier
Raim2015.pdf (2.4 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Mohamed Amine Najahi  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 22 février 2016-14:07:43

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : dimanche 13 novembre 2016-00:46:20

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-PERP DALI LIRMM MIPS UNIV-MONTPELLIER ANR
89 Consultations
303 Téléchargements

Partager

More