<--- Back to Details
First PageDocument Content
Data types / Transaction processing / Type theory / Concurrency control / Consistency model / Eventual consistency / Denotational semantics / Extensible Storage Engine / Primitive data type / Parallel computing / Type system / Causal consistency
Date: 2015-01-16 15:25:14
Data types
Transaction processing
Type theory
Concurrency control
Consistency model
Eventual consistency
Denotational semantics
Extensible Storage Engine
Primitive data type
Parallel computing
Type system
Causal consistency

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Add to Reading List

Source URL: software.imdea.org

Download Document from Source Website

File Size: 646,11 KB

Share Document on Facebook

Similar Documents

Buffer Pool Aware Query Optimization Ravishankar Ramamurthy David J. DeWitt Department of Computer Sciences, University of Wisconsin-Madison Madison, USA

Buffer Pool Aware Query Optimization Ravishankar Ramamurthy David J. DeWitt Department of Computer Sciences, University of Wisconsin-Madison Madison, USA

DocID: 1rtdP - View Document

:37 PM  Supplement XXX: Non-Patient Objects RESTful Service 5

:37 PM Supplement XXX: Non-Patient Objects RESTful Service 5

DocID: 1rsZC - View Document

DATABASE MANAGEMENT SYSTEMS SOLUTIONS MANUAL THIRD EDITION  Raghu Ramakrishnan

DATABASE MANAGEMENT SYSTEMS SOLUTIONS MANUAL THIRD EDITION Raghu Ramakrishnan

DocID: 1rsHj - View Document

Postprocess Polyphemus Training Session About Purpose: introduction to one-way nesting, advanced visualization and comparison to measurement data; application to photochemistry and aerosol.

Postprocess Polyphemus Training Session About Purpose: introduction to one-way nesting, advanced visualization and comparison to measurement data; application to photochemistry and aerosol.

DocID: 1rr2I - View Document

Microsoft Word - non_nested classification in Argus.doc

Microsoft Word - non_nested classification in Argus.doc

DocID: 1rpPc - View Document