352 search results - page 43 / 71 » Evaluating the imprecision of static analysis |
132
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Identity-based attacks (IBAs) are one of the most serious threats to wireless networks. Recently, received signal strength (RSS) based detection mechanisms were proposed to dete...
127
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
100
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
ICCD
2007
IEEE
15 years 11 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...