2024
Conference papers
- titre
- Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers
- auteur
- Dorra Ben Khalifa, Matthieu Martel
- article
- 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Valetta, Malta, France
- Accès au texte intégral et bibtex
-
- titre
- Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
- auteur
- Dorra Ben Khalifa, Matthieu Martel
- article
- 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2024, Copenhagen, France. ⟨10.1145/3652032.3657578⟩
- Accès au texte intégral et bibtex
-
- titre
- Compile-Time Optimization of the Energy Consumption of Numerical Computations
- auteur
- Dorra Ben Khalifa, Matthieu Martel
- article
- The 21st ACM International Conference on Computing Frontiers (CF'24), May 2024, Ischia (Italia), France. ⟨10.1145/3637543.3654759⟩
- Accès au texte intégral et bibtex
-
2023
Conference papers
- titre
- On the Functional Properties of Automatically Generated Fixed-Point Controllers
- auteur
- Dorra Ben Khalifa, Matthieu Martel
- article
- 9th International Conference on Control, Decision and Information Technologies, Jul 2023, Rome, Italy
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Everything you Need to Know About Reduced Mixed Precision Computation in Numerical Programs
- auteur
- Dorra Ben Khalifa, Matthieu Martel
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Conference papers
- titre
- Fixed-Point Code Synthesis Based on Constraint Generation
- auteur
- Sofiane Bessaï, Dorra Ben Khalifa, Hanane Benmaghnia, Matthieu Martel
- article
- Workshop on Design and Architectures for Signal and Image Processing, Jun 2022, Budapest, Hungary
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Parallel Accurate and Reproducible Summation
- auteur
- Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
- article
- Intelligent Computing, 283, Springer International Publishing, pp.363-382, 2022, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-030-80119-9_21⟩
- Accès au bibtex
-
2019
Conference papers
- titre
- Dépliage de Boucles Versus Précision Numérique
- auteur
- Nasrine Damouche, Xavier Thirioux, Hanane Benmaghnia, Matthieu Martel
- article
- 18e Journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2019), Jun 2019, Toulouse, France. pp.1--8
- Accès au texte intégral et bibtex
-