课题基金 / 基金详情

Programming Methodology for Multi-Core Concurrency and Adaptation

Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
批准号:
203416-2012
负责人:
Sekerinski, Emil
金额:
$1.02万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2014
资助国家:
加拿大
项目状态:
已结题
起止时间:
2014-01-01 至 2015-12-31

项目摘要

项目成果

Sekerinski, Emil的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Today's software-intensive systems range from mobile devices to products with embedded software to worldwide-networked systems. As we become increasingly dependent on software, the reliability of software is of increasing concern to society. Our long-term goal is the ideal of "correct software". The contributions of this project are making the design and evolution of software more reliable by addressing two issues: concurrency and adaptation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Theories and Tools for Sustainable Programming
  • 批准号:
    RGPIN-2017-06692
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $3.79万
  • 财政年份:
    2021
  • 负责人:
    Sekerinski, Emil
  • 依托单位:
Theories and Tools for Sustainable Programming
  • 批准号:
    RGPIN-2017-06692
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.89万
  • 财政年份:
    2020
  • 负责人:
    Sekerinski, Emil
  • 依托单位:
Theories and Tools for Sustainable Programming
  • 批准号:
    RGPIN-2017-06692
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.89万
  • 财政年份:
    2019
  • 负责人:
    Sekerinski, Emil
  • 依托单位:
Theories and Tools for Sustainable Programming
  • 批准号:
    RGPIN-2017-06692
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.89万
  • 财政年份:
    2018
  • 负责人:
    Sekerinski, Emil
  • 依托单位:
海外基金