可满足性模定理相关硕士博士期刊学术论文 - 搜论网

可满足性模定理相关论文

基于树状线性规划搜索的单调速率优化设计

改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定......

期刊

实时系统单调速率最优化搜索算法线性规划可满足性模定理

看过本文同时还关注