4233 search results - page 63 / 847 » Three Paths to Effectiveness |
128
click to vote
JUCS
2010
15 years 2 months ago
2010
: We prove that two conditions are sufficient, and with three exceptions also necessary, for reachability of any position in restricted walk on integers in which the sizes of the m...
113
click to vote
ICCAD
2006
IEEE
16 years 19 days ago
2006
IEEE
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
231
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
108
click to vote
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
Our approach to the Log Analysis for Digital Societies (LADS) task of LogCLEF 2009 is to define three different levels of performance: success, failure and strong failure. To inve...
143
Voted
COMCOM
2007
15 years 3 months ago
2007
Many applications of wireless sensor networks require the sensor nodes to obtain their locations. The main idea in most localization methods has been that some nodes with known co...