【摘 要】
：
智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战：（1）在没
【机 构】
：
北京大学信息科学技术学院软件研究所,高可信软件技术教育部重点实验室（北京大学）,北京大学软件工程国家工程研究中心
【基金项目】
：
国家高技术研究发展计划（863）（2015AA01A202）,国家自然科学基金（61421091）
论文部分内容阅读
智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战：（1）在没有应用源代码的情况下,实现单个应用内的网络请求合并;（2）在不对操作系统进行任何修改的情况下,按需合并多个应用中的网络请求.以安卓应用为目标,给出了一种通过自动程序转换来支持现有移动应用中网络请求延迟调度的方法及其框架实现——DelayDroid,用以提升手机整体待机时间.通过字节码分析和程序自动转换技术解决以上挑战.与已有工作相比,De
其他文献
如同职业技术教育一样,职业技术院校教师的心理压力问题没能引起应有的关注.怎样使这部分教师保持一个健康的心态面对工作和生活,是教育管理者应重视的问题.寻找根源,探讨解
目的 探讨不同抗结核治疗用于老年肺癌伴肺结核的临床意义。方法 将我院82例老年肺癌伴肺结核患者按随机数表法均分为观察组（新抗结核治疗方案：力克肺疾、利福喷丁、莫西沙星）与
本文着重探索了培养实用型人才,培养学生的动手能力与创新能力的途径.
民族音乐是民族文化的组成部分,具有鲜明的民族性,能强化学生的爱国主义情怀,使学生认识到世界各民族音乐文化的丰富性和多样性。本文分析了培养学生学习民族音乐的重要性、
<正> 为了解大学生对性知识了解水平以及对性教育的要求状况,作者于1990年6月至1991年6月在广州市五所高等院校进行一次问卷调查,现将有关部分资料整理如下:一、调查对象和方
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的
随着兖矿集团公司异地开发战略的深入实施．跨区域开发成为企业的战略选择，由此产生了跨区域开发的项目管理团队的配备问题。其中，最重要的当属是项目或公司领导班子的选拔问题。
2008年5月，财政部、审计署等部委联合发布了《企业内部控制基本规范》（以下简称《基本规范》）．并于2009年7月1日起在上市公司范围内实行并鼓励非上市的大中型企业实行。这标志着