Cover Image

Proving there is a leader without naming it

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feuilloley, Laurent, Sedláček, Josef Erik, Slávik, Martin
Format:	Preprint
Published:	2025
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

Decreasing verification radius in local certification
by: Feuilloley, Laurent, et al.
Published: (2024)

Polynomial Time Local Decision Revisited
by: Feuilloley, Laurent, et al.
Published: (2026)

How local constraints influence network diameter and applications to LCL generalizations
by: Bousquet, Nicolas, et al.
Published: (2024)

Global certification via perfect hashing
by: Bousquet, Nicolas, et al.
Published: (2024)

CrowdProve: Community Proving for ZK Rollups
by: Stephan, John, et al.
Published: (2025)

Proving Highly-Concurrent Traversals Correct
by: Feldman, Yotam M. Y., et al.
Published: (2020)

Complexity landscape for local certification
by: Bousquet, Nicolas, et al.
Published: (2025)

Lower bound for constant-size local certification
by: Martínez, Virgina Ardévol, et al.
Published: (2022)

Renaming in distributed certification
by: Bousquet, Nicolas, et al.
Published: (2024)

Local certification of forbidden subgraphs
by: Bousquet, Nicolas, et al.
Published: (2024)

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

Practical Federated Learning without a Server
by: Dhasade, Akash, et al.
Published: (2025)

Optimizing Hardware Resource Partitioning and Job Allocations on Modern GPUs under Power Caps
by: Arima, Eishi, et al.
Published: (2024)

Optimizing Robot Dispersion on Grids: with and without Fault Tolerance
by: Banerjee, Rik, et al.
Published: (2024)

The Renoir Dataflow Platform: Efficient Data Processing without Complexity
by: De Martini, Luca, et al.
Published: (2023)

Inference without Interference: Disaggregate LLM Inference for Mixed Downstream Workloads
by: Hu, Cunchen, et al.
Published: (2024)

DEEP: Edge-based Dataflow Processing with Hybrid Docker Hub and Regional Registries
by: Mehran, Narges, et al.
Published: (2025)

CHIRON: Accelerating Node Synchronization without Security Trade-offs in Distributed Ledgers
by: Neiheiser, Ray, et al.
Published: (2024)

LA-IMR: Latency-Aware, Predictive In-Memory Routing and Proactive Autoscaling for Tail-Latency-Sensitive Cloud Robotics
by: Seo, Eunil, et al.
Published: (2025)

Silent Failures in Stateless Systems: Rethinking Anomaly Detection for Serverless Computing
by: Nguyen, Chanh, et al.
Published: (2025)

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

Gathering in Vertex- and Edge-Transitive Graphs without Multiplicity Detection under Round Robin
by: Cicerone, Serafino, et al.
Published: (2025)

Reliability is Blind: Collective Incentives for Decentralized Computing Marketplaces without Individual Behavior Information
by: Mont, Henry, et al.
Published: (2025)

Distance-based certification for leader election in meshed graphs and local recognition of their subclasses
by: Chalopin, Jérémie, et al.
Published: (2026)

Workload Buoyancy: Keeping Apps Afloat by Identifying Shared Resource Bottlenecks
by: Larsson, Oliver, et al.
Published: (2026)

Residue Number System Comparison revisited, a software perspective
by: Didier, Laurent-Stéphane, et al.
Published: (2026)

Optimising Virtual Resource Mapping in Multi-Level NUMA Disaggregated Systems
by: Lakew, Ewnetu Bayuh, et al.
Published: (2025)

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

A retrospective on DISPEED -- Leveraging heterogeneity in a drone swarm for IDS execution
by: Lannurien, Vincent, et al.
Published: (2025)

On the Performance of Cloud-based ARM SVE for Zero-Knowledge Proving Systems
by: Loghin, Dumitrel, et al.
Published: (2025)

Over-the-Air Federated Learning with Phase Noise: Analysis and Countermeasures
by: Dahl, Martin, et al.
Published: (2024)

Design Principles of Dynamic Resource Management for High-Performance Parallel Programming Models
by: Huber, Dominik, et al.
Published: (2024)

Static task mapping for heterogeneous systems based on series-parallel decompositions
by: Wilhelm, Martin, et al.
Published: (2025)

Extending JSON CRDTs with Move Operations
by: Da, Liangrun, et al.
Published: (2023)

Undo and Redo Support for Replicated Registers
by: Stewen, Leo, et al.
Published: (2024)

Lessons Learned on the Path to Guaranteeing the Error Bound in Lossy Quantizers
by: Fallin, Alex, et al.
Published: (2024)

WANSpec: Leveraging Global Compute Capacity for LLM Inference
by: Martin, Noah, et al.
Published: (2026)

Fault-tolerant Reduce and Allreduce operations based on correction
by: Kuettler, Martin, et al.
Published: (2026)

Collaborative Text Editing with Eg-walker: Better, Faster, Smaller
by: Gentle, Joseph, et al.
Published: (2024)

A Rollup Comparison Framework
by: Gorzny, Jan, et al.
Published: (2024)