78 search results - page 15 / 16 » Algorithms for Quad-Double Precision Floating Point Arithmet... |
121
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a dynamic bit-width adaptation scheme in DCT applications for efficient trade-off between image quality and computation energy. Based on sensitivity differences of 64 ...
FOCM
2010
14 years 10 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
120
Voted
VLSISP
2008
15 years 3 days ago
2008
This paper describes a novel system for real-time video texture analysis. The system utilizes hardware to extract 2nd -order statistical features from video frames. These features ...
100
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...