205 search results - page 4 / 41 » Modelling and Analysis of Distributed Simulation Protocols w... |
PODC
2004
ACM
13 years 11 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
ICPP
2006
IEEE
13 years 11 months ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
IPPS
2008
IEEE
14 years 6 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
MOBIHOC
2003
ACM
14 years 5 months ago
2003
ACM
We develop a detailed approach to study how mobilityimpacts the performance of reactive MANET routing protocols. In particular we examine how the statistics of path durations inclu...