【摘 要】
：
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为
【机 构】
：
南京审计大学,中国电子科技集团第十四研究所,武汉大学计算机学院
【基金项目】
：
国家自然科学基金（No.61170022）, 江苏省高校自然科学研究面上项目（No.15KJB520019）, 江苏省“六大人才”高峰项目资助, 江苏省高校“青蓝工程”优秀青年骨干教师培养对象资助, 江苏高校优势学科建设工程资助项目
论文部分内容阅读
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类能耗错误的特点,设计了对应的能耗错误检测方法.该方法首先利用过程内分析,获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合,得到更为精确的执行开销、锁变量匹配等相关信息,以更好的检测能耗错误.同时,符号执行记录了对应的分支路径信息,利用该信息能够结合约束
其他文献
为提高网络链路丢包率的测量速度,本文提出一种基于子树丢包模式的链路丢包率推断算法.该算法通过选择合理的链路丢包率初始值以减少迭代次数;根据端到端测量结果将网络拓扑划分为传输状态确定性区域和非确定性区域,避免确定性区域冗余分解造成的时间开销;通过对非确定性区域子树丢包模式按层分解,以子树丢包模式为基本计算单元,减少非确定性区域链路丢包的重复分解过程,提高链路丢包率计算速度.仿真结果表明,该算法能在不
复杂系统的协同仿真中需要运行支撑软件RTI（Run Time Infrastructure）来解决异构模型、异构仿真软件间的数据交互的问题.但RTI的TCP/IP通信机制却无法使得HPC（High Performance
动态下推网络（DPN,Dynamic Pushdown Networks）由一组能刻画动态创建线程的动态下推系统（DPDS,Dynamic Push Down Systems）组成.本文首先将描述连续时间的实时时钟引入DPN,提出了
房地产业在目前的经济发展态势下强化知识产权保护，是企业取得竞争优势的重要手段。目前，我国的房地产企业缺乏对其知识产权的足够重视，导致目前房地产知识产权所产生的附加值小