Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Martel, Matthieu"'
Autor:
Agarwal, Tripti, Dam, Harvey, Khalifa, Dorra Ben, Martel, Matthieu, Sadayappan, P., Gopalakrishnan, Ganesh
In response to the rapidly escalating costs of computing with large matrices and tensors caused by data movement, several lossy compression methods have been developed to significantly reduce data volumes. Unfortunately, all these methods require the
Externí odkaz:
http://arxiv.org/abs/2406.11209
Publikováno v:
EPTCS 395, 2023, pp. 188-204
Signal Temporal Logic (STL) is a convenient formalism to express bounded horizon properties of autonomous critical systems. STL extends LTL to real-valued signals and associates a non-singleton bound interval to each temporal operators. In this work
Externí odkaz:
http://arxiv.org/abs/2311.09788
Publikováno v:
Numerical Software Verification, Jul 2021, Los Angeles, United States. pp.165-181
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 IEEE754 Standard. In this context, an elementary brick of computation,
Externí odkaz:
http://arxiv.org/abs/2205.05339
Autor:
Khalifa, Dorra Ben, Martel, Matthieu
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 footprint of programs concerning energy consumption, bandwidth usage and com
Externí odkaz:
http://arxiv.org/abs/2203.07486
Autor:
Martel, Matthieu
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 dedicated compression methods specially tailored for arrays of floating-poin
Externí odkaz:
http://arxiv.org/abs/2202.13007
Publikováno v:
CS & IT, Volume 12, Number 02, January 2022
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 critical systems often have limited computing resources. Often, they
Externí odkaz:
http://arxiv.org/abs/2202.02095
Autor:
Khalifa, Dorra Ben, Martel, Matthieu
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 data types of a program performing floating-point computations by taki
Externí odkaz:
http://arxiv.org/abs/2108.00228
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 computation satisfies some accuracy requirement. State of the art techniques fo
Externí odkaz:
http://arxiv.org/abs/2103.05241
Publikováno v:
ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-28, 28p
Autor:
Logozzo, Francesco, Martel, Matthieu
Publikováno v:
EPTCS 129, 2013, pp. 341-357
We consider the problem of synthesizing provably non-overflowing integer arithmetic expressions or Boolean relations among integer arithmetic expressions. First we use a numerical abstract domain to infer numerical properties among program variables.
Externí odkaz:
http://arxiv.org/abs/1309.5148