78 search results - page 13 / 16 » Algorithms for Quad-Double Precision Floating Point Arithmet... |
151
Voted
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
128
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
148
click to vote
ARITH
2007
IEEE
16 years 22 days ago
2007
IEEE
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...
179
click to vote
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
138
Voted
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract-- It is impractical to verify multiplier or divider circuits entirely at the bit-level using ordered Binary Decision Diagrams (BDDs), because the BDD representations for t...