82 search results - page 11 / 17 » Soft-Error Detection Using Control Flow Assertions |
DKE
2010
14 years 9 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
CCS
2010
ACM
14 years 9 months ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Natural fractures may greatly affect wellbore stability and fluid flow in oil reservoirs. The detection of fracture heterogeneities—also named fracture traces—on electrical im...
JSS
2008
14 years 8 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...