2935 search results - page 431 / 587 » An Integrated Approach to High Integrity Software Verificati... |
172
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
178
click to vote
ISPD
2009
ACM
16 years 28 days ago
2009
ACM
Several approaches to post-silicon adaptation require feedback from a replica of the nominal critical path, whose variations are intended to reflect those of the entire circuit a...
149
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Interest point-based multiview 3D reconstruction and calibration methods have been very successful in select applications but are not applicable when an abundance of feature point...
178
Voted
DSN
2009
IEEE
16 years 27 days ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
156
Voted
ICES
2005
Springer
15 years 11 months ago
2005
Springer
Evolvable Hardware arises as a promising solution for automatic digital synthesis of digital and analog circuits. During the last decade, a special interest has been focused on evo...