论文部分内容阅读
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间（WCET）。
基于抽象解释自动导出针对WCET分析的程序流信息的方法
【摘 要】
：
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况
【机 构】
：
中和威软件有限公司,国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年12期
【基金项目】
：
国家自然科学基金资助项目（60303013）
其他文献
陶行知先生的教育思想,对于我们推进以培养学生的综合语言运用能力为最终目标的素质教育有着重要意义,这一思想正贯穿于小学英语新课标中。多年来,陶行知先生博大的教育思想,
文章以朝阳县龙城区农村安全饮水相关数据为基础,从水量、水质和供水3个方面创建综合评价体系,然后将综合评价法和熵权法相耦合测算分析了龙城区6个典型地区的安全饮水程度。
<正>识别风险是为了更好地规避风险,经济发展与环境保护可以并行,金山银山与绿水青山可以共存。各级政府需创新社会治理,积极作为,从决策初期就嵌入环境风险防控机制,并有针
【正】近一年多来,中国经济以朝气蓬勃的姿态向世人昭示着自己成长的魅力:GDP高速增涨,人民币对美元汇率进一步升高,生产资料价格逐步上涨,消费品升级替代,外汇储备大幅度增
增强uClinux的实时性能是工业控制等实时性要求高的领域的必然要求,也是uClinux操作系统研究的关键技术之一.本文在借鉴RTLinux实现原理的基础上,研究了增强uClinux实时性能
简要阐述了工程量计价清单和风险管理的概念、特点、原理,系统分析了工程造价风险识别、规划、评估、监控和应对方法,并以水库除险加固工程为例,提出行之有效的风险管理对策,
疯狂的普洱茶投资热,群起的茶商;纷乱的茶业协会、学会、商会、研究会;技术派、文化派、生茶派、熟茶派的争风对决;各种原产地的纠纷,假冒伪劣的恶毒行径,卫生标准一再遭受腐