Sciweavers

854 search results - page 24 / 171
» Abstracting from Failure Probabilities
Sort
View
JLP
2007
99views more  JLP 2007»
14 years 11 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
ENTCS
2010
123views more  ENTCS 2010»
14 years 12 months ago
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone ...
ICCAD
2004
IEEE
150views Hardware» more  ICCAD 2004»
15 years 8 months ago
Cost-effective radiation hardening technique for combinational logic
— A radiation hardening technique for combinational logic circuits is described. The key idea is to exploit the asymmetric logical masking probabilities of gates, hardening gates...
Quming Zhou, Kartik Mohanram
EUROPAR
2004
Springer
15 years 3 months ago
Enhancing Efficiency of Byzantine-Tolerant Coordination Protocols via Hash Functions
Abstract. Distributed protocols resilient to Byzantine failures are notorious to be costly from the computational and communication point of view. In this paper we discuss the role...
Daniela Tulone
INFOCOM
2008
IEEE
15 years 6 months ago
Robust Distributed Spectrum Sensing in Cognitive Radio Networks
Abstract—Distributed spectrum sensing (DSS) enables a Cognitive Radio (CR) network to reliably detect licensed users and avoid causing interference to licensed communications. Th...
Ruiliang Chen, Jung Min Park, Kaigui Bian