1133 search results - page 132 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
14 years 11 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
ICPR
2004
IEEE
14 years 12 months ago
2004
IEEE
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...
DCOSS
2006
Springer
14 years 2 months ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...
PODC
2004
ACM
14 years 4 months ago
2004
ACM
We present Byzantine Disk Paxos, an asynchronous shared-memory consensus algorithm that uses a collection of n > 3t disks, t of which may fail by becoming non-responsive or arb...
PG
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we describe a fast and interactive model to simulate and control the fire phenomenon. We use a modified interactive fluid dynamics solver to describe the motion o...