Sciweavers

6808 search results - page 79 / 1362
» Distributed Concurrency Control
Sort
View
CONCUR
2009
Springer
15 years 7 months ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
CONCUR
2010
Springer
15 years 3 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
62
Voted
CDC
2009
IEEE
15 years 7 months ago
Subspace identification of distributed, decomposable systems
Paolo Massioni, Michel Verhaegen
RTSS
2000
IEEE
15 years 6 months ago
Adding PEP to Real-Time Distributed Commit Processing
Jayant R. Haritsa, Krithi Ramamritham