:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Czerner, Philipp
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Distributed, Parallel, and Cluster Computing
Accesso online:	https://arxiv.org/abs/2204.02115
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Expressive Power of Uniform Population Protocols with Logarithmic Space
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Monadic Presburger Predicates have Robust Population Protocols
di: Czerner, Philipp, et al.
Pubblicazione: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
di: Lossin, Benno, et al.
Pubblicazione: (2024)

Byzantine-Resilient Population Protocols
di: Busch, Costas, et al.
Pubblicazione: (2021)

Complete Graph Identification in Population Protocols
di: Kanaya, Haruki, et al.
Pubblicazione: (2024)

Dynamic Size Counting in the Population Protocol Model
di: Kaaser, Dominik, et al.
Pubblicazione: (2024)

Ranking Opinions with Few States in Population Protocols
di: Breitkopf, Tom-Lukas, et al.
Pubblicazione: (2026)

Byzantine Fault Tolerant Protocols with Near-Constant Work per Node without Signatures
di: Schneider, Philipp
Pubblicazione: (2025)

Time- and Space-Optimal Silent Self-Stabilizing Exact Majority in Population Protocols
di: Kanaya, Haruki, et al.
Pubblicazione: (2025)

Sublinear-time Collision Detection with a Polynomial Number of States in Population Protocols
di: Araya, Takumi, et al.
Pubblicazione: (2024)

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
di: Castañeda, Armando, et al.
Pubblicazione: (2025)

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
di: Albouy, Timothé, et al.
Pubblicazione: (2026)

A Space-Time Trade-off for Fast Self-Stabilizing Leader Election in Population Protocols
di: Austin, Henry, et al.
Pubblicazione: (2025)

An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model
di: El-Hayek, Antoine, et al.
Pubblicazione: (2025)

Brief Announcement: Minimizing Energy Solves Relative Majority with a Cubic Number of States in Population Protocols
di: Breitkopf, Tom-Lukas, et al.
Pubblicazione: (2025)

Almost Time-Optimal Loosely-Stabilizing Leader Election on Arbitrary Graphs Without Identifiers in Population Protocols
di: Kanaya, Haruki, et al.
Pubblicazione: (2024)

Population Protocols for Exact Plurality Consensus -- How a small chance of failure helps to eliminate insignificant opinions
di: Bankhamer, Gregor, et al.
Pubblicazione: (2024)

Coefficient Synthesis for Threshold Automata
di: Balasubramanian, A. R.
Pubblicazione: (2023)

Hierarchical Observe-Orient-Decide-Act Enabled UAV Swarms in Uncertain Environments: Frameworks, Potentials, and Challenges
di: Jia, Ziye, et al.
Pubblicazione: (2026)

Selective Population Protocols
di: Gańczorz, Adam, et al.
Pubblicazione: (2023)

TACO: A Toolsuite for the Verification of Threshold Automata
di: Eichler, Paul, et al.
Pubblicazione: (2026)

Parallel AIG Refactoring via Conflict Breaking
di: Cai, Ye, et al.
Pubblicazione: (2024)

Reliable Replication Protocols on SmartNICs
di: Katebzadeh, M. R. Siavash, et al.
Pubblicazione: (2025)

3-Slot-Finality Protocol for Ethereum
di: D'Amato, Francesco, et al.
Pubblicazione: (2024)

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
di: Baumeister, Tom, et al.
Pubblicazione: (2024)

Truncated multiplication and batch software SIMD AVX512 implementation for faster Montgomery multiplications and modular exponentiation
di: Didier, Laurent-Stéphane, et al.
Pubblicazione: (2024)

Snow: Self-organizing Broadcast Protocol for Cloud
di: Tong, Chengkai
Pubblicazione: (2025)

Centroid Approximation with Multidimensional Approximate Agreement Protocols
di: Cambus, Melanie, et al.
Pubblicazione: (2023)

On Quorum Sizes in DAG-Based BFT Protocols
di: Ladelsky, Razya, et al.
Pubblicazione: (2025)

Slim-ABC: An Optimized Atomic Broadcast Protocol
di: Sony, Nasit S, et al.
Pubblicazione: (2024)

A Knowledge-Based Analysis of Intersection Protocols
di: Alpturer, Kaya, et al.
Pubblicazione: (2024)

SoK: DAG-based Consensus Protocols
di: Raikwar, Mayank, et al.
Pubblicazione: (2024)

Barycentric Coded Distributed Computing with Flexible Recovery Threshold for Collaborative Mobile Edge Computing
di: Qiu, Houming, et al.
Pubblicazione: (2025)

HYDRA: Breaking the Global Ordering Barrier in Multi-BFT Consensus
di: Lyu, Hanzheng, et al.
Pubblicazione: (2025)

A Survey on Application Layer Protocols for IoT Networks
di: Hmissi, Fatma, et al.
Pubblicazione: (2024)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
di: Esposito, Andrea, et al.
Pubblicazione: (2025)

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
di: D'Amato, Francesco, et al.
Pubblicazione: (2023)

Optimizing Communication in Byzantine Agreement Protocols with Slim-HBBFT
di: Sony, Nasit S, et al.
Pubblicazione: (2025)

A Unified CPU-GPU Protocol for GNN Training
di: Lin, Yi-Chien, et al.
Pubblicazione: (2024)

Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)
di: Heydari, Hasan, et al.
Pubblicazione: (2024)