Résumé
Talk at the 13th EJCIM (Perpignan 2013)Synthesis of fixed-point programs: the case of matrix multiplication
- Titre
- Synthesis of fixed-point programs: the case of matrix multiplication
- Créateurs - sans rôle
- Mohamed Amine Najahi - Digits, Architectures et Logiciels Informatiques
- Colloque
- EJCIM: École Jeunes Chercheurs en Informatique Mathématique (Perpignan, France, 12/04/2013)
- Identifiants
- 99150471609311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
- Langue
- English
- Type de ressource
- Conference poster
- Champs locaux
- lirmm-01277362