5762 search results - page 162 / 1153 » R-tree: A Hardware Implementation |
176
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
With fast 3D graphics becoming more and more available even on low end platforms, the focus in hardware-accelerated rendering is beginning to shift towards higher quality renderin...
214
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
We present a case study parallelizing streaming aggregation on three different parallel hardware architectures. Aggregation is a performance-critical operation for data summarizat...
181
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
166
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
130
click to vote
MEMOCODE
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...