1629 search results - page 217 / 326 » Infeasible Code Detection |
108
click to vote
ITC
1993
IEEE
15 years 5 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
106
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
125
click to vote
ISM
2006
IEEE
15 years 1 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
142
click to vote
TSMC
2011
14 years 8 months ago
2011
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...
107
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
—With the advent of the new IEEE 802.11p DSRC/WAVE radios, Vehicle-to-Vehicle (V2V) communications is poised for a dramatic leap. A canonical application for these future vehicul...