刷新
{{item.name}}会员
Large memory computer servers for formal verifcations research
用于形式验证研究的大内存计算机服务器
基本信息
- 批准号：315551-2005
- 负责人：
- 金额：$ 2.32万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Research Tools and Instruments - Category 1 (<$150,000)
- 财政年份：2004
- 资助国家：加拿大
- 起止时间：2004-01-01 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有总结- Aucun sommaire
项目成果
期刊论文数量（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 }}
Hu, Alan其他文献
Hu, Alan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hu, Alan', 18)}}的其他基金
Automated Formal Verification for Domain-Specific Hardware Acceleration
针对特定领域硬件加速的自动形式验证
- 批准号：
RGPIN-2020-07182 - 财政年份：2022
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification for Domain-Specific Hardware Acceleration
针对特定领域硬件加速的自动形式验证
- 批准号：
RGPIN-2020-07182 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification for Domain-Specific Hardware Acceleration
针对特定领域硬件加速的自动形式验证
- 批准号：
RGPIN-2020-07182 - 财政年份：2020
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
RGPIN-2015-04618 - 财政年份：2019
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
RGPIN-2015-04618 - 财政年份：2018
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
RGPIN-2015-04618 - 财政年份：2017
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
477861-2015 - 财政年份：2017
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
477861-2015 - 财政年份：2016
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
RGPIN-2015-04618 - 财政年份：2016
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Individual
Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
- 批准号：
477861-2015 - 财政年份：2015
- 资助金额：
$ 2.32万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
相似国自然基金
隧穿场效应晶体管在存储器应用中的探索与研究
- 批准号：61176074
- 批准年份：2011
- 资助金额：50.0 万元
- 项目类别：面上项目
CREB在杏仁核神经环路memory allocation中的作用和机制研究
- 批准号：31171079
- 批准年份：2011
- 资助金额：55.0 万元
- 项目类别：面上项目
情感与视觉记忆：它们的相互作用及神经环路研究
- 批准号：91132302
- 批准年份：2011
- 资助金额：300.0 万元
- 项目类别：重大研究计划
精神分裂症记忆障碍的脑网络组学研究
- 批准号：91132301
- 批准年份：2011
- 资助金额：350.0 万元
- 项目类别：重大研究计划
新环境适应的海马突触可塑性机制
- 批准号：31040085
- 批准年份：2010
- 资助金额：19.0 万元
- 项目类别：专项基金项目
基于受管理运行时系统的大型软件内存泄漏论问题及解决方法研究
- 批准号：61073010
- 批准年份：2010
- 资助金额：34.0 万元
- 项目类别：面上项目
高交联液晶环氧树脂的形状记忆特性研究
- 批准号：20974121
- 批准年份：2009
- 资助金额：30.0 万元
- 项目类别：面上项目
面向多核处理器的硬软件协作Transactional Memory系统结构
- 批准号：60873053
- 批准年份：2008
- 资助金额：30.0 万元
- 项目类别：面上项目
感光高分子的成像有序控制与偏光记忆效应
- 批准号：50673007
- 批准年份：2006
- 资助金额：27.0 万元
- 项目类别：面上项目
相似海外基金
Discovering brain state dependent dynamics in large scale perceptual ensembles.
在大规模感知集合中发现大脑状态依赖的动力学。
- 批准号：
10568047 - 财政年份：2023
- 资助金额：
$ 2.32万 - 项目类别：
Developing A Transition MicroElelectrode Array for Large-scale Brain Recording
开发用于大规模脑记录的过渡微电子电极阵列
- 批准号：
10463817 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Towards a Wearable Alcohol Biosensor: Examining the Accuracy of BAC Estimates from New-Generation Transdermal Technology using Large-Scale Human Testing and Machine Learning Algorithms
迈向可穿戴酒精生物传感器：使用大规模人体测试和机器学习算法检查新一代透皮技术的 BAC 估计值的准确性
- 批准号：
10298493 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Developing A Transition MicroElelectrode Array for Large-scale Brain Recording
开发用于大规模脑记录的过渡微电子电极阵列
- 批准号：
10294077 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Enabling Next Generation Machine Learning for Large Scale Image Analysis
实现大规模图像分析的下一代机器学习
- 批准号：
10698607 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Enabling Next Generation Machine Learning for Large Scale Image Analysis
实现大规模图像分析的下一代机器学习
- 批准号：
10384903 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Towards a Wearable Alcohol Biosensor: Examining the Accuracy of BAC Estimates from New-Generation Transdermal Technology using Large-Scale Human Testing and Machine Learning Algorithms
迈向可穿戴酒精生物传感器：使用大规模人体测试和机器学习算法检查新一代透皮技术的 BAC 估计值的准确性
- 批准号：
10628010 - 财政年份：2021
- 资助金额：
$ 2.32万 - 项目类别：
Genetics of arrhythmic mitral valve prolapse: large pedigree collection within the UCSF MVP registry
心律失常二尖瓣脱垂的遗传学：UCSF MVP 登记处的大量谱系收集
- 批准号：
10850759 - 财政年份：2020
- 资助金额：
$ 2.32万 - 项目类别：
Large-scale recording of population activity during social cognition in freely moving non-human primates
大规模记录自由活动的非人类灵长类动物社会认知过程中的种群活动
- 批准号：
9791017 - 财政年份：2018
- 资助金额：
$ 2.32万 - 项目类别：
Large-scale recording of population activity during social cognition in freely moving non-human primates
大规模记录自由活动的非人类灵长类动物社会认知过程中的种群活动
- 批准号：
9977287 - 财政年份：2018
- 资助金额：
$ 2.32万 - 项目类别：