82 search results - page 1 / 17 » Soft-Error Detection Using Control Flow Assertions |
DFT
2003
IEEE
13 years 10 months ago
2003
IEEE
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
VTS
2005
IEEE
13 years 10 months ago
2005
IEEE
Nanometer circuits are highly susceptible to soft errors generated by alpha-particle or atmospheric neutron strikes to circuit nodes. The reasons for the high susceptibility are t...
IOLTS
2003
IEEE
13 years 10 months ago
2003
IEEE
SOSP
2009
ACM
14 years 1 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
DSN
2005
IEEE
13 years 10 months ago
2005
IEEE
1 In sub-micron technology circuits high integration levels coupled with the increased sensitivity to soft errors even at ground level make the task of guaranteeing systems’ depe...