From Clarity to Efficiency for Distributed Algorithms

29 December 2014

Papers citing "From Clarity to Efficiency for Distributed Algorithms"

2 / 2 papers shown

Title
Formal Verification of Multi-Paxos for Distributed Consensus Saksham Chand Yanhong A. Liu Scott D. Stoller 27 54 0 04 Jun 2016
Demand-Driven Incremental Object Queries Yanhong A. Liu Jon Brandvein Scott D. Stoller Bo Lin 34 19 0 14 Nov 2015