Showing cs.DCShow all
2 papers · 1 filter
cs.DC2020
Intermediate Value Linearizability: A Quantitative Correctness Criterion
Arik Rinberg, Idit Keidar
Big data processing systems often employ batched updates and data sketches to estimate certain properties of large data. For example, a CountMin sketch approximates the frequencies…
cs.DC2019
ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication
Alexander Spiegelman, Arik Rinberg
With the emergence of cross-organization attack-prone byzantine fault-tolerant (BFT) systems, so-called Blockchains, providing asynchronous state machine replication (SMR) solution…