Sciweavers

160 search results - page 6 / 32
» Enforcer - Efficient Failure Injection
Sort
View
CMPB
2011
69views more  CMPB 2011»
13 years 2 months ago
Modelling acute renal failure using blood and breath biomarkers in rats
: This paper compares three methods for estimating renal function, tested in rats. Acute Renal Failure (ARF) was induced via a 60-minute bilateral renal artery clamp in 8 Sprague-D...
Katherine T. Moorhead, Jonathan V. Hill, J. Geoffr...
DSN
2006
IEEE
14 years 1 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
ICDCS
2006
IEEE
14 years 1 months ago
Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
Alysson Neves Bessani, Joni da Silva Fraga, Miguel...
IJFCS
2006
119views more  IJFCS 2006»
13 years 7 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
DSN
2004
IEEE
13 years 11 months ago
Characterizing the Effects of Transient Faults on a High-Performance Processor Pipeline
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
Nicholas J. Wang, Justin Quek, Todd M. Rafacz, San...