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

Conference poster

Open access

Mohamed Amine Najahi

RAIM: Rencontres Arithmétiques de l’Informatique Mathématique (Rennes, France, 07/04/2015–09/04/2015)

2015

Abstract

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

url

Find in HALView

1 Record Views

Title: Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
Creators - without role: Mohamed Amine Najahi - Digits, Architectures et Logiciels Informatiques
Conference: RAIM: Rencontres Arithmétiques de l’Informatique Mathématique (Rennes, France, 07/04/2015–09/04/2015)
Identifiers: 9943892109311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Conference poster
Local Fields: lirmm-01277374