Buchumschlag

Shipwright: Proving liveness of distributed systems with Byzantine participants

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leung, Derek, Zeldovich, Nickolai, Kaashoek, Frans
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Distributed, Parallel, and Cluster Computing D.2.4; C.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
von: Antunes, Diogo S., et al.
Veröffentlicht: (2024)

Verifying In-Network Computing Systems for Design Risks
von: Bai, Tianyu, et al.
Veröffentlicht: (2026)

Laminar: A Probe-First Scheduling Paradigm with Deterministic Runtime Survival
von: Chu, Zhengyan
Veröffentlicht: (2026)

Rank-Aware Resource Scheduling for Tightly-Coupled MPI Workloads on Kubernetes
von: Xie, Tianfang
Veröffentlicht: (2026)

Trident: Adaptive Scheduling for Heterogeneous Multimodal Data Pipelines
von: Pan, Ding, et al.
Veröffentlicht: (2026)

dpBento: Benchmarking DPUs for Data Processing
von: Hu, Jiasheng, et al.
Veröffentlicht: (2025)

Data Race Satisfiability on Array Elements
von: Shim, Junhyung, et al.
Veröffentlicht: (2025)

Distributed Recoverable Sketches (Extended Version)
von: Cohen, Diana, et al.
Veröffentlicht: (2025)

NotebookOS: A Replicated Notebook Platform for Interactive Training with On-Demand GPUs
von: Carver, Benjamin, et al.
Veröffentlicht: (2025)

Using a Market Economy to Provision Compute Resources Across Planet-wide Clusters
von: Stokely, Murray, et al.
Veröffentlicht: (2025)

Dodoor: Efficient Randomized Decentralized Scheduling with Load Caching for Heterogeneous Tasks and Clusters
von: Da, Wei, et al.
Veröffentlicht: (2025)

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

Intersections of Web3 and AI -- View in 2024
von: Hyland-Wood, David, et al.
Veröffentlicht: (2024)

Artifact Evaluation for Distributed Systems: Current Practices and Beyond
von: Sedghpour, Mohammad Reza Saleh, et al.
Veröffentlicht: (2024)

Generic Multicast (Extended Version)
von: Bolina, José Augusto, et al.
Veröffentlicht: (2024)

FCDP: Fully Cached Data Parallel for Communication-Avoiding Large-Scale Training
von: Park, Gyeongseo, et al.
Veröffentlicht: (2026)

DDS: DPU-optimized Disaggregated Storage [Extended Report]
von: Zhang, Qizhen, et al.
Veröffentlicht: (2024)

Advocate -- Trustworthy Evidence in Cloud Systems
von: Werner, Sebastian, et al.
Veröffentlicht: (2024)

Operational Memory Architecture for Kubernetes:Preserving Causal Context Across the Evidence Horizon
von: Khan, Shamsher
Veröffentlicht: (2026)

OPTIMUMP2P: Fast and Reliable Gossiping in P2P Networks
von: Nicolaou, Nicolas, et al.
Veröffentlicht: (2025)

Designing Scalable Rate Limiting Systems: Algorithms, Architecture, and Distributed Solutions
von: Guan, Bo
Veröffentlicht: (2026)

Impact of Network Topology on Byzantine Resilience in Decentralized Federated Learning
von: Bhattacharya, Siddhartha, et al.
Veröffentlicht: (2024)

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
von: Ahmadvand, Mohsen, et al.
Veröffentlicht: (2026)

Privacy-Aware Split Inference with Speculative Decoding for Large Language Models over Wide-Area Networks
von: Cunningham, Michael
Veröffentlicht: (2026)

Cloud Uptime Archive: Open-Access Availability Data of Web, Cloud, and Gaming Services
von: Talluri, Sacheendra, et al.
Veröffentlicht: (2025)

Heuristic Search Space Partitioning for Low-Latency Multi-Tenant Cloud Queries
von: Pathak, Prashant Kumar, et al.
Veröffentlicht: (2026)

DPDPU: Data Processing with DPUs
von: Hu, Jiasheng, et al.
Veröffentlicht: (2024)

Characterizing and Fixing Silent Data Loss in Spark-on-AWS-Lambda with Open Table Formats
von: Gandla, Srujan Kumar
Veröffentlicht: (2026)

Construction of a Byzantine Linearizable SWMR Atomic Register from SWSR Atomic Registers
von: Kshemkalyani, Ajay D., et al.
Veröffentlicht: (2024)

Knowledge Graphs-Driven Intelligence for Distributed Decision Systems
von: Napoli, Rosario, et al.
Veröffentlicht: (2026)

Analysis of Design Patterns and Benchmark Practices in Apache Kafka Event-Streaming Systems
von: Mohammad, Muzeeb
Veröffentlicht: (2025)

Decoupling Adaptive Control in TeaStore
von: Truyen, Eddy
Veröffentlicht: (2025)

Complex Event Processing in the Edge: A Combined Optimization Approach for Data and Code Placement
von: Uyanık, Halit, et al.
Veröffentlicht: (2026)

GPUnion: Autonomous GPU Sharing on Campus
von: Li, Yufang, et al.
Veröffentlicht: (2025)

Studying the Effect of Schedule Preemption on Dynamic Task Graph Scheduling
von: Khodabandehlou, Mohammadali, et al.
Veröffentlicht: (2026)

Cognitive Infrastructure: A Unified DCIM Framework for AI Data Centers
von: Sunkara, Krishna Chaitanya
Veröffentlicht: (2026)

Shaved Ice: Optimal Compute Resource Commitments for Dynamic Multi-Cloud Workloads
von: Stokely, Murray, et al.
Veröffentlicht: (2025)

NimbusGuard: A Novel Framework for Proactive Kubernetes Autoscaling Using Deep Q-Networks
von: Wanigasooriya, Chamath, et al.
Veröffentlicht: (2026)

Implementation and Evaluation of Fast Raft for Hierarchical Consensus
von: Melnychuk, Anton, et al.
Veröffentlicht: (2025)

A Preliminary Model of Coordination-free Consistency
von: Li, Shulu, et al.
Veröffentlicht: (2025)