86 search results - page 1 / 18 » Hardware Support for Interval Arithmetic |
RC
2006
13 years 6 months ago
2006
ARITH
1995
IEEE
13 years 9 months ago
1995
IEEE
DAGSTUHL
2008
13 years 7 months ago
2008
ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...
DAGSTUHL
2008
13 years 7 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for thes...