Mathematical software

Dynamo
Referenced in 30 articles [sw27495]
Dynamo: amazon’s highly available key-value store. Reliability at massive scale ... implementation of Dynamo, a highly available key-value storage system that some of Amazon...

Chapar
Referenced in 4 articles [sw22667]
Chapar: certified causally consistent distributed key-value stores. Today’s Internet services are often expected ... many practical systems provide causally consistent key-value stores. In this paper, we present ... verification of causal consistency for replicated key-value store implementations and their client programs. Specifically ... formulate separate correctness conditions for key-value store implementations and for their clients. The interface...

DynamoDB
Referenced in 4 articles [sw22610]
database and supports both document and key-value store models. Its flexible data model, reliable...

WHISPER
Referenced in 1 article [sw29927]
interfaces to PM including custom PM key-value stores Echo and Redis, a PM database...

Tendermint
Referenced in 1 article [sw37808]
replication, and a service-discovery oriented key-value store as the state machine. While these...

cacher
Referenced in 1 article [sw25647]
evaluating R expressions and stores them in key-value databases. These databases of cached objects...

stashR
Referenced in 1 article [sw29186]
remoteDB’, and associated methods, versioned key-value data bases can be either created locally ... caching of computations which can subsequently be stored on the Internet. To reproduce a particular...

Dynamo