Sciweavers

778 search results - page 106 / 156
» Improved universal denominators
Sort
View
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 1 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
VISUALIZATION
1996
IEEE
15 years 1 months ago
Visualization of Laser Confocal Microscopy Datasets
This paper presents an example of how existing visualization methods can be successfully applied { after minor modi cations { for allowing new, sometimes unexpected insight in sci...
Georgios Sakas, Michael G. Vicker, Peter Jörg...
ACSE
1996
ACM
15 years 1 months ago
Literate programming as an aid to marking student assignments
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
A. J. Hurst
DCC
1994
IEEE
15 years 1 months ago
Explicit Bit Minimization for Motion-Compensated Video Coding
abstract Dzung T. Hoang Philip M. Longy Je rey Scott Vitterz Department of Computer Science Duke University Box 90129 Durham, NC 27708 0129 We compare methods for choosing motion ...
Dzung T. Hoang, Philip M. Long, Jeffrey Scott Vitt...
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 1 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang