5159 search results - page 469 / 1032 » Structural Testing of Executables |
210
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper investigates the application of the Generalized Likelihood Ratio Test detector to the Global Navigation Satellite System array-based acquisition problem. We consider an...
241
click to vote
CGF
2011
14 years 11 months ago
2011
We accelerate the finding of occluders in tree based acceleration structures, such as a packetized BVH and a single ray kd-tree, by deriving the ray termination surface area heur...
234
click to vote
IJSEKE
2011
14 years 11 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
191
click to vote
MICRO
2007
IEEE
16 years 2 months ago
2007
IEEE
As silicon process technology scales deeper into the nanometer regime, hardware defects are becoming more common. Such defects are bound to hinder the correct operation of future ...
218
click to vote
CF
2005
ACM
15 years 9 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...