Bernhard Haeupler: Neurodiversity & Universally-Optimal Distributed Optimization PODC–DISC 721 подписчик Скачать
Genetic Circuits Beyond Genes: Contextual Dependencies As Design Parameters (Ángel Goñi-Moreno) Скачать
Stefan Schmid: Disconnected cooperation in resilient networks and the algorithmic challenges of … Скачать
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Reg… Скачать
BA: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication Скачать
BA: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols Скачать
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer Скачать
A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian C Скачать
OPODIS 2020 - Broadcasting Competitively against Adaptive Adversary in Multi channel Radio Networks Скачать
OPODIS 2020 ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication Скачать
OPODIS 2020 - Uniform Bipartition in Population Protocol Model with Arbitrary Communication Graphs Скачать
OPODIS 2020 - Decentralized Runtime Enforcement of Message Sequences in Message Based Systems Скачать
OPODIS 2020 Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity Скачать
Is Slashing a good idea? ...and how to apply it to scaling in proof of stake (Alistair Stewart) Скачать
Torsten Hoefler: High-performance distributed memory systems – from supercomputers to data centers Скачать
