Modeling and verification of heterogeneous microsystems

异构微系统的建模与验证

基本信息

  • 批准号：
    194302-2005
  • 负责人：
    Tahar, Sofiène
  • 金额：
    $ 2.33万
  • 依托单位：
    Concordia University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    2009
  • 资助国家：
    加拿大
  • 起止时间：
    2009-01-01 至 2010-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Tahar, Sofiène其他文献

Tahar, Sofiène的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Tahar, Sofiène', 18)}}的其他基金

System safety assessment for IMA architectures using formal methods
使用形式化方法对 IMA 架构进行系统安全评估
  • 批准号：
    492772-2015
  • 财政年份：
    2016
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    194302-2010
  • 财政年份：
    2014
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    194302-2010
  • 财政年份：
    2013
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    194302-2010
  • 财政年份：
    2012
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    396095-2010
  • 财政年份：
    2012
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    396095-2010
  • 财政年份：
    2011
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    194302-2010
  • 财政年份：
    2011
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    194302-2010
  • 财政年份：
    2010
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Individual
Medical Grade Universal Smart Battery Charger and Power Supply
医疗级通用智能电池充电器和电源
  • 批准号：
    397927-2010
  • 财政年份：
    2010
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号：
    396095-2010
  • 财政年份：
    2010
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements

相似海外基金

CAREER: Leveraging Heterogeneous Manycore Systems for Scalable Modeling, Simulation and Verification of Nanoscale Integrated Circuits
职业：利用异构众核系统进行纳米级集成电路的可扩展建模、仿真和验证
  • 批准号：
    2041519
  • 财政年份：
    2020
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Continuing Grant
Development and verification of model describing spatiotemporal dynamics of traffic flow consists of heterogeneous vehicles
描述异构车辆交通流时空动态模型的开发和验证
  • 批准号：
    16K18164
  • 财政年份：
    2016
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
XPS: EXPL: CCA: Verification and Optimization Tools for Heterogeneous Memory Consistency Models
XPS：EXPL：CCA：异构内存一致性模型的验证和优化工具
  • 批准号：
    1533837
  • 财政年份：
    2015
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Standard Grant
CAREER: Leveraging Heterogeneous Manycore Systems for Scalable Modeling, Simulation and Verification of Nanoscale Integrated Circuits
职业：利用异构众核系统进行纳米级集成电路的可扩展建模、仿真和验证
  • 批准号：
    1350206
  • 财政年份：
    2014
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Continuing Grant
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks
SHF:Small:协作研究：异构软件协议栈的组合验证
  • 批准号：
    1421678
  • 财政年份：
    2014
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Standard Grant
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks
SHF:Small:协作研究：异构软件协议栈的组合验证
  • 批准号：
    1422705
  • 财政年份：
    2014
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Standard Grant
SBIR Phase I: Dynamic Data-Plane Verification in Heterogeneous Networks
SBIR 第一阶段：异构网络中的动态数据平面验证
  • 批准号：
    1315095
  • 财政年份：
    2013
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Standard Grant
RI: Small: Hierarchical Feature Learning by Heterogeneous Networks with Application to Face Verification
RI：小型：异构网络的分层特征学习及其在人脸验证中的应用
  • 批准号：
    1318971
  • 财政年份：
    2013
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Continuing Grant
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming
异构多核编程的高级形式验证技术
  • 批准号：
    EP/G051100/2
  • 财政年份：
    2011
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Fellowship
Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming
异构多核编程的高级形式验证技术
  • 批准号：
    EP/G051100/1
  • 财政年份：
    2009
  • 资助金额：
    $ 2.33万
  • 项目类别：
    Fellowship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了