📐 Linearizability - nicolasg · Scour

HistMSO: A Logic for Reasoning about Consistency Models with MONA 🔄Eventual Consistency

arxiv.org·4d

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 📊Algorithms

arxiv.org·1d

Communication Requirements for Linearizable Registers 🔓Lock-Free Structures

arxiv.org·2d

RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups 🔄Eventual Consistency

arxiv.org·3d

NestPipe: Large-Scale Recommendation Training on 1,500+ Accelerators via Nested Pipelining 📊Columnar Execution

arxiv.org·1d

Loading more...