2498 search results - page 283 / 500 » Software Fault Tolerance |
196
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
174
click to vote
PRDC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper evaluates the behavior of a common off-theshelf (COTS) database management system (DBMS) in presence of transient faults. Database applications have traditionally been ...
157
click to vote
CGO
2005
IEEE
16 years 5 days ago
2005
IEEE
Aggressive software speculation holds significant potential, because it enables program transformations to reduce the program’s critical path. Like any form of speculation, how...
157
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
186
click to vote
IEEEPACT
2008
IEEE
16 years 29 days ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...