38 search results - page 2 / 8 » mascots 2004 |
MASCOTS
2004
13 years 6 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...
MASCOTS
2004
13 years 6 months ago
2004
This study introduces a new analytic queuing model, the N-Burst/G/1 model with heavy-tailed service-time distribution, which captures many of the issues that affect Web servers as...
MASCOTS
2004
13 years 6 months ago
2004
Grid computing is the future computing paradigm for enterprise applications. An enterprise application running on a grid is composed of a set of SLA-constrained sub-tasks demandin...
MASCOTS
2004
13 years 6 months ago
2004
Decoupling flexible, scalable and asynchronous nature of publish/subscribe systems makes them a good choice for the mobile wireless domain. Our research investigates the applicati...
MASCOTS
2004
13 years 6 months ago
2004
It is known that the resources that limit the overall performance of the system are the congested ones, referred to as bottlenecks. From the knowledge of the bottleneck stations w...