Add to ORKGIn general, the computations carried out on machines are approximative because of the finite representation of numbers. Then an obvious question is how to estimate the quality of a certain implementation of a formula and how to enhance it. For example, one may wish to measure the absolute or relative precision of th
The use of floating-point numbers in safety-critical applications shows a need to efficiently and au...
In the following basic principles of algorithms computing guaranteed bounds are developed from a the...
International audienceFloating-point numbers are limited both in range and in precision, yet they ar...
Abstract. Most mathematical formulae are defined in terms of operations on real numbers, but compute...
The results of arithmetic operations performed on digital computers are seldom exactly correct. Ther...
This article introduces a new program transformation in order to enhance the numerical accuracy of f...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
Floating-point numbers represent only a subset of real numbers.As such, floating-point arithmetic in...
International audienceTo satisfy cost constraints, application implementation in embedded systems re...
To satisfy cost constraints, application implementation in embedded systems requires fixed-point ari...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
International audienceHigh confidence in floating-point programs requires proving numerical properti...
The use of floating-point numbers in safety-critical applications shows a need to efficiently and au...
In the following basic principles of algorithms computing guaranteed bounds are developed from a the...
International audienceFloating-point numbers are limited both in range and in precision, yet they ar...
Abstract. Most mathematical formulae are defined in terms of operations on real numbers, but compute...
The results of arithmetic operations performed on digital computers are seldom exactly correct. Ther...
This article introduces a new program transformation in order to enhance the numerical accuracy of f...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
Floating-point numbers represent only a subset of real numbers.As such, floating-point arithmetic in...
International audienceTo satisfy cost constraints, application implementation in embedded systems re...
To satisfy cost constraints, application implementation in embedded systems requires fixed-point ari...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
International audienceHigh confidence in floating-point programs requires proving numerical properti...
The use of floating-point numbers in safety-critical applications shows a need to efficiently and au...
In the following basic principles of algorithms computing guaranteed bounds are developed from a the...
International audienceFloating-point numbers are limited both in range and in precision, yet they ar...