5762 search results - page 314 / 1153 » R-tree: A Hardware Implementation |
142
click to vote
MSE
2003
IEEE
16 years 5 hour ago
2003
IEEE
A tool has been developed to automate the testing and grading of design projects implemented in reprogrammable hardware. The server allows multiple students to test circuits in FP...
193
click to vote
APCCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Designof portablebattery operatedmultimediadevices requires energy-ecient multiplication circuits. This paper presents a novel approach to reduce power consumption of digital mul...
162
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
152
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
A variation of the differential steepest descent algorithm, here called the dithered linear search (DLS), is examined and applied to analog filter adaptation. The DLS algorithm is...
193
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
FPGAs are an attractive platform for elliptic curve cryptography hardware. Since field multiplication is the most critical operation in elliptic curve cryptography, we have studi...