课题基金 / 基金详情

Detection and prevention of atomicity violations in multi-core execution environments

Detection and prevention of atomicity violations in multi-core execution environments
多核执行环境中原子性违规的检测和预防
批准号：
402658-2010
负责人：
Lie, David
金额：
$1.82万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Engage Grants Program
财政年份：
2010
资助国家：
加拿大
项目状态：
已结题
起止时间：
2010-01-01 至 2011-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=471851
关键词：
Detectionpreventionatomicityviolationsmulti

项目摘要

项目成果

Lie, David的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
As of 2009, informal reports put the population of the world at 6.8 billion and the number of cell phones at 4.6
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
  • 批准号：
    RGPIN-2018-05931
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2022
  • 负责人：
    Lie, David
  • 依托单位：
    University of Toronto
Secure and Reliable Systems
  • 批准号：
    CRC-2019-00242
  • 项目类别：
    Canada Research Chairs
  • 资助金额：
    $14.57万
  • 财政年份：
    2022
  • 负责人：
    Lie, David
  • 依托单位：
    University of Toronto
A Machine Learning Approach to Detecting Security Vulnerabilities in Software.
  • 批准号：
    RGPIN-2018-05931
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.04万
  • 财政年份：
    2021
  • 负责人：
    Lie, David
  • 依托单位：
    University of Toronto
Tools and methods for detecting vulnerabilities in embedded devices
  • 批准号：
    535902-2018
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $5.19万
  • 财政年份：
    2021
  • 负责人：
    Lie, David
  • 依托单位：
    University of Toronto
国内基金
海外基金
基于MFSD2A调控血迷路屏障跨细胞囊泡转运机制的噪声性听力损失防治研究
  • 批准号：
    82371144
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    汪雪玲
  • 依托单位：
    上海交通大学
职业因素致慢性肌肉骨骼损伤模型及防控研究
黄淮海平原典型区域土壤盐渍化演变机制与发生风险防控对策研究
超声防垢阻垢机理的动态力学分析
  • 批准号：
    10574086
  • 项目类别：
    面上项目
  • 资助金额：
    35.0万元
  • 批准年份：
    2005
  • 负责人：
    张明铎
  • 依托单位：
    陕西师范大学