26 search results - page 3 / 6 » Complete Interval Arithmetic and its Implementation |
112
Voted
SAC
2006
ACM
15 years 1 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
119
Voted
ANSS
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper proposes a parallel cycle-accurate microarchitectural simulator which efficiently executes its workload by splitting the simulation process along time-axis into many in...
129
Voted
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
116
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
111
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...