Imagen de Portada

TACO: A Toolsuite for the Verification of Threshold Automata

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Eichler, Paul, Baumeister, Tom, Sakr, Mouhammad, Dowlati, Mahboubeh Kalateh, Völp, Marcus, Jacobs, Swen
Formato:	Preprint
Publicado:	2026
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Coefficient Synthesis for Threshold Automata
por: Balasubramanian, A. R.
Publicado: (2023)

Tolerating Disasters with Hierarchical Consensus
por: Yahyaoui, Wassim, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Semantic Arrow of Time, Part III: RDMA and the Completion Fallacy
por: Borrill, Paul
Publicado: (2026)

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