【摘 要】
：
为获得安全而紧致的WCET估计，需要考虑执行程序的目标处理器的体系结构特征．Cache、流水线等用于提高性能的技术已经广泛地应用于现代处理器中，如果在静态分析过程中不考虑它们
【机 构】
：
中国科学技术大学计算机科学技术系,国家气象信息中心
论文部分内容阅读
为获得安全而紧致的WCET估计，需要考虑执行程序的目标处理器的体系结构特征．Cache、流水线等用于提高性能的技术已经广泛地应用于现代处理器中，如果在静态分析过程中不考虑它们带来的影响，必然会导致WCET过估计．以Petri网作为模型工具，以WCET分析为应用目标构造MIPS处理器的体系结构模型，该方法讨论了各种RISC处理器中常见的体系结构特征的抽象以及它们在Petri网模型中的表示方法．通过实验验证，指令序列在Petri网模型上的模拟执行时间与指令序列在DLXView模拟器上的测试结果具有一致性，表明
其他文献
本文中介绍的红军征途中的饮食，均来自于参与长征的红军干部战士的记述。仅仅通过这些记载，长征的艰辛困苦便表现得淋漓尽致。在任何艰苦条件下，不屈服，不畏惧，即使在吃的问题上，也能显现出一种精神。它作为长征精神的一部分，是值得我们关注的。这也是笔者专门从多种文章中寻出长征饮食作为题目的初衷所在。 “走到哪里吃到哪里” 长征的出发较为仓促，这是一次大规模的长时间行军作战，在饮食这个基本问题上，是无法考
转变高等教育思想和更新教育观念是进行教学内容和课程体系改革的先导。进行教学内容和课程体系的改革．首先必须研究教育思想、观念的发展和变化，摒弃陈旧、落后的教育思想和观
国有企业是经济发展的火车头,是科技创新的排头兵,是海外战略的先锋队。国有企业在深化改革持续重组的过程中,企业内保工作面临许多新情况、新问题。如何创新和加强国有企业
本文分析了现阶段我国中小企业内部控制制度存在的各种问题及原因,并就上述问题做了深入研究及探索,得出如何从批准控制、会计控制及实物控制等方面出发来实现中小企业有效内
如何有效减少电力系统网损,向用户提供可靠、优质、经济的电能,是关系到国家节约能源、减少开支、提高人民生活质量的重要问题.本文将从降低网损和提高变电站自动化运行水平
父亲周建屏，戎马倥偬30年，南征北战，于枪林弹雨中出生人死。土地革命战争时期，他和方志敏、邵式平等人创建了红十军和闽浙赣革命根据地。抗日战争全面爆发后，父亲担任八路军第一一
网络环境下空间信息大规模应用中常常有大量的用户规则同时触发，这带来了规则并发行为的控制和效率问题．目前大多数方法难以满足大量用户同时操作时的频繁动态更新，因此提出标注
春天花会开,春天精彩来,在2003明媚的阳光中,是否也想采购一支彩色屏幕手机,陪你度过这个多彩多姿的春天呢?本期小编特别为读者们准备了长达210页、横跨65,536色、4,096色与2
许多科学理论听起来高深莫测,其实往往可以在我们身边的生活中找到简单的应用和浅显的解释.冒险转移……
【正】一、安全生产管理失控的原因分析(一)企业战略不科学、不完备、有重大缺陷一个不科学、不完备、有重大缺陷的企业战略,必然出现频多的细节失控而导致重大损失甚至全局