114 search results - page 1 / 23 » Using likely program invariants to detect hardware errors |
DSN
2008
IEEE
13 years 11 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
ICSE
1999
IEEE-ACM
13 years 9 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
IEEEPACT
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...