861 search results - page 106 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
EUROSYS
2006
ACM
16 years 4 days ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
120
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Due to the shrinking of feature size and reduction in supply voltages, nanoscale circuits have become more susceptible to radiation induced transient faults. In this paper, we pre...
130
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper focuses on the Noisy Iterated Prisoner's Dilemma, a version of the Iterated Prisoner's Dilemma (IPD) in which there is a nonzero probability that a "coop...
154
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
107
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...