课题基金 / 基金详情

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
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=549892
关键词：
Testinganalysisconcurrentheterogeneouscomputing

项目摘要

项目成果

Bradbury, Jeremy的其他基金

相似基金

相关文献

中文摘要
翻译
提出的研究计划的主要目标是加强为多核和异构计算系统（例如，在单个芯片上具有多个CPU和GPU的系统）编写的软件的测试和分析。在此之前，我们已经评估了不同的并发（多核）故障检测技术，包括测试、静态分析和模型检查。我们的结果使我们能够将不同类型的故障检测工具组合在一起，以提高并发错误检测的有效性和效率。拟议的研究将以先前的研究为基础，同时在几个新的方向上进行扩展：
英文摘要
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
  • 负责人：
    刘兵
  • 依托单位：
    南通大学