5762 search results - page 884 / 1153 » R-tree: A Hardware Implementation |
188
click to vote
CCECE
2006
IEEE
16 years 23 days ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
194
click to vote
ICNP
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
170
click to vote
IEEEPACT
2006
IEEE
16 years 22 days ago
2006
IEEE
Fast instruction decoding is a challenge for the design of CISC microprocessors. A well-known solution to overcome this problem is using a trace cache. It stores and fetches alrea...
159
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
HiPerSAT, a C++ library and tools, processes EEG data sets with ICA (Independent Component Analysis) methods. HiPerSAT uses BLAS, LAPACK, MPI and OpenMP to achieve a high performa...
152
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...