期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于抽象解释自动导出针对WCET分析的程序流信息的方法
被引量：
1
1
作者
姬孟洛
齐治昌
《计算机工程与科学》
CSCD
2006年第12期114-117,128,共5页
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。
关键词
实时系统
WCET
值范围分析
抽象解释
在线阅读
下载PDF
职称材料
题名
基于抽象解释自动导出针对WCET分析的程序流信息的方法
被引量：
1
1
作者
姬孟洛
齐治昌
机构
中和威软件有限公司
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2006年第12期114-117,128,共5页
基金
国家自然科学基金资助项目(60303013)
文摘
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。
关键词
实时系统
WCET
值范围分析
抽象解释
Keywords
real-time system
WCET
value range analysis
abstract interpretation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于抽象解释自动导出针对WCET分析的程序流信息的方法
姬孟洛
齐治昌
《计算机工程与科学》
CSCD
2006
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
