Image de couverture de livre

TACO: A Toolsuite for the Verification of Threshold Automata

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Eichler, Paul, Baumeister, Tom, Sakr, Mouhammad, Dowlati, Mahboubeh Kalateh, Völp, Marcus, Jacobs, Swen
Format:	Preprint
Publié:	2026
Sujets:	Distributed, Parallel, and Cluster Computing
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
par: Baumeister, Tom, et autres
Publié: (2024)

Complexity of Verification and Synthesis of Threshold Automata
par: Balasubramanian, A. R., et autres
Publié: (2020)

Coefficient Synthesis for Threshold Automata
par: Balasubramanian, A. R.
Publié: (2023)

Tolerating Disasters with Hierarchical Consensus
par: Yahyaoui, Wassim, et autres
Publié: (2025)

CAT: Cellular Automata on Tensor cores
par: Navarro, Cristóbal A., et autres
Publié: (2024)

TACO: Efficient Communication Compression of Intermediate Tensors for Scalable Tensor-Parallel LLM Training
par: Liu, Man, et autres
Publié: (2026)

Error-resilient Distributed Local Verification
par: Garncarek, Paweł, et autres
Publié: (2026)

Model Input Verification of Large Scale Simulations
par: Neykova, Rumyana, et autres
Publié: (2024)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
par: Furbach, Florian, et autres
Publié: (2026)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
par: Esposito, Andrea, et autres
Publié: (2025)

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
par: Castañeda, Armando, et autres
Publié: (2023)

Barycentric Coded Distributed Computing with Flexible Recovery Threshold for Collaborative Mobile Edge Computing
par: Qiu, Houming, et autres
Publié: (2025)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
par: Popovic, Miroslav, et autres
Publié: (2024)

Towards Efficient Verification of Parallel Applications with Mc SimGrid
par: Laurent, Matthieu, et autres
Publié: (2025)

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

Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)
par: Heydari, Hasan, et autres
Publié: (2024)

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
par: Castañeda, Armando, et autres
Publié: (2025)

SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study
par: Osterhout, Andrew, et autres
Publié: (2025)

Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs
par: Ren, Pengkun, et autres
Publié: (2025)

When Agents are Powerful: Black Hole Search with Verification in Time-Varying Graphs
par: Kaur, Tanvir, et autres
Publié: (2025)

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
par: Popovic, Miroslav, et autres
Publié: (2025)

PlantD: Performance, Latency ANalysis, and Testing for Data Pipelines -- An Open Source Measurement, Testing, and Simulation Framework
par: Bogart, Christopher, et autres
Publié: (2025)

Threshold-Driven Streaming Graph: Expansion and Rumor Spreading
par: Angileri, Flora, et autres
Publié: (2025)

A Scalable State Sharing Protocol for Low-Resource Validator Nodes in Blockchain Networks
par: Hias, Ruben, et autres
Publié: (2024)

A Space-Time Trade-off for Fast Self-Stabilizing Leader Election in Population Protocols
par: Austin, Henry, et autres
Publié: (2025)

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

Cross-Layer Energy Analysis of Multimodal Training on Grace Hopper Superchips
par: Ahmed, Mahmoud, et autres
Publié: (2026)

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

An Asynchronous Many-Task Algorithm for Unstructured $S_{N}$ Transport on Shared Memory Systems
par: Elwood, Alex, et autres
Publié: (2025)

Ranking Opinions with Few States in Population Protocols
par: Breitkopf, Tom-Lukas, et autres
Publié: (2026)

Wilkins: HPC In Situ Workflows Made Easy
par: Yildiz, Orcun, et autres
Publié: (2024)

Brief Announcement: Minimizing Energy Solves Relative Majority with a Cubic Number of States in Population Protocols
par: Breitkopf, Tom-Lukas, et autres
Publié: (2025)

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

The Semantic Arrow of Time, Part IV: Why Transactions Fail
par: Borrill, Paul
Publié: (2026)

The Markovianity of Time: The Category Mistake in Open Quantum Systems
par: Borrill, Paul
Publié: (2026)

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

The Semantic Arrow of Time, Part II: The Semantics of Open Atomic Ethernet
par: Borrill, Paul
Publié: (2026)

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

The Semantic Arrow of Time, Part III: RDMA and the Completion Fallacy
par: Borrill, Paul
Publié: (2026)

Unix Tools and the FITO Category Mistake: Crash Consistency and the Protocol Nature of Persistence
par: Borrill, Paul
Publié: (2026)