Fault-Tolerant Resource Reasoning
No abstract available.
Related papers
- SWIFT: Software Implemented Fault Tolerance CGO 2005
- Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation TOPLAS 1995
- Faulty Logic: Reasoning about Fault Tolerant Programs ESOP 2010
- Space-Time Optimisations for Early Fault-Tolerant Quantum Computation CGO 2026
- TurboFFT: Co-Designed High-Performance and Fault-Tolerant Fast Fourier Transform on GPUs PPoPP 2025
- Fault-tolerant Distributed Reactive Programming ECOOP 2018
- Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq ESOP 2018
- CRGC: Fault-Recovering Actor Garbage Collection in Pekko PLDI 2025