SHF: Small: Application Shrinking for Reducing Energy Consumption

SHF:小型:缩小应用范围以降低能耗

基本信息

  • 批准号:
    1018632
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-08-01 至 2014-07-31
  • 项目状态:
    已结题

项目摘要

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.
能源消耗管理是现代计算平台设计的关键驱动因素,从移动设备(较低的能耗可以延长电池寿命)到台式机和服务器(较低的能耗可以显着降低电力成本和散热)。然而,尽管低功耗设计技术取得了许多进步,但 IT 行业的功耗仍然很大,而且更糟的是,预计在未来几年还会继续增长。计算系统能源需求不断增长的前景对经济、环境和整个社会都有影响。这项研究的总体目标是更容易地降低计算机系统的能耗,同时仍然保持其功能。减少能耗的一种新兴方法是利用单个组件选择的异构性来权衡功耗与性能。这种“协作异构”系统的关键思想是在可行的情况下使用低功耗低性能辅助平台代替高性能高功率部件,从而保持高功率子系统关闭以节省能源。为了充分发挥协作异构系统的潜力,这项研究将开发能够自动生成适合在低功耗资源受限帮助平台上运行的应用程序缩小版本的技术。这项研究将带来应用缩减的新技术、更好的衡量节能的工具,以及对协作异构系统所实现的节能的实证评估。 本研究中开发的技术还可用于生成应用程序的“缩小”版本,以用于异构多​​核架构以及在智能手机等便携式能源受限设备上运行。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Sorin Lerner其他文献

Path-Sensitive Program Veri cation in Polynomial Time
  • DOI:
  • 发表时间:
    2002
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Sorin Lerner
  • 通讯作者:
    Sorin Lerner
Focused Live Programming with Loop Seeds
使用循环种子进行集中实时编程
REPLica: REPL instrumentation for Coq analysis
REPLica:用于 Coq 分析的 REPL 仪器
Generating compiler optimizations from proofs
从证明生成编译器优化
  • DOI:
    10.1145/1706299.1706345
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    R. Tate;M. Stepp;Sorin Lerner
  • 通讯作者:
    Sorin Lerner
Formal Verification of Stability Properties of Cyber-physical Systems
信息物理系统稳定性的形式化验证
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Matthew Chan;Daniel Ricketts;Sorin Lerner;G. Malecha
  • 通讯作者:
    G. Malecha

Sorin Lerner的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Sorin Lerner', 18)}}的其他基金

Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
协作研究:SHF:小型:交互式证明的数据驱动引理合成
  • 批准号:
    2220892
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Medium: Generating Correctness Proofs with Neural Networks
SHF:中:使用神经网络生成正确性证明
  • 批准号:
    1955457
  • 财政年份:
    2020
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems
CPS:协同:迈向网络物理系统的基础验证
  • 批准号:
    1544757
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
TWC: Medium: Towards a Formally Verified Web Browser
TWC:媒介:迈向正式验证的 Web 浏览器
  • 批准号:
    1228967
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF:Small: Bringing Extensibility and Performance to Verified Compilers
SHF:Small:为经过验证的编译器带来可扩展性和性能
  • 批准号:
    1219172
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CPA-CPL: Scalable Analysis for Concurrent Programs
CPA-CPL:并发程序的可扩展分析
  • 批准号:
    0811512
  • 财政年份:
    2008
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: Automatically Generating and Processing Program Analyses and Optimizations
职业:自动生成和处理程序分析和优化
  • 批准号:
    0644306
  • 财政年份:
    2007
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant

相似国自然基金

基于免疫多肽组学对小细胞肺癌新靶点STMN1抗原表位的解析及在TCR-T治疗中的应用研究
  • 批准号:
    82303772
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
靶向非小细胞肺癌ALK融合蛋白新型放射性示踪剂的研制及其初步应用探索
  • 批准号:
    22376125
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
综合应用多组学方法鉴定大豆-根瘤菌共生固氮中有功能的小肽
  • 批准号:
    32300219
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
热蛋白质组学新方法及其在抗病毒小分子药物靶标发现中的应用
  • 批准号:
    22304036
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
含稠环侧基的小分子给体研究及其在小分子给体/聚合物受体型太阳能电池中的应用
  • 批准号:
    52303258
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: SHF: Small: Rethinking Performance Variation for Emerging Applications - An Application-centric and Cross-layer Approach
协作研究:SHF:小型:重新思考新兴应用程序的性能变化 - 以应用程序为中心的跨层方法
  • 批准号:
    2134202
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Rethinking Performance Variation for Emerging Applications - An Application-centric and Cross-layer Approach
协作研究:SHF:小型:重新思考新兴应用程序的性能变化 - 以应用程序为中心的跨层方法
  • 批准号:
    2134203
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF:Small:Collaborative Research: Application-aware Energy Modeling and Power Management for Parallel and High Performance Computing
SHF:Small:协作研究:用于并行和高性能计算的应用感知能源建模和电源管理
  • 批准号:
    2001580
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Whole-application Coordiated Parallelization Through The Optimization Of Abstraction Hierarchies
SHF:小型:通过抽象层次结构的优化实现全应用程序协调并行化
  • 批准号:
    1910488
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF:Small:Collaborative Research: Application-aware Energy Modeling and Power Management for Parallel and High Performance Computing
SHF:Small:协作研究:用于并行和高性能计算的应用感知能源建模和电源管理
  • 批准号:
    1833312
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了