论文部分内容阅读
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并可视化显示结果。
基于模型检测的多处理器实时系统可调度性自动化分析
【摘 要】
：
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可
【机 构】
：
四川大学计算机学院
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2017年1期
其他文献
6月是高温型食用菌品种的出菇季节，如草菇、猪肚菇、高温平菇等，又是菌种生产的旺季，涉菌生产进入高潮。但是，自去冬以来的气候十分反常，套用民间一句话就是“该冷不冷，该热不热”，
本刊讯热稳定剂是塑料助剂的重要组成部分,也是聚氯乙烯(PVC)加工中不可缺少的助剂类别.PVC是主要的通用塑料之一,有许多优点,但其热稳定性差,因此在PVC加工中添加热稳定剂便
期刊
2007年年底,在台湾"立委"选举庆祝仪式上,站在主席台上的蒋介石第三代孙蒋孝严神情激动,同国民党主席马英九一起振臂高呼,为国民党在"立委"选举中的胜出喝彩。同为蒋氏后代,
随着信息物理系统和普适计算的发展,现有内存无法满足智能终端等嵌入式系统对性能、能耗和设备面积的高要求。工业界和学术界正提出使用新型非易失性存储器（NVM）和DRAM混合内存
近些年来，随着科学技术的快速发展，我国高产水稻的育种工作取得了较大的进步，但丘陵地区水稻高产栽培仍是一大问题。文章简单分析了山区水稻产量的影响因素，为山区水稻高产栽培提
本刊讯目前阶段,世界上生产的燃料乙醇大部分是以甘蔗、玉米和薯干等为原料.巴西主要以甘蔗为原料,每年生产约40亿加仑燃料乙醇.美国主要以玉米为原料,生产能力为19亿加仑/年
期刊
近期各主产区小麦价格持续回落，而由于市场对面粉的需求低迷，麦强面弱的格局依旧存在。据悉，为了规避小麦价格进一步下跌的风险，制粉企业纷纷调低开机率，且对小麦随采随用，不增加库
早在400多年前，马铃薯就已经来到了中国，并被端上了国人的餐桌。然而，400多年过去了，在其他国家早已成为主粮的马铃薯，在我国却一直与主粮无缘，偶尔被归类到“杂粮”的行列里，稍微与
本刊讯我国目前已有车用发动机生产企业60多家,车用发动机生产能力280多万台,其中汽油机180万台左右,柴油机100万台左右.1999年车用发动机总产量162.6万台,其中汽油机107.5万
期刊