课题基金 / 基金详情

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
  • 依托单位:
海外基金