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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Theories and Tools for Sustainable Programming
-
批准号:RGPIN-2017-06692
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.89万
-
财政年份:2017
-
负责人:Sekerinski, Emil
-
依托单位:
Programming Methodology for Multi-Core Concurrency and Adaptation
-
批准号:203416-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:2015
-
负责人:Sekerinski, Emil
-
依托单位:
Programming Methodology for Multi-Core Concurrency and Adaptation
-
批准号:203416-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:2013
-
负责人:Sekerinski, Emil
-
依托单位:
Programming Methodology for Multi-Core Concurrency and Adaptation
-
批准号:203416-2012
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:2012
-
负责人:Sekerinski, Emil
-
依托单位:
Languages and tools for the construction of verifiable programs
-
批准号:203416-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.74万
-
财政年份:2010
-
负责人:Sekerinski, Emil
-
依托单位:
Languages and tools for the construction of verifiable programs
-
批准号:203416-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.74万
-
财政年份:2009
-
负责人:Sekerinski, Emil
-
依托单位:
Languages and tools for the construction of verifiable programs
-
批准号:203416-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.74万
-
财政年份:2008
-
负责人:Sekerinski, Emil
-
依托单位:
Languages and tools for the construction of verifiable programs
-
批准号:203416-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.74万
-
财政年份:2007
-
负责人:Sekerinski, Emil
-
依托单位:
Languages and tools for the construction of verifiable programs
-
批准号:203416-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.74万
-
财政年份:2006
-
负责人:Sekerinski, Emil
-
依托单位:
Proof-carrying programs
-
批准号:203416-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2005
-
负责人:Sekerinski, Emil
-
依托单位:
Proof-carrying programs
-
批准号:203416-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2004
-
负责人:Sekerinski, Emil
-
依托单位:
Compiling object-oriented action-based concurrency
-
批准号:300280-2004
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$1.27万
-
财政年份:2003
-
负责人:Sekerinski, Emil
-
依托单位:
Proof-carrying programs
-
批准号:203416-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2003
-
负责人:Sekerinski, Emil
-
依托单位:
Proof-carrying programs
-
批准号:203416-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2002
-
负责人:Sekerinski, Emil
-
依托单位:
Building object-oriented programs for embedded systems
-
批准号:203416-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.26万
-
财政年份:2001
-
负责人:Sekerinski, Emil
-
依托单位:
Building object-oriented programs for embedded systems
-
批准号:203416-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.26万
-
财政年份:2000
-
负责人:Sekerinski, Emil
-
依托单位:
海外基金