Sciweavers

2695 search results - page 31 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
DAC
1997
ACM
15 years 4 months ago
InfoPad - An Experiment in System Level Design and Integration
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
Robert W. Brodersen
TVLSI
2002
130views more  TVLSI 2002»
14 years 11 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
LCTRTS
2000
Springer
15 years 3 months ago
Automatic Validation of Code-Improving Transformations
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
Robert van Engelen, David B. Whalley, Xin Yuan
TROB
2008
106views more  TROB 2008»
14 years 11 months ago
Discovering Higher Level Structure in Visual SLAM
We describe a novel method for discovering and incorporating higher level map structure in a real-time visual SLAM system. Previous approaches use sparse maps, populated by isolate...
Andrew P. Gee, Denis Chekhlov, Andrew Calway, Walt...
TC
1998
14 years 11 months ago
Using System-Level Models to Evaluate I/O Subsystem Designs
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
Gregory R. Ganger, Yale N. Patt