Cover Image

Stone Duality Proofs for Colorless Distributed Computability Theorems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Calk, Cameron, Godard, Emmanuel
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

A General Input-Dependent Colorless Computability Theorem and Applications to Core-Dependent Adversaries
by: Coutouly, Yannis, et al.
Published: (2025)

Colorless Tasks and Extension-Based Proofs
by: Shi, Yusong, et al.
Published: (2023)

Leveraging Structural Knowledge for Solving Election in Anonymous Networks with Shared Randomness
by: Chalopin, Jérémie, et al.
Published: (2026)

Persistent homology of partially ordered spaces
by: Calk, Cameron, et al.
Published: (2023)

Distributed Statistical Zero-Knowledge Proofs via Sumcheck
by: Jauregui, Benjamin, et al.
Published: (2026)

Supervised Distributed Computing
by: Augustine, John, et al.
Published: (2025)

Distributed Genetic Algorithm for Feature Selection
by: Potter, Michael, et al.
Published: (2024)

Fairness in Proof of Team Sprint (PoTS): Evaluating Reward Distribution Across Performance Levels
by: Yonezawa, Naoki
Published: (2025)

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

The Singular Optimality of Distributed Computation in LOCAL
by: Dufoulon, Fabien, et al.
Published: (2024)

Distributed Load Orchestration for Vision Computing in Multi-Access Edge Computing
by: Boing, Ricardo N., et al.
Published: (2022)

AI Surrogate Model for Distributed Computing Workloads
by: Park, David K., et al.
Published: (2024)

On the Power of Quantum Distributed Proofs
by: Hasegawa, Atsuya, et al.
Published: (2024)

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

A Quick and Exact Method for Distributed Quantile Computation
by: Cao, Ivan, et al.
Published: (2025)

Task Scheduling in Geo-Distributed Computing: A Survey
by: Wu, Yujian, et al.
Published: (2025)

Toward Heterogeneous, Distributed, and Energy-Efficient Computing with SYCL
by: Cosenza, Biagio, et al.
Published: (2025)

Distributed On-Device LLM Inference With Over-the-Air Computation
by: Zhang, Kai, et al.
Published: (2025)

Data Management System Analysis for Distributed Computing Workloads
by: Hsu, Kuan-Chieh, et al.
Published: (2025)

Exploiting Stragglers in Distributed Computing Systems with Task Grouping
by: Adikari, Tharindu, et al.
Published: (2024)

Composing Distributed Computations Through Task and Kernel Fusion
by: Yadav, Rohan, et al.
Published: (2024)

Scheduling of Distributed Applications on the Computing Continuum: A Survey
by: Mehran, Narges, et al.
Published: (2024)

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

Performance and Security Aware Distributed Service Placement in Fog Computing
by: Goudarzi, Mohammad, et al.
Published: (2026)

Lagom: Unleashing the Power of Communication and Computation Overlapping for Distributed LLM Training
by: Xu, Guanbin, et al.
Published: (2026)

Sparsity-Preserving Encodings for Straggler-Optimal Distributed Matrix Computations at the Edge
by: Das, Anindya Bijoy, et al.
Published: (2024)

On-the-fly Communication-and-Computing to Enable Representation Learning for Distributed Point Clouds
by: Chen, Xu, et al.
Published: (2024)

Privacy-Preserving Coding Schemes for Multi-Access Distributed Computing Models
by: Sasi, Shanuja
Published: (2026)

A Uniqueness Theorem for Distributed Computation under Physical Constraint
by: Ren, Zhiyuan, et al.
Published: (2025)

Circumventing the CAP Theorem with Open Atomic Ethernet
by: Borrill, Paul
Published: (2026)

Distributed Non-Interactive Zero-Knowledge Proofs
by: Grilo, Alex B., et al.
Published: (2025)

Comparative Analysis of Lightweight Kubernetes Distributions for Edge Computing: Performance and Resource Efficiency
by: Yakubov, Diyaz, et al.
Published: (2025)

An Explorative Study on Distributed Computing Techniques in Training and Inference of Large Language Models
by: Hakim, Sheikh Azizul, et al.
Published: (2025)

Approximated Coded Computing: Towards Fast, Private and Secure Distributed Machine Learning
by: Qiu, Houming, et al.
Published: (2024)

Supervised Distributed Computing: Efficiency and Robustness under a Majority of Adversarial Workers
by: Augustine, John, et al.
Published: (2026)

Octopus: Experiences with a Hybrid Event-Driven Architecture for Distributed Scientific Computing
by: Pan, Haochen, et al.
Published: (2024)

Proof-of-Behavior: Behavior-Driven Consensus for Trustworthy Decentralized Finance
by: Borjigin, Ailiya, et al.
Published: (2025)

Interactive Visualization of Proof-of-Work Consensus Protocol on Raspberry Pi
by: Ivashkevich, Anton, et al.
Published: (2025)

Proof of Commitment: A Human-Centric Resource for Permissionless Consensus
by: Maleki, Homayoun, et al.
Published: (2026)

Distributed Discrete Morse Sandwich: Efficient Computation of Persistence Diagrams for Massive Scalar Data
by: Guillou, Eve Le, et al.
Published: (2025)