Cover Image

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Galeana, Hugo Rincon, Schmid, Ulrich
Format:	Preprint
Published:	2023
Subjects:	Distributed, Parallel, and Cluster Computing Discrete Mathematics Logic in Computer Science C.2.4; G.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Topological Characterization of Stabilizing Consensus
by: Schmid, Ulrich, et al.
Published: (2024)

In search of the lost tree: Hardness and relaxation of spanning trees in temporal graphs
by: Casteigts, Arnaud, et al.
Published: (2023)

Simple, strict, proper, happy: A study of reachability in temporal graphs
by: Casteigts, Arnaud, et al.
Published: (2022)

Generalizing Brooks' theorem via Partial Coloring is Hard Classically and Locally
by: Bok, Jan, et al.
Published: (2025)

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

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

Topology-Based Reconstruction Prevention for Decentralised Learning
by: Dekker, Florine W., et al.
Published: (2023)

A Sheaf-Theoretic Characterization of Tasks in Distributed Systems
by: Felber, Stephan, et al.
Published: (2025)

GenTT: Generate Vectorized Codes for General Tensor Permutation
by: Chen, Yaojian, et al.
Published: (2025)

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

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

Pioplat: A Scalable, Low-Cost Framework for Latency Reduction in Ethereum Blockchain
by: Wang, Ke, et al.
Published: (2024)

Distributed Recoverable Sketches (Extended Version)
by: Cohen, Diana, et al.
Published: (2025)

Combining Serverless and High-Performance Computing Paradigms to support ML Data-Intensive Applications
by: Staylor, Mills, et al.
Published: (2025)

Deep RC: A Scalable Data Engineering and Deep Learning Pipeline
by: Sarker, Arup Kumar, et al.
Published: (2025)

Design and Implementation of an Analysis Pipeline for Heterogeneous Data
by: Sarker, Arup Kumar, et al.
Published: (2024)

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

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

Clock Synchronization Is Almost Impossible with Bounded Memory
by: Charron-Bost, Bernadette, et al.
Published: (2024)

Asynchronous 3-Majority Dynamics with Many Opinions
by: Cooper, Colin, et al.
Published: (2024)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

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

A Tight Meta-theorem for LOCAL Certification of MSO$_2$ Properties within Bounded Treewidth Graphs
by: Cook, Linda, et al.
Published: (2025)

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

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

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

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

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

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

Data Race Satisfiability on Array Elements
by: Shim, Junhyung, et al.
Published: (2025)

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

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

Asynchronous Cooperative Optimization of a Capacitated Vehicle Routing Problem Solution
by: Accorsi, Luca, et al.
Published: (2025)

Amnesiac Flooding: Easy to break, hard to escape
by: Austin, Henry, et al.
Published: (2025)

Scalable overset computation between a forest-of-octrees- and an arbitrary distributed parallel mesh
by: Brandt, Hannes, et al.
Published: (2026)

Theseus: A Distributed and Scalable GPU-Accelerated Query Processing Platform Optimized for Efficient Data Movement
by: Aramburú, Felipe, et al.
Published: (2025)

Relaxation for Efficient Asynchronous Queues
by: Baldwin, Samuel, et al.
Published: (2025)

On the Node-Averaged Complexity of Locally Checkable Problems on Trees
by: Balliu, Alkida, et al.
Published: (2023)

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