5762 search results - page 959 / 1153 » R-tree: A Hardware Implementation |
171
click to vote
WIMOB
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a software approach for MIMO-OFDM wireless communication technology. We first show that complex matrix operations like Singular-Value Decomposition (SVD), diagonalizat...
192
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper reports the design of a high performance, adaptive low/high swing CMOS driver circuit (mj–driver) suitable for driving of global interconnects with large c...
161
click to vote
APWEB
2007
Springer
16 years 24 days ago
2007
Springer
We present in this paper a system for the management of geographic databases from mobile devices. The architecture of the system is extensible in the sense that it can be adapted t...
178
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
153
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...