5762 search results - page 687 / 1153 » R-tree: A Hardware Implementation |
192
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
The Midimew network is an excellent contender for implementing the communication subsystem of a high performance computer. This network is an optimal 2D topology in the sense ther...
176
click to vote
ERSA
2006
15 years 8 months ago
2006
Acoustic echo control is of vital interest for hands-free operation of telecommunications equipment. An important property of an acoustic echo controller is its capability to hand...
198
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
Operating system research has endeavored to develop micro-kernels that provide modularity, reliability and security improvements over conventional monolithic kernels. However, the...
178
click to vote
CACM
2010
15 years 7 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
169
click to vote
INFSOF
2006
15 years 7 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...