Priority Scheduling of Distributed Systems Based on Model Checking
No abstract available.
DOI 10.1007/978-3-642-02658-4_10
Related papers
- Priorities for Modeling and Verifying Distributed Systems TACAS 1996
- Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin PPoPP 2009
- Data structures for task-based priority scheduling PPoPP 2014
- Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs VMCAI 2014
- Fairness in responsive parallelism ICFP 2019
- Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling CAV 2020
- Responsive Parallelism with Dynamic and First-Class Priorities PLDI 2026
- Multi-queues can be state-of-the-art priority schedulers PPoPP 2022