Buchumschlag

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Castañeda, Armando, Rodríguez, Gilde Valeria
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
von: Castañeda, Armando, et al.
Veröffentlicht: (2023)

Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs
von: Balliu, Alkida, et al.
Veröffentlicht: (2024)

Fault-Tolerant Decentralized Distributed Asynchronous Federated Learning with Adaptive Termination Detection
von: Akkinepally, Phani Sahasra, et al.
Veröffentlicht: (2025)

Approximate Byzantine Fault-Tolerance in Distributed Optimization
von: Liu, Shuo, et al.
Veröffentlicht: (2021)

Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models
von: Attiya, Hagit, et al.
Veröffentlicht: (2025)

Beyond Optimal Fault Tolerance
von: Lewis-Pye, Andrew, et al.
Veröffentlicht: (2025)

On Fault Tolerance of Data Storage Systems: A Holistic Perspective
von: Zheng, Mai, et al.
Veröffentlicht: (2025)

Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs
von: Frey, Davide, et al.
Veröffentlicht: (2023)

Radiation Hydrodynamics at Scale: Comparing MPI and Asynchronous Many-Task Runtimes with FleCSI
von: Strack, Alexander, et al.
Veröffentlicht: (2026)

Byzantine Fault Tolerant Causal Ordering
von: Misra, Anshuman, et al.
Veröffentlicht: (2021)

Chameleon: Adaptive Fault Tolerance for Distributed Training via Real-time Policy Selection
von: Zhou, Yuhang, et al.
Veröffentlicht: (2025)

BlockRaFT: A Distributed Framework for Fault-Tolerant and Scalable Blockchain Nodes
von: Piduguralla, Manaswini, et al.
Veröffentlicht: (2026)

FTI-TMR: A Fault Tolerance and Isolation Algorithm for Interconnected Multicore Systems
von: Hu, Yiming
Veröffentlicht: (2025)

Half a Century of Distributed Byzantine Fault-Tolerant Consensus: Design Principles and Evolutionary Pathways
von: Wu, Huanyu, et al.
Veröffentlicht: (2024)

Byzantine Fault-Tolerant Min-Max Optimization
von: Liu, Shuo, et al.
Veröffentlicht: (2022)

Optimal Fault-Tolerant Dispersion on Oriented Grids
von: Banerjee, Rik, et al.
Veröffentlicht: (2024)

Probabilistic Byzantine Fault Tolerance (Extended Version)
von: Avelãs, Diogo, et al.
Veröffentlicht: (2024)

The Case for ABI Interoperability in a Fault Tolerant MPI
von: Xu, Yao, et al.
Veröffentlicht: (2025)

Optimizing Robot Dispersion on Grids: with and without Fault Tolerance
von: Banerjee, Rik, et al.
Veröffentlicht: (2024)

VBFT: Veloce Byzantine Fault Tolerant Consensus for Blockchains
von: Jalalzai, Mohammad M., et al.
Veröffentlicht: (2023)

A Fault Tolerance Mechanism for Hybrid Scientific Workflows
von: Mulone, Alberto, et al.
Veröffentlicht: (2024)

Arma: Byzantine Fault Tolerant Consensus with Horizontal Scalability
von: Manevich, Yacov, et al.
Veröffentlicht: (2024)

Stabl: Blockchain Fault Tolerance
von: Gramoli, Vincent, et al.
Veröffentlicht: (2024)

Overcoming Latency-bound Limitations of Distributed Graph Algorithms using the HPX Runtime System
von: Mohammadiporshokooh, Karame, et al.
Veröffentlicht: (2026)

A Byzantine Fault Tolerance Approach towards AI Safety
von: deVadoss, John, et al.
Veröffentlicht: (2025)

Optimizing View Change for Byzantine Fault Tolerance in Parallel Consensus
von: Xie, Yifei, et al.
Veröffentlicht: (2026)

Hamster: A Fast Synchronous Byzantine Fault Tolerance Protocol
von: Fu, Ximing, et al.
Veröffentlicht: (2024)

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
von: Albouy, Timothé, et al.
Veröffentlicht: (2026)

Imitater: An Efficient Shared Mempool Protocol with Application to Byzantine Fault Tolerance
von: Zeng, Qingming, et al.
Veröffentlicht: (2024)

Automatic Tracing in Task-Based Runtime Systems
von: Yadav, Rohan, et al.
Veröffentlicht: (2024)

Achieving High-Performance Fault-Tolerant Routing in HyperX Interconnection Networks
von: Camarero, Cristóbal, et al.
Veröffentlicht: (2024)

Towards an Adaptive Runtime System for Cloud-Native HPC
von: Bhosale, Aditya, et al.
Veröffentlicht: (2026)

Byzantine Fault Tolerant Protocols with Near-Constant Work per Node without Signatures
von: Schneider, Philipp
Veröffentlicht: (2025)

MeCeFO: Enhancing LLM Training Robustness via Fault-Tolerant Optimization
von: Hu, Rizhen, et al.
Veröffentlicht: (2025)

TurboFFT: A High-Performance Fast Fourier Transform with Fault Tolerance on GPU
von: Wu, Shixun, et al.
Veröffentlicht: (2024)

RIMMS: Runtime Integrated Memory Management System for Heterogeneous Computing
von: Gener, Serhan, et al.
Veröffentlicht: (2025)

BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems
von: NamvariTazehkand, Leila, et al.
Veröffentlicht: (2024)

A Self-Healing and Fault-Tolerant Cloud-based Digital Twin Processing Management Model
von: Saxena, Deepika, et al.
Veröffentlicht: (2025)

TurboFFT: Co-Designed High-Performance and Fault-Tolerant Fast Fourier Transform on GPUs
von: Wu, Shixun, et al.
Veröffentlicht: (2024)

Distributed Download from an External Data Source in Asynchronous Faulty Settings
von: Augustine, John, et al.
Veröffentlicht: (2025)