Sciweavers

2500 search results - page 5 / 500
» Inclusion-Exclusion and Network Reliability
Sort
View
TC
2010
14 years 4 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
86
Voted
WSC
2007
14 years 12 months ago
Combining network reductions and simulation to estimate network reliability
Network reduction techniques are mainly used with exact approaches such as factoring to compute network reliability. However, exact computation of network reliability is feasible ...
Abdullah Konak
55
Voted
SENSYS
2006
ACM
15 years 3 months ago
t-kernel: providing reliable OS support to wireless sensor networks
Lin Gu, John A. Stankovic