Cover Image

Decreasing verification radius in local certification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Feuilloley, Laurent, Janoušek, Jan, Křišťan, Jan Matyáš, Sedláček, Josef Erik
Format:	Preprint
Published:	2024
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

Proving there is a leader without naming it
by: Feuilloley, Laurent, et al.
Published: (2025)

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

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

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

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

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

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

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

Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Layout-Agnostic MPI Abstraction for Distributed Computing in Modern C++
by: Klepl, Jiří, et al.
Published: (2025)

Optimal local certification on graphs of bounded pathwidth
by: Baterisna, Dan Alden, 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)

Permuting Transactions in Ethereum Blocks: An Empirical Study
by: Droll, Jan
Published: (2025)

Efficient Column-Wise N:M Pruning on RISC-V CPU
by: Chu, Chi-Wei, et al.
Published: (2025)

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

Solutions for Distributed Memory Access Mechanism on HPC Clusters
by: Meizner, Jan, et al.
Published: (2025)

Effective implementation of the High Performance Conjugate Gradient benchmark on GraphBLAS
by: Scolari, Alberto, et al.
Published: (2023)

Fair Kernel-Lock-Free Claim/Release Protocol for Shared Object Access in Cooperatively Scheduled Runtimes
by: Chalmers, Kevin, et al.
Published: (2025)

MAGNUS: Generating Data Locality to Accelerate Sparse Matrix-Matrix Multiplication on CPUs
by: Wolfson-Pou, Jordi, et al.
Published: (2025)

Reductions in local certification
by: Esperet, Louis, et al.
Published: (2025)

Stardust: A Scalable and Extensible Simulator for the 3D Continuum
by: Pusztai, Thomas, et al.
Published: (2025)

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

Nonlinear spectral clustering with C++ GraphBLAS
by: Pasadakis, Dimosthenis, et al.
Published: (2026)

Towards observability of scientific applications
by: Balis, Bartosz, et al.
Published: (2024)

Tutoring LLM into a Better CUDA Optimizer
by: Brabec, Matyáš, et al.
Published: (2025)

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

Privacy-Preserving Sharing of Data Analytics Runtime Metrics for Performance Modeling
by: Will, Jonathan, et al.
Published: (2024)

FastGraph: Optimized GPU-Enabled Algorithms for Fast Graph Building and Message Passing
by: Agarwal, Aarush, et al.
Published: (2025)

Optimizing Hardware Resource Partitioning and Job Allocations on Modern GPUs under Power Caps
by: Arima, Eishi, 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)

ARRC: Explainable, Workflow-Integrated Recommender for Sustainable Resource Optimization Across the Edge-Cloud Continuum
by: Jahnke, Brian-Frederik, et al.
Published: (2025)

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

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

Local problems in trees across a wide range of distributed models
by: Dhar, Anubhav, et al.
Published: (2024)

HiCR, an Abstract Model for Distributed Heterogeneous Programming
by: Martin, Sergio Miguel, et al.
Published: (2025)

A Privacy-Preserving Ecosystem for Developing Machine Learning Algorithms Using Patient Data: Insights from the TUM.ai Makeathon
by: Süwer, Simon, et al.
Published: (2025)

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

Microarchitectural comparison and in-core modeling of state-of-the-art CPUs: Grace, Sapphire Rapids, and Genoa
by: Laukemann, Jan, et al.
Published: (2024)

Towards singular optimality in the presence of local initial knowledge
by: Ji, Hongyan, et al.
Published: (2024)