7 search results - page 2 / 2 » Self-checking instructions: reducing instruction redundancy ... |
DSN
2002
IEEE
13 years 9 months ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...