Synthesis of Concurrent Programs

并发程序的综合

基本信息

批准号：
510107-2017
负责人：
Krastnikov, Simeon
金额：
$ 0.33万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2017
资助国家：
加拿大
起止时间：
2017-01-01 至 2018-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=623997
关键词：
Synthesis Concurrent Programs

项目摘要

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 }}

Krastnikov, Simeon其他文献

Krastnikov, Simeon的其他文献

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

相似国自然基金

面向服役滚珠丝杠进给系统并发退化状态识别的深度多源域泛化研究

批准号：
52305090
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

多UAV协作的大规模传感网并发充电模型及其服务机制研究

批准号：
62362017
批准年份：
2023
资助金额：
32 万元
项目类别：
地区科学基金项目

基于超声影像智能分析技术在评估伴发妊娠期并发症胎儿肺成熟度中的应用

批准号：
82302196
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

中性粒细胞胞外陷阱在HIV眼部并发症中的作用机制研究

批准号：
82301262
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

面向高并发软件的可扩展建模与分析技术研究

批准号：
62302375
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

相似海外基金

CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs

职业：用于综合并发程序的易于处理的形式方法

批准号：
0096356
财政年份：
2000
资助金额：
$ 0.33万
项目类别：
Continuing Grant