Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Optimistic crash consistency
Apologizing versus asking permission: optimistic concurrency control for abstract data types
Automatically assessing crashes from heap overflows
Compiler-Directed Lightweight Checkpointing for Fine-Grained Guaranteed Soft Error Recovery
Proving correctness of highly-concurrent linearisable objects
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control
Local atomicity properties: modular concurrency control for abstract data types
Enabling Client-Side Crash-Resistance to Overcome Diversification and Information Hiding
Conflict-free Replicated Data Types (CRDTs)
Predicting recurring crash stacks
Write Fast, Read in the Past: Causal Consistency for Client-Side Applications
Non-determinism in Byzantine Fault-Tolerant Replication
Semantics-Driven Optimistic Data Replication: Towards a Framework Supporting Software Architects and Developers
Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus
XFT: Practical fault tolerance beyond crashes
Closure and Convergence: A Foundation of Fault-Tolerant Computing
Mechanically verified proof obligations for linearizability
Citadel: Efficiently Protecting Stacked Memory from Large Granularity Failures
RBFT: Redundant Byzantine Fault Tolerance
RacerX: effective, static detection of race conditions and deadlocks
CTrigger: exposing atomicity violation bugs from their hiding places
Design of UHF RFID reader and the solution of crosstalk problems
Dynamo: amazon's highly available key-value store
deep learning on 1 - d biosignals : a taxonomy - based survey .
Architectur ep rinciples - Ar egulative perspective on enterprise architectur e
A New Output Current Measurement Method With Tiny PCB Sensors Capable of Being Embedded in an IGBT Module