Sciweavers

MASCOTS
2004
15 years 2 months ago
Experimental Evaluation of TCP Performance in Multi-Hop Wireless Ad Hoc Networks
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...
Abhinav Gupta, Ian Wormsbecker, Carey L. Williamso...
134
Voted
MASCOTS
2004
15 years 2 months ago
An Optimisation Model for a Two-Node Router Network
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...
Nalan Gülpinar, Peter G. Harrison, Berç...
123
Voted
MASCOTS
2004
15 years 2 months ago
Architecture Independent Performance Characterization and Benchmarking for Scientific Applications
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...
Erich Strohmaier, Hongzhang Shan
MASCOTS
2004
15 years 2 months ago
Modeling the Burstiness of TCP
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...
Peter Dimopoulos, Panlop Zeephongsekul, Zahir Tari
119
Voted
MASCOTS
2004
15 years 2 months ago
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
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...
Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rash...
Modeling and Simulation
Top of PageReset Settings