:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Eichler, Paul, Baumeister, Tom, Sakr, Mouhammad, Dowlati, Mahboubeh Kalateh, Völp, Marcus, Jacobs, Swen
Format:	Preprint
Published:	2026
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	https://arxiv.org/abs/2605.06118
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Tolerating Disasters with Hierarchical Consensus
by: Yahyaoui, Wassim, et al.
Published: (2025)

Coefficient Synthesis for Threshold Automata
by: Balasubramanian, A. R.
Published: (2023)

TACO: Efficient Communication Compression of Intermediate Tensors for Scalable Tensor-Parallel LLM Training
by: Liu, Man, et al.
Published: (2026)

CAT: Cellular Automata on Tensor cores
by: Navarro, Cristóbal A., et al.
Published: (2024)

Error-resilient Distributed Local Verification
by: Garncarek, Paweł, et al.
Published: (2026)

Model Input Verification of Large Scale Simulations
by: Neykova, Rumyana, et al.
Published: (2024)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
by: Furbach, Florian, et al.
Published: (2026)

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

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023)

PlantD: Performance, Latency ANalysis, and Testing for Data Pipelines -- An Open Source Measurement, Testing, and Simulation Framework
by: Bogart, Christopher, et al.
Published: (2025)

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

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

Towards Efficient Verification of Parallel Applications with Mc SimGrid
by: Laurent, Matthieu, et al.
Published: (2025)

Breaking through the $Ω(n)$-space barrier: Population Protocols Decide Double-exponential Thresholds
by: Czerner, Philipp
Published: (2022)

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

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

SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study
by: Osterhout, Andrew, et al.
Published: (2025)

Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs
by: Ren, Pengkun, et al.
Published: (2025)

When Agents are Powerful: Black Hole Search with Verification in Time-Varying Graphs
by: Kaur, Tanvir, et al.
Published: (2025)

Threshold-Driven Streaming Graph: Expansion and Rumor Spreading
by: Angileri, Flora, et al.
Published: (2025)

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
by: Popovic, Miroslav, et al.
Published: (2025)

A Scored Non-Deterministic Finite Automata Processor for Sequence Alignment
by: Karakchi, Ryan Karbowniczak Rasha
Published: (2024)

A Scalable State Sharing Protocol for Low-Resource Validator Nodes in Blockchain Networks
by: Hias, Ruben, et al.
Published: (2024)

Cross-Layer Energy Analysis of Multimodal Training on Grace Hopper Superchips
by: Ahmed, Mahmoud, et al.
Published: (2026)

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

An Asynchronous Many-Task Algorithm for Unstructured $S_{N}$ Transport on Shared Memory Systems
by: Elwood, Alex, et al.
Published: (2025)

The Latency Price of Threshold Cryptosystem in Blockchains
by: Xiang, Zhuolun, et al.
Published: (2024)

The Forward-In-Time-Only Assumption in SmartNIC Resource Management: A Critique of Wave and the Case for Bilateral Interaction
by: Borrill, Paul
Published: (2026)

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

Wilkins: HPC In Situ Workflows Made Easy
by: Yildiz, Orcun, et al.
Published: (2024)

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

SPIN: Accelerating Large Language Model Inference with Heterogeneous Speculative Models
by: Chen, Fahao, et al.
Published: (2025)

The Ghost in the Datacenter: Link Flapping, Topology Knowledge Failures, and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)

The Semantic Arrow of Time, Part IV: Why Transactions Fail
by: Borrill, Paul
Published: (2026)

The Markovianity of Time: The Category Mistake in Open Quantum Systems
by: Borrill, Paul
Published: (2026)

Why Atomicity Matters to AI/ML Infrastructure: Snapshots, Firmware Updates, and the Cost of the Forward-In-Time-Only Category Mistake
by: Borrill, Paul
Published: (2026)

The Semantic Arrow of Time, Part II: The Semantics of Open Atomic Ethernet
by: Borrill, Paul
Published: (2026)

The Semantic Arrow of Time, Part V: The Leibniz Bridge -- Toward a Unified Theory of Semantic Time
by: Borrill, Paul
Published: (2026)