4 citations · 7 across the 4 of their papers we have counts for
6 papers
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
Nowadays, parallel computing is ubiquitous in several application fields, both in engineering and science. The computations rely on the floating-point arithmetic specified by the I…
Constrained Precision Tuning
Dorra Ben Khalifa, Matthieu Martel
Precision tuning or customized precision number representations is emerging, in these recent years, as one of the most promising techniques that has a positive impact on the footpr…
Compressed Matrix Computations
Matthieu Martel
Frugal computing is becoming an important topic for environmental reasons. In this context, several techniques have been proposed to reduce the storage of scientific data by dedica…
Fixed-Point Code Synthesis For Neural Networks
Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
Over the last few years, neural networks have started penetrating safety critical systems to take decisions in robots, rockets, autonomous driving car, etc. A problem is that these…
A Study of the Floating-Point Tuning Behaviour on the N-body Problem
Dorra Ben Khalifa, Matthieu Martel
In this article, we apply a new methodology for precision tuning to the N-body problem. Our technique, implemented in a tool named POP, makes it possible to optimize the numerical…
Fast and Efficient Bit-Level Precision Tuning
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
In this article, we introduce a new technique for precision tuning. This problem consists of finding the least data types for numerical values such that the result of the computati…