1268 search results - page 26 / 254 » Verifying distributed systems: the operational approach |
94
Voted
SCANGIS
2003
15 years 3 months ago
2003
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...
136
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
133
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a scalable, hierarchical control system for the dynamic resource management of a distributed real-time embedded (DRE) system. This DRE is inspired by the DARPA Adaptive...
97
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
111
click to vote
IJHPCA
2006
15 years 1 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...