刷新
{{item.name}}会员
Automated Debugging for SMT Solving
SMT 解决方案的自动调试
基本信息
- 批准号：563459-2021
- 负责人：
- 金额：$ 0.44万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-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 }}
Wu, ZeHou其他文献
Wu, ZeHou的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
CAREER: FET: A Top-down Compilation Infrastructure for Optimization and Debugging in the Noisy Intermediate Scale Quantum (NISQ) era
职业：FET：用于噪声中级量子 (NISQ) 时代优化和调试的自上而下的编译基础设施
- 批准号：
2421059 - 财政年份：2024
- 资助金额：
$ 0.44万 - 项目类别：
Continuing Grant
CAREER: Advancing Neural Testing and Debugging of Software
职业：推进软件的神经测试和调试
- 批准号：
2238045 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Continuing Grant
An Individual Investigator Development Plan to Improve Undergraduate Debugging Skills and Mindset
提高本科生调试技能和心态的个人研究者发展计划
- 批准号：
2321255 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
利用人工智能改进并发软件的测试和调试
- 批准号：
RGPIN-2018-06588 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
Testing and Debugging Machine Learning-based Autonomous Systems
测试和调试基于机器学习的自治系统
- 批准号：
RGPIN-2020-04035 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
Inferring rich input structure for software debugging and defence
推断丰富的输入结构用于软件调试和防御
- 批准号：
RGPIN-2020-06394 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
Testing, Debugging and Repairing Machine Learning Software at the System Level
系统级测试、调试和修复机器学习软件
- 批准号：
RGPAS-2021-00034 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
DIADEM: debugging made dependable and measurable
DIADEM：调试变得可靠且可衡量
- 批准号：
EP/W012308/1 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Research Grant
Monitoring and Debugging of High Performance Distributed Heterogeneous Cloud Applications
高性能分布式异构云应用的监控和调试
- 批准号：
554158-2020 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Alliance Grants
Testing, Debugging and Repairing Machine Learning Software at the System Level
系统级测试、调试和修复机器学习软件
- 批准号：
RGPIN-2021-02549 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual