权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

FPGA Based Implementation of Verifiably Correct Safety Critical Systems

基于 FPGA 实现可验证正确的安全关键系统

基本信息

批准号：
448951-2013
负责人：
Ong, Jeff
金额：
$ 0.33万
依托单位：
McMaster University
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2013
资助国家：
加拿大
起止时间：
2013-01-01 至 2014-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=538066
关键词：
FPGA Based Implementation Verifiably Correct

项目摘要

No summary - Aucun sommaire

无摘要- Aucun sommaire

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Ong, Jeff其他文献

Ong, Jeff的其他文献

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

立即体验

{{ truncateString('Ong, Jeff', 18)}}的其他基金

Rigorous Model Based Development of Automotive Software

基于严格模型的汽车软件开发

批准号：
466867-2014
财政年份：
2014
资助金额：
$ 0.33万
项目类别：
University Undergraduate Student Research Awards

A Hardware Reference Platform for Pacemaker Software Certification

用于起搏器软件认证的硬件参考平台

批准号：
431310-2012
财政年份：
2012
资助金额：
$ 0.33万
项目类别：
University Undergraduate Student Research Awards

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information

批准号：
批准年份：
2024
资助金额：
万元
项目类别：
外国青年学者研究基金项目

Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry

批准号：
W2433169
批准年份：
2024
资助金额：
万元
项目类别：
外国学者研究基金项目

Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic

批准号：
批准年份：
2024
资助金额：
万元
项目类别：
外国学者研究基金项目

A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)

批准号：
批准年份：
2020
资助金额：
20 万元
项目类别：

基于tag-based单细胞转录组测序解析造血干细胞发育的可变剪接

批准号：
81900115
批准年份：
2019
资助金额：
21.0 万元
项目类别：
青年科学基金项目

应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制

批准号：
81771933
批准年份：
2017
资助金额：
50.0 万元
项目类别：
面上项目

Reality-based Interaction用户界面模型和评估方法研究

批准号：
61170182
批准年份：
2011
资助金额：
57.0 万元
项目类别：
面上项目

Multistage,haplotype and functional tests-based FCAR 基因和IgA肾病相关关系研究

批准号：
30771013
批准年份：
2007
资助金额：
30.0 万元
项目类别：
面上项目

差异蛋白质组技术结合Array-based CGH 寻找骨肉瘤分子标志物

批准号：
30470665
批准年份：
2004
资助金额：
8.0 万元
项目类别：
面上项目

GaN－based稀磁半导体材料与自旋电子共振隧穿器件的研究

批准号：
60376005
批准年份：
2003
资助金额：
20.0 万元
项目类别：
面上项目

相似海外基金

Implementation of community-based health checks and peer-to-peer support to promote functional ability for older people living in rural Zimbabwe

实施基于社区的健康检查和同伴支持，以提高津巴布韦农村老年人的功能能力

批准号：
MR/Y019520/1
财政年份：
2024
资助金额：
$ 0.33万
项目类别：
Research Grant

Implementation research to improve scale-up of the delivery of evidence-based community exercise programs for stroke

实施研究以提高卒中循证社区锻炼计划的实施规模

批准号：
484223
财政年份：
2023
资助金额：
$ 0.33万
项目类别：
Operating Grants

Addressing the Challenge of Authentic Inquiry at Scale: Probing and Supporting Teaching Assistants’ Implementation of a Model-Based-Inquiry Curriculum

应对大规模真实探究的挑战：探索和支持助教——基于模型的探究课程的实施

批准号：
2400787
财政年份：
2023
资助金额：
$ 0.33万
项目类别：
Standard Grant

Investigation of Faculty Perceptions of Course-based Undergraduate Research Experiences and Barriers to their Implementation

教师对基于课程的本科生研究经验的看法及其实施障碍的调查

批准号：
2235568
财政年份：
2023
资助金额：
$ 0.33万
项目类别：
Standard Grant

A Developmental Model to Understand the Process of Instructor Implementation of Evidence-Based Teaching Practices

理解教师实施循证教学实践过程的发展模型

批准号：
2235966
财政年份：
2023
资助金额：
$ 0.33万
项目类别：
Standard Grant

Building Research Capacity for Implementation of Outcomes Research and Evidence-Based trauma care after Mass Violence, in Ukraine.

在乌克兰开展大规模暴力事件后实施结果研究和循证创伤护理的研究能力建设。

批准号：
10665360
财政年份：
2023
资助金额：
$ 0.33万
项目类别：

Improving identification and healthcare for patients with Inherited Cancer Syndromes: Evidence-based EMR implementation using a web-based computer platform

改善遗传性癌症综合征患者的识别和医疗保健：使用基于网络的计算机平台实施基于证据的 EMR

批准号：
10831647
财政年份：
2023
资助金额：
$ 0.33万
项目类别：

Cognitive Behavioral Faith-based Depression Intervention For African American Adults (CB-FAITH): An Effectiveness And Implementation Trial

非裔美国成年人基于认知行为信仰的抑郁干预 (CB-FAITH)：有效性和实施试验

批准号：
10714464
财政年份：
2023
资助金额：
$ 0.33万
项目类别：

Efficacy and implementation of exercise-based smoking cessation treatment for adults with high anxiety sensitivity

以运动为基础的戒烟治疗对高焦虑敏感性成人的疗效和实施

批准号：
10660767
财政年份：
2023
资助金额：
$ 0.33万
项目类别：

A type II hybrid implementation-effectiveness study of BECOME (BEhavioral Community-based COmbined Intervention for MEntal Health and Noncommunicable Diseases) delivered by community health workers

由社区卫生工作者开展的 BECOME（基于行为社区的心理健康和非传染性疾病联合干预措施）的 II 型混合实施效果研究

批准号：
10658312
财政年份：
2023
资助金额：
$ 0.33万
项目类别：

会员权益说明：