596 search results - page 23 / 120 » Concurrency Control in Distributed Geographical Database Sys... |
134
Voted
CONCUR
2009
Springer
15 years 18 days ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
219
Voted
GIS
2005
ACM
16 years 3 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...
132
Voted
PODS
1990
ACM
15 years 6 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
124
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
118
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose a bandwidth allocation scheme for networked control systems that have their control loops closed over a geographically distributed network. We first for...