Sciweavers

150 search results - page 8 / 30
» mascots 2007
Sort
View
65
Voted
MASCOTS
2004
14 years 10 months ago
Causal Multicast in Mobile Networks
Distributed applications using file sharing and file replication, conferencing, and delivery in multimedia systems often need to use the semantics of causal multicast. Causal mult...
Punit Chandra, Ajay D. Kshemkalyani
MASCOTS
2004
14 years 10 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...
61
Voted
MASCOTS
2004
14 years 10 months ago
The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution
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...
Ronit Nossenson, Hagit Attiya
MASCOTS
2001
14 years 10 months ago
Aggregating Caches: A Mechanism for Implicit File Prefetching
We introduce the aggregating cache, and demonstrate how it can be used to reduce the number of file retrieval requests made by a caching client, improving storage system performan...
Ahmed Amer, Darrell D. E. Long
MASCOTS
2003
14 years 10 months ago
DEVS Today: Recent Advances in Discrete Event-Based Information Technology
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
Bernard P. Zeigler