SHF: Small: Application Shrinking for Reducing Energy Consumption
SHF: Small: Application Shrinking for Reducing Energy Consumption
批准号:
1018632
负责人:
Sorin Lerner
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-08-01 至 2014-07-31
中文摘要
能源消耗管理是现代计算平台设计的关键驱动因素,从移动设备(低消耗导致更长的电池寿命)到台式机和服务器(低消耗显著降低电力成本和散热)。然而,尽管在低功耗设计技术方面取得了许多进步,但IT行业的功耗仍然很大,而且更糟糕的是,预计未来几年还会增长。对计算系统不断增长的能源需求的前景对经济、环境和整个社会都有影响。这项研究的广泛目标是更容易地降低计算机系统的能耗,同时保持其功能。一种新兴的降低能耗的方法是利用单个组件选择的异构性来权衡功耗和性能。这种协同异构式系统的关键思想是只要可行,就使用低功耗、低性能的辅助平台来代替高性能的高功率部件,从而保持高功率子系统的关闭以节省能源。为了充分释放协作异构系统的潜力,这项研究将开发能够自动生成适合在低功耗、资源受限的帮助平台上运行的应用程序的缩小版本的技术。这项研究将导致应用程序收缩的新技术,更好地衡量能源节约的工具,并对协作异质系统可能实现的能源节约进行经验评估。这项研究中开发的技术还将有助于生成在异类多核体系结构中使用的“精简”版本的应用程序,以及在智能手机等便携式能源受限设备上运行的应用程序。
英文摘要
The management of energy consumption is a key driver in the design of modern computing platforms, from mobile devices (where lower consumption leads to better battery lifetimes) to desktop and servers (where lower consumption leads to significant decreases in electricity costs and heat dissipation). However, despite numerous advances in low power design technologies, the power consumption of the IT industry remains significant and worse, is slated to grow in the coming years. The prospect of growing energy demands for computing systems has implications for the economy, the environment and for society in general. The broad goal of this research is to make it easier to reduce the energy consumption of computer systems, while still maintaining their functionality.An emerging way to reduce energy consumption is to leverage heterogeneity in the choice of individual components to tradeoff power consumption versus performance. The key idea of such "Collaborative Heterogeneous" systems is to use low-power low-performance helper platforms in lieu of high-performance high-power parts whenever feasible, thus keeping the high-power subsystems shutdown to save energy. To unleash the full potential of Collaborate Heterogeneous systems, this research will develop techniques that can automatically generate shrunk versions of applications that are suitable for running on low-power resource-constrained helper platforms. This research will lead to new techniques for application shrinkage, to better tools for measuring energy savings, and to an empirical evaluation of the energy savings made possible by Collaborative Heterogeneous systems. The techniques developed in this research will also be useful for generating "shrunk" versions of applications for use in heterogeneous multi-core Architectures and for running on portable energy-constrained devices like SmartPhones.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
-
批准号:2220892
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2022
-
负责人:Sorin Lerner
-
依托单位:
SHF: Medium: Generating Correctness Proofs with Neural Networks
-
批准号:1955457
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2020
-
负责人:Sorin Lerner
-
依托单位:
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems
-
批准号:1544757
-
项目类别:Standard Grant
-
资助金额:$70.0万
-
财政年份:2015
-
负责人:Sorin Lerner
-
依托单位:
TWC: Medium: Towards a Formally Verified Web Browser
-
批准号:1228967
-
项目类别:Standard Grant
-
资助金额:$111.0万
-
财政年份:2012
-
负责人:Sorin Lerner
-
依托单位:
SHF:Small: Bringing Extensibility and Performance to Verified Compilers
-
批准号:1219172
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2012
-
负责人:Sorin Lerner
-
依托单位:
CPA-CPL: Scalable Analysis for Concurrent Programs
-
批准号:0811512
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2008
-
负责人:Sorin Lerner
-
依托单位:
CAREER: Automatically Generating and Processing Program Analyses and Optimizations
-
批准号:0644306
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Sorin Lerner
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: