课题基金 / 基金详情

Testing and analysis of concurrent and heterogeneous computing software

Testing and analysis of concurrent and heterogeneous computing software
并发异构计算软件测试与分析
批准号：
356003-2013
负责人：
Bradbury, Jeremy
金额：
$1.09万
依托单位：
University of Ontario Institute of Technology
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=527990
关键词：
Testinganalysisconcurrentheterogeneouscomputing

项目摘要

项目成果

Bradbury, Jeremy的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The main objective of the proposed research program is to enhance the testing and analysis of software written for multi-core and heterogeneous computing systems (e.g., systems with multiple CPU and GPU on a single chip). Previously, we have evaluated different concurrency (multi-core) fault detection techniques, including testing, static analysis and model checking. Our results have allowed us to combine the different kinds of fault detection tools together to improve both the effectiveness and efficiency of concurrency bug detection. The proposed research will build on this previous research while expanding it in several new directions:
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
Utilizing Artificial Intelligence to Improve the Testing and Debugging of Concurrent Software
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    USHARANI HAREESH GOVINDARA JAN
  • 依托单位：
    上海理工大学管理学院
利用全基因组关联分析和QTL-seq发掘花生白绢病抗性分子标记
基于SERS纳米标签和光子晶体的单细胞Western Blot定量分析技术研究
  • 批准号：
    31900571
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2019
  • 负责人：
    刘兵
  • 依托单位：
    南通大学