4 citations · 7 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2022
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…
cs.SE2022★ 4 cited
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…
cs.SE2021
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…