Add to ORKGThis paper proposes a counterexample-guided narrowing ap-proach, which mutually refines analyses and testing if (pos-sibly spurious) counterexamples are found. A prototype tool CANAT for checking roundoff errors between floating point and fixed point numbers is reported with preliminary exper-iments. 1
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
We propose a hardware-computed estimate of the roundoff error in floating-point com-putations. The e...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
This paper proposes a counterexample-guided narrowing approach、which combines static analysis and te...
This paper proposes a technique for automaticdetection of overflow and roundoff errors, causedby the...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
We present a detailed study of roundoff errors in probabilistic floating-point computations. We deri...
Models of algorithms of floating-point addition are designed for chopping, correctly rounding and au...
This paper presents an abstract interpretation framework for the round-off error analysis of floatin...
We present a detailed study of roundoff errors in probabilistic floating-point computations. We deri...
Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ab...
Aggregated roundoff errors caused by floating-point arithmetic can make numerical code highly unreli...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
We propose a hardware-computed estimate of the roundoff error in floating-point com-putations. The e...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
This paper proposes a counterexample-guided narrowing approach、which combines static analysis and te...
This paper proposes a technique for automaticdetection of overflow and roundoff errors, causedby the...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
We present a detailed study of roundoff errors in probabilistic floating-point computations. We deri...
Models of algorithms of floating-point addition are designed for chopping, correctly rounding and au...
This paper presents an abstract interpretation framework for the round-off error analysis of floatin...
We present a detailed study of roundoff errors in probabilistic floating-point computations. We deri...
Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ab...
Aggregated roundoff errors caused by floating-point arithmetic can make numerical code highly unreli...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
We propose a hardware-computed estimate of the roundoff error in floating-point com-putations. The e...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...