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
DALI - 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

Fichier principal
Vignette du fichier
Raim2015.pdf (2.4 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Autorisation HAL

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)

Licence

Autorisation HAL

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

Collections

156 Consultations
427 Téléchargements

Partager

  • More