课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
拟议研究方案的主要目标是加强对为多核和异类计算系统(例如，在单个芯片上具有多个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
  • 负责人：
    刘兵
  • 依托单位：
    南通大学