752 search results - page 135 / 151 » A Markov Chain Model Checker |
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we develop an analytical threshold-based bandwidth allocation policy for 3G multi-class cellular networks. We consider the effects of user mobility when the cellular...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
A bulk synchronous computation proceeds in phases that are separated by barrier synchronization. For dynamic bulk synchronous computations that exhibit varying phase-wise computat...
APN
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
ISTCS
1993
Springer
14 years 21 days ago
1993
Springer
This thesis introduces a model of a random walk on a colored undirected graph. Such a graph has a single vertex set and distinct sets of edges, each of which has a color. A par...
GLOBECOM
2009
IEEE
14 years 14 days ago
2009
IEEE
We consider the design and performance analysis of adaptive modulation and coding (AMC) applied to regenerative dual-hop transmission systems, where a source node communicates with...