759 search results - page 29 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
ADAEUROPE
1997
Springer
15 years 1 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
124
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We systematically evaluate a recently proposed method for unsupervised discrimination power analysis for feature selection and optimization in multimedia applications. A series of...
VW
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
RT
2001
Springer
15 years 2 months ago
2001
Springer
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...