切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于抽象解释自动导出针对WCET分析的程序流信息的方法
基于抽象解释自动导出针对WCET分析的程序流信息的方法
来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:naomi
【摘 要】
:
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况
【作 者】
:
姬孟洛
齐治昌
【机 构】
:
中和威软件有限公司,国防科技大学计算机学院
【出 处】
:
计算机工程与科学
【发表日期】
:
2006年12期
【关键词】
:
实时系统
WCET
值范围分析
抽象解释
real-time systemWCETvalue range analysisabstract interpreta
【基金项目】
:
国家自然科学基金资助项目(60303013)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。
其他文献
践行行知思想,提高小学生英语口语能力
陶行知先生的教育思想,对于我们推进以培养学生的综合语言运用能力为最终目标的素质教育有着重要意义,这一思想正贯穿于小学英语新课标中。多年来,陶行知先生博大的教育思想,
期刊
行知思想
口语能力
小学英语
指纹识别器
期刊
手机
电脑
指纹识别器
平面传感器
“U-are-U萤火虫”
高频谱纯度合成信号源
期刊
高频谱纯度合成信号源
合成信号发生器
频率稳定度
朝阳市龙城区农村安全饮水评价
文章以朝阳县龙城区农村安全饮水相关数据为基础,从水量、水质和供水3个方面创建综合评价体系,然后将综合评价法和熵权法相耦合测算分析了龙城区6个典型地区的安全饮水程度。
期刊
综合评价法
熵权法
安全饮水
龙城区
将环境风险防控机制嵌入行政决策
<正>识别风险是为了更好地规避风险,经济发展与环境保护可以并行,金山银山与绿水青山可以共存。各级政府需创新社会治理,积极作为,从决策初期就嵌入环境风险防控机制,并有针
期刊
环评机制
风险防控机制
环境风险防控
政策环评
决策过程
风险沟通
环境影响评价
中国经济的黄金周期与云南普洱茶所面临的机遇
【正】近一年多来,中国经济以朝气蓬勃的姿态向世人昭示着自己成长的魅力:GDP高速增涨,人民币对美元汇率进一步升高,生产资料价格逐步上涨,消费品升级替代,外汇储备大幅度增
期刊
云南普洱茶
中国茶业
美元汇率
健康饮品
天杯
时代浪潮
计价单位
需求特性
拉动内需
雷达表
uClinux操作系统实时性能的研究与实现
增强uClinux的实时性能是工业控制等实时性要求高的领域的必然要求,也是uClinux操作系统研究的关键技术之一.本文在借鉴RTLinux实现原理的基础上,研究了增强uClinux实时性能
期刊
UCLINUX
操作系统
实时性能
桌面系统
中断处理程序
uClinuxRTLinux real time performancereal time kern
水利水电工程造价风险管理研究
简要阐述了工程量计价清单和风险管理的概念、特点、原理,系统分析了工程造价风险识别、规划、评估、监控和应对方法,并以水库除险加固工程为例,提出行之有效的风险管理对策,
期刊
风险管理
计价清单
技术方法
史军超:普洱江湖
疯狂的普洱茶投资热,群起的茶商;纷乱的茶业协会、学会、商会、研究会;技术派、文化派、生茶派、熟茶派的争风对决;各种原产地的纠纷,假冒伪劣的恶毒行径,卫生标准一再遭受腐
期刊
史军超
茶业协会
奇怪现象
生茶
技术派
方云
卫生标准
六大茶山
茶产业发展
贡茶
彩云南现的地方有我伴您游
【正】您知道"彩云南现"在哪里吗?听说过二战期间美国飞虎队营地在云南的什么地方吗?彩云南现的地方——大理祥云!一个历经沧桑而古老的古镇——云南驿,二战期间美国空军飞虎
期刊
马帮文化
水目山塔
美国空军
我的母亲
南诏国
世事变迁
风景名胜区
鸡足山
天然温室
东南亚国家
与本文相关的学术论文