单调速率调度算法

作品数：9被引量：24H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刁承虞慧群阳春华计莉桂卫华更多>>
相关机构：华东理工大学中南大学重庆大学国防科学技术大学更多>>
相关期刊：《计算机仿真》《软件学报》《重庆理工大学学报（自然科学）》《计算机科学与探索》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划重庆市科技攻关计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于命题投影时序逻辑的单调速率调度算法模型检测被引量：3
《软件学报》2011年第2期211-221,共11页田聪 段振华 
国家自然科学基金(61003078;91018010;60873018;60910004);国家重点基础研究发展计划(973)(2010CB328102);教育部博士点基金(200807010012);中央高校基本科研业务费专项资金(JY10000903004)
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系...
关键词：时序逻辑 模型检测 单调速率调度算法 验证 实时系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部