Cover Image

Error-resilient Distributed Local Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Garncarek, Paweł, Jurdzinski, Tomasz, Kowalski, Dariusz, Pramanick, Subhajit
Format:	Preprint
Published:	2026
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beeping Deterministic CONGEST Algorithms in Graphs
by: Garncarek, Pawel, et al.
Published: (2025)

Optimal-Length Labeling Schemes for Fast Deterministic Communication in Radio Networks
by: Gańczorz, Adam, et al.
Published: (2024)

Near-Optimal Stability for Distributed Transaction Processing in Blockchain Sharding
by: Adhikari, Ramesh, et al.
Published: (2025)

Selective Population Protocols
by: Gańczorz, Adam, et al.
Published: (2023)

Uniform Partitioning of a Bounded Region using Opaque ASYNC Luminous Mobile Robots
by: Pramanick, Subhajit, et al.
Published: (2023)

Time-optimal Asynchronous Minimal Vertex Covering by Myopic Robots
by: Jana, Saswata, et al.
Published: (2025)

Byzantine-Resilient Population Protocols
by: Busch, Costas, et al.
Published: (2021)

Stable Blockchain Sharding under Adversarial Transaction Generation
by: Adhikari, Ramesh, et al.
Published: (2024)

Broadcasting on Adversarial Multiple Access Channels
by: Aldawsari, Bader A., et al.
Published: (2021)

Population Protocols Revisited: Parity and Beyond
by: Gąsieniec, Leszek, et al.
Published: (2025)

Asynchronous Gathering of Opaque Robots with Mobility Faults
by: Pramanick, Subhajit, et al.
Published: (2025)

Performance Comparison of Graph Representations Which Support Dynamic Graph Updates
by: Sahu, Subhajit
Published: (2025)

Applying Large-Scale Distributed Computing to Structural Bioinformatics -- Bridging Legacy HPC Clusters With Big Data Technologies Using kafka-slurm-agent
by: Rubach, Pawel
Published: (2025)

Deterministic Fault-Tolerant Local Load Balancing and its Applications against Adaptive Adversaries
by: Kowalski, Dariusz R., et al.
Published: (2025)

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

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

Distributed Computation with Local Advice
by: Balliu, Alkida, et al.
Published: (2024)

Communication-Efficient Distributed Learning with Local Immediate Error Compensation
by: Cheng, Yifei, et al.
Published: (2024)

Shared Randomness Helps with Local Distributed Problems
by: Balliu, Alkida, et al.
Published: (2024)

A Post-Quantum Lower Bound for the Distributed Lovász Local Lemma
by: Brandt, Sebastian, et al.
Published: (2025)

Data-Locality-Aware Task Assignment and Scheduling for Distributed Job Executions
by: Zhao, Hailiang, et al.
Published: (2024)

Locality, Not Spectral Mixing, Governs Direct Propagation in Distributed Offline Dynamic Programming
by: Shihab, Ibne Farabi
Published: (2026)

Flotilla: A scalable, modular and resilient federated learning framework for heterogeneous resources
by: Banerjee, Roopkatha, et al.
Published: (2025)

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

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

sAirflow: Adopting Serverless in a Legacy Workflow Scheduler
by: Mikina, Filip, 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)

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)

GRACE-MoE: Grouping and Replication with Locality-Aware Routing for Efficient Distributed MoE Inference
by: Han, Yu, et al.
Published: (2025)

Nearly-Optimal Consensus Tolerating Adaptive Omissions: Why is a Lot of Randomness Needed?
by: Hajiaghayi, Mohammad T., et al.
Published: (2024)

Understanding the Landscape of Ampere GPU Memory Errors
by: Zhu, Zhu, et al.
Published: (2025)

AerialDB: A Federated Peer-to-Peer Spatio-temporal Edge Datastore for Drone Fleets
by: Jaiswal, Shashwat, 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)

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

DRAM Errors and Cosmic Rays: Space Invaders or Science Fiction?
by: Boixaderas, Isaac, et al.
Published: (2024)

A Survey on Error-Bounded Lossy Compression for Scientific Datasets
by: Di, Sheng, et al.
Published: (2024)