刷新
Compiler Tools and Techniques
编译器工具和技术
基本信息
- 批准号：1223884-2010
- 负责人：
- 金额：$ 14.57万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Canada Research Chairs
- 财政年份：2015
- 资助国家：加拿大
- 起止时间：2015-01-01 至 2016-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 }}
Hendren, Laurie其他文献
Collaborative Runtime Verification with Tracematches
- DOI：
10.1093/logcom/exn077 - 发表时间：
2010-06-01 - 期刊：
- 影响因子：0.7
- 作者：
Bodden, Eric;Hendren, Laurie;Naeem, Nomair A. - 通讯作者：
Naeem, Nomair A.
The Clara framework for hybrid typestate analysis
- DOI：
10.1007/s10009-010-0183-5 - 发表时间：
2012-06-01 - 期刊：
- 影响因子：1.5
- 作者：
Bodden, Eric;Hendren, Laurie - 通讯作者：
Hendren, Laurie
Hendren, Laurie的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hendren, Laurie', 18)}}的其他基金
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
- 批准号：
RGPIN-2015-05288 - 财政年份：2019
- 资助金额：
$ 14.57万 - 项目类别：
Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000231947-2017 - 财政年份：2019
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
- 批准号：
RGPIN-2015-05288 - 财政年份：2018
- 资助金额：
$ 14.57万 - 项目类别：
Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000231947-2017 - 财政年份：2018
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
- 批准号：
RGPIN-2015-05288 - 财政年份：2017
- 资助金额：
$ 14.57万 - 项目类别：
Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2017
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
- 批准号：
RGPIN-2015-05288 - 财政年份：2016
- 资助金额：
$ 14.57万 - 项目类别：
Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2016
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compilers, Tools and Languages for Scientists
为科学家提供的编译器、工具和语言
- 批准号：
RGPIN-2015-05288 - 财政年份：2015
- 资助金额：
$ 14.57万 - 项目类别：
Discovery Grants Program - Individual
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2014
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
相似国自然基金
基于视频游戏的空间能力测评关键技术及工具开发研究
- 批准号：62377001
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
载运工具飞轮储能用定子永磁型对转双转子高速电机系统关键技术研究
- 批准号：52377042
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
融合量子力学和人工智能技术发展高精度共价药物CADD工具Cov_DOX
- 批准号：22373039
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于社会网络动态分析的参与式社区更新设计策略、技术工具及治理机制研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
微细工具电极在线液膜电化学刻蚀形态调控技术研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000231947-2017 - 财政年份：2019
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000231947-2017 - 财政年份：2018
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2017
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2016
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs
Compiler Tools and Techniques
编译器工具和技术
- 批准号：
1000223884-2010 - 财政年份：2014
- 资助金额：
$ 14.57万 - 项目类别：
Canada Research Chairs