Sciweavers

6808 search results - page 225 / 1362
» Distributed Concurrency Control
Sort
View
CASCON
1993
114views Education» more  CASCON 1993»
15 years 8 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
Scalable XML Collaborative Editing with Undo short paper
Abstract. Commutative Replicated Data-Type (CRDT) is a new class of algorithms that ensures scalable consistency of replicated data. It has been successfully applied to collaborati...
Stéphane Martin, Pascal Urso, Stépha...
ENTCS
2008
99views more  ENTCS 2008»
15 years 6 months ago
ArcAngelC: a Refinement Tactic Language for Circus
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
M. V. M. Oliveira, A. L. C. Cavalcanti
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
16 years 5 days ago
A Running Controller of Humanoid Biped HRP-2LR
— This article explains a control system, which stabilizes running biped robot HRP-2LR. The robot uses prescribed running pattern calculated by resolved momentum control, and a r...
Shuuji Kajita, Takashi Nagasaki, Kenji Kaneko, Kaz...
TIM
2010
139views Education» more  TIM 2010»
15 years 1 months ago
A Design Approach For Digital Controllers Using Reconfigurable Network-Based Measurements
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
Rong Liu, Antonello Monti, Ferdinanda Ponci, Anton...