【摘 要】
：
针对现有嵌入式系统最坏执行时间（WCET）的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函
【机 构】
：
湖南大学信息科学与工程学院,湖南省嵌入式与网络计算重点实验室
【基金项目】
：
广东省产学研合作重大专项基金资助项目（2012-391）
论文部分内容阅读
针对现有嵌入式系统最坏执行时间（WCET）的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序的WCET表达式。使用静态预估分析方法对每一个基本块的底层指令周期进行绝对估值,将底层指令周期代入WCET表达式计算出程序最终的WCET值。实验结果表明,与基于程序控制流程图的程序执行时间静态分析方法相比,该方法在保证程序分析精度的同时,大幅提高了分析效率。
其他文献
随着全球贸易的飞速发展和世界经济一体化趋势的加强，会计国际化已成为世界各国普遍关注的现实问题。但由于中国的市场经济环境离西方发达的经济环境还有较大差距．造成了中国会
近年来,由于日益广泛的应用领域对地理信息系统(GIS)的要求不断提高,使得GIS技术迅速发展,许多计算机领域的新技术如WebGIS技术、面向对象的数据库技术、三维技术、图像处理、人工智能技术和GPU计算技术都融合应用到GIS中,为GIS提供了先进的发展工具和手段。本文针对其发展趋势提出组建GIS图形工作站,图形工作站技术将在未来GIS的发展中发挥着越来越重要的作用。
为探讨地理国情成果在线发布问题,提高地理国情普查成果的应用范围,本文以ArcGIS Server、天地图API与Flex Builder开发软件为基础,结合地理国情专题成果,研究了地理国情成果在线发布系统的组成架构、基础数据处理、数据图形化以及数据分析,提出了地理国情成果在线发布系统的模型,并对地理国情中重要的数据信息与成果在发布系统中予以实现,为地理国情成果在线发布系统的实际开发与功能扩展提供借
利用地基GPS气象学技术,对南极地区的气象进行研究,比较了GPS/PWV和用探空方式得到的Radio/PWV,画出了两者的PWV时间序列图,显示具有较好的一致性,验证了GPS遥感大气的精度和准确性,为以后南极气象研究提供参考。
改革开发以来，各级行政事业单位购进，配置了大量的现代化办公设备，办公条件和技术装备有了明显改善，也形成了数额庞大的非营性国有资产。然而，行政事业单位资产管理弱化状况却令人
针对位置服务应用中，基于道路网络的移动对象连续K最近邻（ CKNN ）查询实时响应速度慢的问题，提出基于方向关系约束的移动对象CKNN查询算法CDR-CKNN。采用锥形模型建立方向关系表