MASCOTS
13 years 7 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...
MASCOTS
13 years 7 months ago
2004
File systems using non-volatile RAM (NVRAM) promise great improvements in file system performance over conventional disk storage. However, current technology allows for a relative...
MASCOTS
13 years 7 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...
MASCOTS
13 years 7 months ago
2004
The complex nature of the Border Gateway Protocol (BGP) is not amenable to analytical modeling, and thus simulation
MASCOTS
13 years 7 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...
|