课题基金 / 基金详情

Large memory computer servers for formal verifcations research

Large memory computer servers for formal verifcations research
用于形式验证研究的大内存计算机服务器
批准号：
315551-2005
负责人：
Hu, Alan
金额：
$2.32万
依托单位：
University of British Columbia
依托单位国家：
加拿大
项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
财政年份：
2004
资助国家：
加拿大
项目状态：
已结题
起止时间：
2004-01-01 至 2005-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=281235
关键词：
Largememorycomputerserversformal

项目摘要

项目成果

Hu, Alan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2022
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2021
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2020
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification at the Hardware/Software Boundary
  • 批准号：
    RGPIN-2015-04618
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.13万
  • 财政年份：
    2019
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
国内基金
海外基金
隧穿场效应晶体管在存储器应用中的探索与研究
  • 批准号：
    61176074
  • 项目类别：
    面上项目
  • 资助金额：
    50.0万元
  • 批准年份：
    2011
  • 负责人：
    王鹏飞
  • 依托单位：
    复旦大学
情感与视觉记忆：它们的相互作用及神经环路研究
  • 批准号：
    91132302
  • 项目类别：
    重大研究计划
  • 资助金额：
    300.0万元
  • 批准年份：
    2011
  • 负责人：
    陈霖
  • 依托单位：
    中国科学院生物物理研究所
CREB在杏仁核神经环路memory allocation中的作用和机制研究
  • 批准号：
    31171079
  • 项目类别：
    面上项目
  • 资助金额：
    55.0万元
  • 批准年份：
    2011
  • 负责人：
    周宇
  • 依托单位：
    青岛大学
精神分裂症记忆障碍的脑网络组学研究
  • 批准号：
    91132301
  • 项目类别：
    重大研究计划
  • 资助金额：
    350.0万元
  • 批准年份：
    2011
  • 负责人：
    蒋田仔
  • 依托单位：
    中国科学院自动化研究所