Analysis, verification and design for energy aware computation

能量感知计算的分析、验证和设计

基本信息

  • 批准号:
    138501-2007
  • 负责人:
  • 金额:
    $ 1.38万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2008
  • 资助国家:
    加拿大
  • 起止时间:
    2008-01-01 至 2009-12-31
  • 项目状态:
    已结题

项目摘要

The gigahertz race is over. For over two decades, microprocessors have been doubling in clock speed and performance every one or two years. In the past two years, this exponential trend has been replaced by a slow climb. Heat is the culprit -- the technological trends that drove CPUs up in speed also drove them up in power consumption. Heat limits the CPU and graphics processor in a desktop computer; power limits the battery life of laptop computers, PDAs, and cell phones; and large computing companies such as Google and e-bay are limited airconditioning for their warehouses full of computers. Parallelism is the most promising solution. The physics of the transistors that make the chips work mean that if a task can be divided between multiple CPUs, the total energy can be much less than if the task were done on a single CPU. This is why every computer manufacturer is coming out with multi-core processors.
千兆赫的竞赛结束了。 二十多年来,微处理器的时钟速度和性能每一两年就翻一番。 在过去两年中,这种指数趋势已被缓慢攀升所取代。 热量是罪魁祸首-推动CPU速度提高的技术趋势也推动了它们的功耗。 热量限制了台式电脑中的CPU和图形处理器;功率限制了笔记本电脑,PDA和手机的电池寿命;而大型计算公司,如Google和eBay,其装满计算机的仓库的空调有限。 最有希望的解决办法是采用混合主义。 使芯片工作的晶体管的物理特性意味着,如果一项任务可以在多个CPU之间分配,那么总能量可以比在单个CPU上完成任务少得多。 这就是为什么每个计算机制造商都推出多核处理器的原因。

项目成果

期刊论文数量(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 }}

Greenstreet, Mark其他文献

Greenstreet, Mark的其他文献

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

{{ truncateString('Greenstreet, Mark', 18)}}的其他基金

Integrating Numerical Methods into Formal Verification
将数值方法集成到形式验证中
  • 批准号:
    RGPIN-2014-03926
  • 财政年份:
    2018
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Integrating Numerical Methods into Formal Verification
将数值方法集成到形式验证中
  • 批准号:
    RGPIN-2014-03926
  • 财政年份:
    2017
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Integrating Numerical Methods into Formal Verification
将数值方法集成到形式验证中
  • 批准号:
    RGPIN-2014-03926
  • 财政年份:
    2016
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Integrating Numerical Methods into Formal Verification
将数值方法集成到形式验证中
  • 批准号:
    RGPIN-2014-03926
  • 财政年份:
    2015
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Integrating Numerical Methods into Formal Verification
将数值方法集成到形式验证中
  • 批准号:
    RGPIN-2014-03926
  • 财政年份:
    2014
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Analysis, verification and design for energy aware computation
能量感知计算的分析、验证和设计
  • 批准号:
    138501-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号:
    356905-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Collaborative Research and Development Grants
Analysis, verification and design for energy aware computation
能量感知计算的分析、验证和设计
  • 批准号:
    138501-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Analysis, verification and design for energy aware computation
能量感知计算的分析、验证和设计
  • 批准号:
    138501-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号:
    356905-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Collaborative Research and Development Grants

相似海外基金

Core D: Biostatistics and Computational Analysis Core
核心 D:生物统计学和计算分析核心
  • 批准号:
    10731280
  • 财政年份:
    2023
  • 资助金额:
    $ 1.38万
  • 项目类别:
FMitF: Track I: Scalable and Quantitative Verification for Neural Network Analysis and Design
FMITF:第一轨:神经网络分析和设计的可扩展和定量验证
  • 批准号:
    2124039
  • 财政年份:
    2021
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Standard Grant
Construction of Analysis and Design Theory for High Precision Gossamer Space Structure Systems and Its Experimental Verification
高精度游丝空间结构系统分析设计理论构建及实验验证
  • 批准号:
    21H04591
  • 财政年份:
    2021
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Envisioned world problems with functional approaches: Functional Analysis Resonance Method and Discrete-Event Simulation modelling for system design, verification, and improvement
使用功能方法设想世界问题:用于系统设计、验证和改进的功能分析共振方法和离散事件仿真建模
  • 批准号:
    21F21757
  • 财政年份:
    2021
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2021
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Core C: Data Management and Analysis Core (DMAC)
核心C:数据管理和分析核心(DMAC)
  • 批准号:
    10570849
  • 财政年份:
    2020
  • 资助金额:
    $ 1.38万
  • 项目类别:
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2020
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Verification of smoke exhaust properties in common corridors using turbulence analysis and development of its simple optimum design method
使用湍流分析验证公共走廊的排烟特性并开发其简单的优化设计方法
  • 批准号:
    19K04728
  • 财政年份:
    2019
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2019
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Discovery Grants Program - Individual
Database development, spatial analysis, and theory verification for the design of Payment for Ecosystem Services
生态系统服务支付设计的数据库开发、空间分析和理论验证
  • 批准号:
    18K11735
  • 财政年份:
    2018
  • 资助金额:
    $ 1.38万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了