3 papers
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.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…
cs.PL2021
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…