【摘 要】
：
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为
【机 构】
：
南京审计大学,中国电子科技集团第十四研究所,武汉大学计算机学院
【基金项目】
：
国家自然科学基金（No.61170022）, 江苏省高校自然科学研究面上项目（No.15KJB520019）, 江苏省“六大人才”高峰项目资助, 江苏省高校“青蓝工程”优秀青年骨干教师培养对象资助, 江苏高校优势学科建设工程资助项目
论文部分内容阅读
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误,以符号执行技术为基础,根据禁止休眠类能耗错误的特点,设计了对应的能耗错误检测方法.该方法首先利用过程内分析,获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合,得到更为精确的执行开销、锁变量匹配等相关信息,以更好的检测能耗错误.同时,符号执行记录了对应的分支路径信息,利用该信息能够结合约束
其他文献
为提高网络链路丢包率的测量速度,本文提出一种基于子树丢包模式的链路丢包率推断算法.该算法通过选择合理的链路丢包率初始值以减少迭代次数;根据端到端测量结果将网络拓扑划分为传输状态确定性区域和非确定性区域,避免确定性区域冗余分解造成的时间开销;通过对非确定性区域子树丢包模式按层分解,以子树丢包模式为基本计算单元,减少非确定性区域链路丢包的重复分解过程,提高链路丢包率计算速度.仿真结果表明,该算法能在不
复杂系统的协同仿真中需要运行支撑软件RTI（Run Time Infrastructure）来解决异构模型、异构仿真软件间的数据交互的问题.但RTI的TCP/IP通信机制却无法使得HPC（High Performance
<正> 近年来我院收治36例额颞顶大面积脑梗塞,其临床特点与一般脑梗塞不同,现报道如下。 1 临床资料 1.1 一般资料 男性25例,女性11例。15～40岁2例,41～60岁25例,61岁以上9例。
<正>3 Registration History As was mentioned above,the Terminator patent was that registered in 1995 by the United States Department of Agriculture(USDA)and the
1发病情况我乡某专业户2002年12月购进40只戴云山羊,进场后不久就发现羊只零星咳嗽,当时以为是感冒,用卡那霉素等药物治疗,不见好转,而且愈发严重,于2003年2月4日发现2只病羊
动态下推网络（DPN,Dynamic Pushdown Networks）由一组能刻画动态创建线程的动态下推系统（DPDS,Dynamic Push Down Systems）组成.本文首先将描述连续时间的实时时钟引入DPN,提出了
当前,很多猪场养猪从外面引进猪苗,由于猪苗来源复杂,各地接种过的疫苗种类又不尽相同,个体间抗体水平差异很大,导致防疫质量参差不齐;采购时遇到不良天气;长途运输和饲养环
1发病情况龙海市某猪场是一个年产1万多头商品猪的规模猪场,2004年4月起,断奶前后的仔猪发生一种以体温升高、腹泻为特征的疾病,后经检查诊断为猪瘟.其发病率约占当时仔猪存
水针疗法是一种针刺与药物相结合的疗法,它是在穴位、痛点或患部肌肉起止点注射某些药液,通过针刺的刺激及药物的作用,来调整机体的机能和改变病理状态,从而达到治疗疾病的目
房地产业在目前的经济发展态势下强化知识产权保护，是企业取得竞争优势的重要手段。目前，我国的房地产企业缺乏对其知识产权的足够重视，导致目前房地产知识产权所产生的附加值小