Sciweavers

2695 search results - page 31 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
DAC
1997
ACM
14 years 1 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»
13 years 8 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
14 years 13 days 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»
13 years 8 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
13 years 8 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