Sciweavers

313 search results - page 12 / 63
» Computing synchronizer failure probabilities
Sort
View
MINENET
2006
ACM
15 years 5 months ago
Diagnosis of TCP overlay connection failures using bayesian networks
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
George J. Lee, Lindsey Poole
SRDS
2008
IEEE
15 years 6 months ago
Probabilistic Failure Detection for Efficient Distributed Storage Maintenance
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
Jing Tian, Zhi Yang, Wei Chen, Ben Y. Zhao, Yafei ...
IWCMC
2009
ACM
15 years 6 months ago
Energy penalties for non-shortest paths in wireless sensor networks with link failures
This paper addresses the additional energy consumption in wireless sensor networks where the communication between the sensor nodes and the sink nodes does not always make use of ...
Geir Egeland, Paal E. Engelstad
77
Voted
ISPA
2007
Springer
15 years 5 months ago
Fault Tolerance of Connectivity Performance in CDMA-Based Wireless Sensor Networks
Abstract. In this paper, we investigate the fault tolerance of connectivity probability for CDMA-based wireless sensor networks with variations of nodes deployment. The variations ...
Yung-Fa Huang, Ching-Mu Chen, Tsair-Rong Chen, Jon...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 10 months ago
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
Martin Fränzle, Tino Teige, Andreas Eggers