114 search results - page 2 / 23 » Using likely program invariants to detect hardware errors |
DATE
2009
IEEE
13 years 9 months ago
2009
IEEE
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
GLVLSI
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
DSN
2002
IEEE
13 years 10 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...