5762 search results - page 644 / 1153 » R-tree: A Hardware Implementation |
191
click to vote
CAV
2003
Springer
16 years 13 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
169
click to vote
EUROMICRO
2002
IEEE
16 years 5 days ago
2002
IEEE
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
211
click to vote
ISVLSI
2002
IEEE
16 years 4 days ago
2002
IEEE
Wavelet-based video compression can provide improved codec and bit rates. The shift-variance problem of the discrete wavelet transform on image sequences, however, may cause large...
176
click to vote
SI3D
2009
ACM
15 years 12 months ago
2009
ACM
We present an approach for rendering the surface of particle-based fluids that is simple to implement, has real-time performance with a configurable speed/quality trade-off, and...
200
click to vote
CAV
2009
Springer
15 years 12 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...