5762 search results - page 559 / 1153 » R-tree: A Hardware Implementation |
220
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a procedure for minimizing the power consumption in a boolean network under the zero delay model. Power is minimized by modifying the function of each interme...
189
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
208
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
190
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
- This paper describes existing designs and future design trends of in-vehicle vision processors for driver assistance systems. First, requirements of vision processors for driver ...
193
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...