Sciweavers

880 search results - page 67 / 176
» Semantics-Based Concurrency Control
Sort
View
NCA
2006
IEEE
14 years 2 months ago
A Primary-Backup Protocol for In-Memory Database Replication
The paper presents a primary-backup protocol to manage replicated in-memory database systems (IMDBs). The protocol exploits two features of IMDBs: coarse-grain concurrency control...
Lásaro J. Camargos, Fernando Pedone, Rodrig...
CASCON
1993
114views Education» more  CASCON 1993»
13 years 10 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»
13 years 9 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»
13 years 9 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
WWW
2001
ACM
14 years 9 months ago
N for the price of 1: bundling web objects for more efficient content delivery
: Persistent connections address inefficiencies associated with multiple concurrent connections. They can improve response time when successfully used with pipelining to retrieve a...
Craig E. Wills, Mikhail Mikhailov, Hao Shang