5762 search results - page 657 / 1153 » R-tree: A Hardware Implementation |
146
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The architecture and VLSI implementation of an epileptic seizure prediction microsystem are presented. The microsystem comprises a neural recording interface and a seizure pred...
115
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a power-optimized quadrature VCO with wide-tuning range for UWB Receivers. The optimization of power is achieved by both optimum selection of LC tand and the im...
182
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be b...
189
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
156
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...