752 search results - page 99 / 151 » A Markov Chain Model Checker |
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
Elimination by aspects (EBA) is a probabilistic choice model describing how humans decide between several options. The options from which the choice is made are characterized by b...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
Data transmission over wireless networks is challenging due to the occurrence of burst errors, and packet loss caused by such errors seriously limits the maximum achievable throug...
PAPM
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
JPDC
2011
13 years 3 months ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...