136
click to vote
MASCOTS
15 years 2 months ago
2004 
This paper presents experimental measurements of TCP bulk data transfer performance in a multi-hop wireless ad hoc network environment. The first part of the paper studies how TCP...
134
Voted
MASCOTS
15 years 2 months ago
2004 
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...
123
Voted
MASCOTS
15 years 2 months ago
2004 
A simple, tunable, synthetic benchmark with a performance directly related to applications would be of great benefit to the scientific computing community. In this paper, we prese...
123
click to vote
MASCOTS
15 years 2 months ago
2004 
In this paper we investigate the burstiness of the Transmission Control Protocol (TCP) and its impact on a network of finite TCP connections. A detailed TCP and network model is d...
119
Voted
MASCOTS
15 years 2 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
|
Modeling and Simulation