1534 search results - page 125 / 307 » Error Reporting Logic |
164
click to vote
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
119
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
124
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
167
click to vote
FGR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a novel system for 3D head tracking under partial occlusion from 2D monocular image sequences. In this system, The Extended Superquadric (ESQ) is used to gene...
206
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...