Imagen de Portada

A Sheaf-Theoretic Characterization of Tasks in Distributed Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Felber, Stephan, Flores, Bernardo Hummes, Galeana, Hugo Rincon
Formato:	Preprint
Publicado:	2025
Materias:	Distributed, Parallel, and Cluster Computing Category Theory C.2.4; F.1.0
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Stabilizing Consensus is Impossible in Lossy Iterated Immediate Snapshot Models
por: Felber, Stephan, et al.
Publicado: (2024)

Topological Characterization of Stabilizing Consensus
por: Schmid, Ulrich, et al.
Publicado: (2024)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
por: Cignarale, Giorgio, et al.
Publicado: (2024)

A Preliminary Model of Coordination-free Consistency
por: Li, Shulu, et al.
Publicado: (2025)

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems
por: Galeana, Hugo Rincon, et al.
Publicado: (2023)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
por: Cignarale, Giorgio, et al.
Publicado: (2025)

Relaxation for Efficient Asynchronous Queues
por: Baldwin, Samuel, et al.
Publicado: (2025)

Artifact Evaluation for Distributed Systems: Current Practices and Beyond
por: Sedghpour, Mohammad Reza Saleh, et al.
Publicado: (2024)

Distributed Recoverable Sketches (Extended Version)
por: Cohen, Diana, et al.
Publicado: (2025)

Dodoor: Efficient Randomized Decentralized Scheduling with Load Caching for Heterogeneous Tasks and Clusters
por: Da, Wei, et al.
Publicado: (2025)

Parallel/Distributed Tabu Search for Scheduling Microprocessor Tasks in Hybrid Flowshop
por: Janiak, Adam, et al.
Publicado: (2025)

Knowledge Graphs-Driven Intelligence for Distributed Decision Systems
por: Napoli, Rosario, et al.
Publicado: (2026)

SkyNomad: On Using Multi-Region Spot Instances to Minimize AI Batch Job Cost
por: Li, Zhifei, et al.
Publicado: (2026)

Intersections of Web3 and AI -- View in 2024
por: Hyland-Wood, David, et al.
Publicado: (2024)

NotebookOS: A Replicated Notebook Platform for Interactive Training with On-Demand GPUs
por: Carver, Benjamin, et al.
Publicado: (2025)

Using a Market Economy to Provision Compute Resources Across Planet-wide Clusters
por: Stokely, Murray, et al.
Publicado: (2025)

Generic Multicast (Extended Version)
por: Bolina, José Augusto, et al.
Publicado: (2024)

FCDP: Fully Cached Data Parallel for Communication-Avoiding Large-Scale Training
por: Park, Gyeongseo, et al.
Publicado: (2026)

Shipwright: Proving liveness of distributed systems with Byzantine participants
por: Leung, Derek, et al.
Publicado: (2025)

Studying the Effect of Schedule Preemption on Dynamic Task Graph Scheduling
por: Khodabandehlou, Mohammadali, et al.
Publicado: (2026)

Verifying In-Network Computing Systems for Design Risks
por: Bai, Tianyu, et al.
Publicado: (2026)

OPTIMUMP2P: Fast and Reliable Gossiping in P2P Networks
por: Nicolaou, Nicolas, et al.
Publicado: (2025)

dpBento: Benchmarking DPUs for Data Processing
por: Hu, Jiasheng, et al.
Publicado: (2025)

Cloud Uptime Archive: Open-Access Availability Data of Web, Cloud, and Gaming Services
por: Talluri, Sacheendra, et al.
Publicado: (2025)

How Machine Learning-Data Driven Replication Strategies Enhance Fault Tolerance in Large-Scale Distributed Systems
por: Murimi, Almond Kiruthu
Publicado: (2025)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
por: Konnov, Igor, et al.
Publicado: (2025)

NimbusGuard: A Novel Framework for Proactive Kubernetes Autoscaling Using Deep Q-Networks
por: Wanigasooriya, Chamath, et al.
Publicado: (2026)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
por: Antunes, Diogo S., et al.
Publicado: (2024)

Laminar: A Probe-First Scheduling Paradigm with Deterministic Runtime Survival
por: Chu, Zhengyan
Publicado: (2026)

Rank-Aware Resource Scheduling for Tightly-Coupled MPI Workloads on Kubernetes
por: Xie, Tianfang
Publicado: (2026)

Trident: Adaptive Scheduling for Heterogeneous Multimodal Data Pipelines
por: Pan, Ding, et al.
Publicado: (2026)

Proof of Useful Attestation: A Consensus Primitive for Attestation-Native Chains
por: Stefanović, Stefan
Publicado: (2026)

A trustless society? A political look at the blockchain vision
por: Rehak, Rainer
Publicado: (2024)

Scalable Genomic Context Analysis with GCsnap2 on HPC Clusters
por: Krummenacher, Reto, et al.
Publicado: (2025)

Commitment Against Front Running Attacks
por: Canidio, Andrea, et al.
Publicado: (2023)

A Comprehensive Survey on Orbital Edge Computing: Systems, Applications, and Algorithms
por: Wu, Changhao, et al.
Publicado: (2023)

GPUnion: Autonomous GPU Sharing on Campus
por: Li, Yufang, et al.
Publicado: (2025)

Deadline-Aware Joint Task Scheduling and Offloading in Mobile Edge Computing Systems
por: Nguyen, Ngoc Hung, et al.
Publicado: (2025)

ACME: Adaptive Customization of Large Models via Distributed Systems
por: Dai, Ziming, et al.
Publicado: (2025)

An HPC Benchmark Survey and Taxonomy for Characterization
por: Herten, Andreas, et al.
Publicado: (2025)