论文部分内容阅读
利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在自盒测试工具NPCA的基础上，利用该方法实现了WCET分析工具NPCA-WCET。
一种基于抽象解释的WCET自动分析工具
【摘 要】
：
利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在自盒测试工具NPCA的基础上，利用该方法实现了WCET分析工具NPCA-WCET。
【机 构】
：
国防科学技术大学计算机科学学院,北京跟踪与通信技术研究所
【出 处】
：
计算机工程
【发表日期】
：
2006年14期
【基金项目】
：
国家自然科学基金资助项目（60303013）.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
提出一种MiniGUI的软键盘快速设计方法，利用MiniGUI的酷工具栏控件创建软键盘面板，通过点击软键盘面板上的按钮向MiniGUI内部的输入法窗口发送相应按键消息，实现了包含中文字符
2016年,高校思想政治工作会议召开,习近平总书记紧紧围绕培养什么样的人、如何培养人以及为谁培养人这个根本问题对高校思想政治工作提出了更新更高的要求。同年9月,教育部发
提出了一种信息门户中的基于本体的信息查询模型，该模型主要由两个模块组成：基于领域本体的改进的查询模块和基于模糊本体的逐步精确的查询模块。前者对应于用户能够清楚地表达
近段时间,位于烟台龙口的裕龙岛炼化一体化项目备受瞩目。9月3日,裕龙岛炼化一体化项目(一期)结束了为期5个工作日的环评公示,生态环境部对该项目环评文件进行审查。此外,化
随着在线社交网络平台(微信、微博等)和APP(网易、学习强国)的快速发展和应用,产生了海量短文本。针对这些海量短文本,传统的文本聚类方法存在聚类性能较差的问题。本文融合T
提出了一种半透明体建模方法：对采集的图像学习生成过程纹理，对纹理进行边界合成得到划分了颜色区域的图像，对颜色区域边界进行扫描，勾勒出图像的轮廓线网格，并根据当前颜色为每个
当前复杂多变的形势对高职生的世界观、人生观、价值观的冲击很大,同时也给高职德育带来直接挑战。构建既能适合高职职业性的特点,又能反映德育实效性的新模式,即“以美育德,
政府补助新规使得企业涉及政府补助的会计核算发生变化,新规背后潜在许多会计原则以及经济新常态下我国企业经济活动的变化。本文结合我国矿业企业的发展状况,将政府补助新规
在分析信息对抗重要作用的基础上，针对各种决策理论在信息对抗中的应用，利用不确定性理论，建立基于理想点的多属性决策模型，给出决策结论的可靠性分析。