125 search results - page 16 / 25 » Static Estimation of Test Coverage |
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
The problem of Simultaneous Localization And Mapping (SLAM) originally arose from the robotics community and is closely related to the problems of camera motion estimation and stru...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ASPLOS
2011
ACM
13 years 9 days ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
: Empirical analyses of the IDDQ signatures of 0.18 µm devices indicate that IDDQ currents exhibit hysteresis. A newly proposed test method, SPIRIT (Single Pattern Iteration IDDQ ...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Increased AP density in enterprise WLANs leads to increasing RF interference and decreasing performance. An important step towards mitigating this problem is to construct precise ...