两种基于符号的最坏执行时间分析方法的比较与分析

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:wisled
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通常的最坏执行时间分析方法只是得到一个常数,然后将这个常数应用在所有的地方,这将造成所得的值过于悲观(over pessimistic).如果能以一个代数表达式代替,其中影响程序执行时间的一些未知值(如调用参数,运行平台参数等)都用参数来表示,然后在具体的环境中再根据具体的情况进行实例化,那么所获得的最坏执行时间将更加接近于实际的值.文章讨论了基于符号的最坏执行时间分析方法,分析了其特点,对两种基于符号的最坏执行时间分析方法进行了比较和研究,并给出了将来的研究方向.
其他文献
以我国499家上市公司作为研究样本,构建多元回归模型。通过统计研究发现,董事长与总经理是否兼任、修正的公司规模和盈余管理程度正相关;高管持股比例、前三名高管的年薪之和
摘要:随着互联网的发展,教育的发展也势必要与网络结合来加快它的发展步伐。在几十年之后的努力中,教育信息化已经占有一席之地。那么现如今教育信息化还将面临怎样的问题和挑战,本文对此作出了分析。  关键词:教育信息化;发展现状;教育资源  中图分类号:G434 文献标识码:A 文章编号:1674-7712 (2012) 14-0163-01  一、教育信息化的发展误区  以硬件设施为主而忽视了软件建
MicroRNA(miRNA)是一类具有调控功能的小分子非编码RNA,在转录后水平调节多个靶基因的表达,对个体发育、细胞凋亡、增殖及分化等生命过程都有重要作用。近来研究发现miRNA一338在
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation).与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的
文章对路由转发表查表算法进行了分析,介绍了一种新的路由转发表查表算法.并对采用该查表算法的层三交换表查找引擎进行了研究。
电子资源是高校图书馆服务工作中的重要环节,眼下电子资源利用率不高的现象仍存在。本文旨在探索普通高校电子资源利用率低的原因所在,并试图分析全国知名高校电子资源教育模式
本文以我国现行农村体育管理为研究对象,指出存在的问题,并对未来农村基层体育管理模式提出新的构思,为实现农村体育与城市体育的和谐发展、实现农村体育的快速发展提供理论
1病例资料患者,女,30岁,胸闷、憋气伴左侧胸痛20天,深吸气及体位变动时加重,有午后低热、盗汗,体温波动在37.5℃-37.8℃左右,无咳嗽、咳痰。否认吸烟史,无射线、粉尘接触史,无传染病及遗
针对传统的Min-Min算法的高效特性和Max-Min算法的负载平衡特性,引入了资源的服务代价属性和任务的请求代价属性,以提高任务调度的时间跨度性能为目标,提出了一种面向非贡献
目的:研究PTEN蛋白在大肠癌癌变过程中的表达及其意义.方法:蛋白免疫印迹法检测107例大肠病变组织标本PTEN的表达情况,应用单因素方差分析及等级相关的秩和检验分析PTEN在大肠