并发系统中基于优先级的调度分析 (Analyzing Scheduling Based on Priority in Concurrent Systems).
Zhenyu ZhuShi ZhangJianmin JiangYazhou WuQifan YangPublished in: 计算机科学 (2016)
Keyphrases
- concurrent systems
- round robin
- temporal logic
- distributed systems
- process algebra
- petri net
- scheduling problem
- model checking
- formal specification
- scheduling algorithm
- priority scheduling
- transition systems
- scheduling policies
- resource allocation
- dynamic scheduling
- neural network
- parallel processors
- flexible manufacturing systems
- fine grained
- lower bound
- information systems