Automated Fast-Track Reconfiguration of Group Communication Systems
No abstract available.
Related papers
- Corrected trees for reliable group communication PPoPP 2019
- Fast and transparent recovery for continuous availability of cluster-based servers PPoPP 2006
- Selecting Software Phase Markers with Code Structure Analysis CGO 2006
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018
- Retargetable and Reconfigurable Software Dynamic Translation CGO 2003
- Adore: atomic distributed objects with certified reconfiguration PLDI 2022
- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs CAV 2024
- Fast Track: A Software System for Speculative Program Optimization CGO 2009