Building object-oriented programs for embedded systems
Building object-oriented programs for embedded systems
批准号:
203416-1998
负责人:
Sekerinski, Emil
金额:
$1.26万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2000
资助国家:
加拿大
项目状态:
已结题
起止时间:
2000-01-01 至 2001-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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万
-
财政年份:2014
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
关于图像处理模型的目标函数构造及其数值方法研究
-
批准号:11071228
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2010
-
负责人:郭晓霞
-
依托单位:
基于受管理运行时系统的大型软件内存泄漏论问题及解决方法研究
-
批准号:61073010
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:史晓华
-
依托单位:
应用ISOCS监测侵蚀区土壤中137Cs,210Pbex,7Be的适用性
-
批准号:40701099
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2007
-
负责人:张晴雯
-
依托单位:
面向对象软件规格说明的形式化验证与确认
-
批准号:60373072
-
项目类别:面上项目
-
资助金额:24.0万元
-
批准年份:2003
-
负责人:缪淮扣
-
依托单位: