Sciweavers

1471 search results - page 98 / 295
» Composing concurrency control
Sort
View
CASCON
1993
114views Education» more  CASCON 1993»
14 years 11 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
60
Voted
CORR
2010
Springer
93views Education» more  CORR 2010»
14 years 10 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»
14 years 10 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
SIGMOD
2011
ACM
171views Database» more  SIGMOD 2011»
14 years 21 days ago
BRRL: a recovery library for main-memory applications in the cloud
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...
Tuan Cao, Benjamin Sowell, Marcos Antonio Vaz Sall...
WWW
2001
ACM
15 years 10 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