论文部分内容阅读
多核系统动态温度管理TAPE策略的形式化验证
【出 处】
：
计算机科学
【发表日期】
：
2017年z2期
其他文献
传统缓存替换策略对语义缓存替换缺乏针对性,不能有效重用缓存中的数据,影响缓存命中率.为此,针对可扩展标记语言查询(XML)代数查询的特点,提出一种基于语义贡献值的XML查询
计划生育是我国的一项基本国策，全市人口与计划生育工作在省、市政府的领导下，全市各级人口和计划生育部门认真贯彻落实《中华人民共和国人口与计划生育法》及《中共中央关于全面加强人口与计划生育工作，统筹解决人口问题的决定》，人口出生率、符合政策生育率、出生人口性别比等主要责任目标全面完成，为稳定低生育水平、提高人口素质、统筹解决人口问题作出了积极的贡献。但随着计划生育基本国策的深入贯彻落实，对人口与计划生
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
摘 要：计算机本身由硬件组成，但是对其进行应用则离不开软件的支持，硬件和软件是计算机在应用中不可或缺的两部分。应用软件作为软件的一种其主要作用是解决具体问题，本文从对软件开发影响最大的一门学科——软件工程入手，对应用软件的开发技术进行重点介绍，希望对相关工作人员能够有所帮助。 关键词：计算机；应用软件；开发技术 中图分类号：TP311.5 计算机的出现对整个社会发展产生了一定的影响，也改变了
目的分析2011年1月1日-2012年9月30日南宁市良庆区手足口病病原学监测及流行特征,为制定手足口病防控措施提供科学依据。方法对“中国疾病预防控制信息系统”中2011年1月1日-
2007年由美国引发的次贷危机对全球经济产生重要影响，其中最为迅速的表现便是各国股票市场指数的迅速下跌。本文以次贷危机为研究背景，以讨论各国证券指数之间的波动变化趋势为