International audienceWith the ever-increasing need for computation of scientific applications, new application domains, and major energy constraints, the landscape of floating-point computation is changing. New floating-point representation formats are emerging and there is a need for tools to simulate their impact in legacy codes. In this paper, we propose an automatic tool to evaluate the effect of adapting the floating point precision for each operation over time, which is particularly useful in iterative schemes. We present a backend to emulate any IEEE-754 floating-point operation in lower precision. We tested the numerical errors resilience of our solutions thanks to Monte Carlo Arithmetic and demonstrated the effectiveness of this m...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
Using standard Floating-Point (FP) formats for computation leads to significant hardware overhead si...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
International audienceWith the ever-increasing need for computation of scientific applications, new ...
International audienceError-tolerating applications are increasingly common in the emerging field of...
The widely implemented and used IEEE-754 Floating-point specification defines a method by which floa...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
The half precision (fp16) floating-point format, defined in the 2008 revision of the IEEE standard f...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
Writing reliable software is difficult. It becomes even more diffi-cult when writing scientific soft...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
One can simulate low-precision floating-point arithmetic via software by executing each arithmetic o...
Floating-point computations are at the heart of much of the computing done in high energy physics. ...
Abstract. Finite precision computations can severely affect the accuracy of computed solutions. We p...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
Using standard Floating-Point (FP) formats for computation leads to significant hardware overhead si...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
International audienceWith the ever-increasing need for computation of scientific applications, new ...
International audienceError-tolerating applications are increasingly common in the emerging field of...
The widely implemented and used IEEE-754 Floating-point specification defines a method by which floa...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
The half precision (fp16) floating-point format, defined in the 2008 revision of the IEEE standard f...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
Writing reliable software is difficult. It becomes even more diffi-cult when writing scientific soft...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
One can simulate low-precision floating-point arithmetic via software by executing each arithmetic o...
Floating-point computations are at the heart of much of the computing done in high energy physics. ...
Abstract. Finite precision computations can severely affect the accuracy of computed solutions. We p...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...
Using standard Floating-Point (FP) formats for computation leads to significant hardware overhead si...
An effective approach to handling the theory of floating-point is to reduce it to the theory of bit-...