Sciweavers

870 search results - page 38 / 174
» The failure detector abstraction
Sort
View
IANDC
2008
84views more  IANDC 2008»
13 years 9 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
TII
2011
206views Education» more  TII 2011»
13 years 4 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
WDAG
2009
Springer
91views Algorithms» more  WDAG 2009»
14 years 3 months ago
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
CCGRID
2010
IEEE
13 years 10 months ago
Selective Recovery from Failures in a Task Parallel Programming Model
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
James Dinan, Arjun Singri, P. Sadayappan, Sriram K...
CORR
2010
Springer
81views Education» more  CORR 2010»
13 years 9 months ago
Understanding Cascading Failures in Power Grids
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...
Sachin Kadloor, Nandakishore Santhi