刷新
{{item.name}}会员
Finding concurrency bungs in real systems
寻找真实系统中的并发问题
基本信息
- 批准号：382437-2009
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2009
- 资助国家：加拿大
- 起止时间：2009-01-01 至 2010-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 }}
Eisner, Daniel其他文献
Eisner, Daniel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
CRII: SHF: An Automated and User-centered Framework for Reproducing System-level Concurrency Bugs by Analyzing Bug Reports
CRII：SHF：通过分析错误报告来重现系统级并发错误的自动化且以用户为中心的框架
- 批准号：
2348277 - 财政年份：2024
- 资助金额：
$ 0.33万 - 项目类别：
Standard Grant
SHF:Small:Concurrency In Reversible Computations
SHF:Small:可逆计算中的并发
- 批准号：
2242786 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Standard Grant
AF: Medium: Concurrency and Adaptive Self-Organization in Anonymous Dynamic Networks
AF：中：匿名动态网络中的并发性和自适应自组织
- 批准号：
2312537 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Standard Grant
Concurrency and Approximate Reasoning
并发和近似推理
- 批准号：
RGPIN-2020-05715 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Programming Language Type Systems and Concurrency
编程语言类型系统和并发性
- 批准号：
RGPIN-2020-03908 - 财政年份：2022
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
CaMELot: Catching and Mitigating Event-Loop Concurrency Issues
CaMELot：捕获并缓解事件循环并发问题
- 批准号：
EP/V007165/1 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Research Grant
Programming Language Type Systems and Concurrency
编程语言类型系统和并发性
- 批准号：
RGPIN-2020-03908 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Concurrency and Approximate Reasoning
并发和近似推理
- 批准号：
RGPIN-2020-05715 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Concurrency and Approximate Reasoning
并发和近似推理
- 批准号：
RGPIN-2020-05715 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual
Programming Language Type Systems and Concurrency
编程语言类型系统和并发性
- 批准号：
RGPIN-2020-03908 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
Discovery Grants Program - Individual