Sciweavers

3625 search results - page 197 / 725
» On Timed Models of Gene Networks
Sort
View
132
Voted
DSN
2007
IEEE
15 years 10 months ago
Enhanced Reliability Modeling of RAID Storage Systems
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
Jon G. Elerath, Michael Pecht
147
Voted
JAIR
2011
129views more  JAIR 2011»
14 years 10 months ago
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
Wei Li 0002, Pascal Poupart, Peter van Beek
143
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
Recognizing Exponential Inter-Contact Time in VANETs
—Inter-contact time between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs) and central to forwarding algorithms and the end-to-end delay. Due to ...
Hongzi Zhu, Luoyi Fu, Guangtao Xue, Yanmin Zhu, Mi...
110
Voted
PADS
1998
ACM
15 years 7 months ago
Optimizing Communication in Time-Warp Simulators
In message passing environments, the message send time is dominated by overheads that are relatively independent of the message size. Therefore, fine-grained applications (such a...
Malolan Chetlur, Nael B. Abu-Ghazaleh, Radharamana...
113
Voted
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
15 years 3 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt