刷新
{{item.name}}会员
Interface synthesis for embedded systems
嵌入式系统的接口综合
基本信息
- 批准号：194387-2000
- 负责人：
- 金额：$ 1.23万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2002
- 资助国家：加拿大
- 起止时间：2002-01-01 至 2003-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.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 }}
Khordoc, Karim其他文献
Khordoc, Karim的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Khordoc, Karim', 18)}}的其他基金
Interface synthesis for embedded systems
嵌入式系统的接口综合
- 批准号：
194387-2000 - 财政年份：2004
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
Interface synthesis for embedded systems
嵌入式系统的接口综合
- 批准号：
194387-2000 - 财政年份：2001
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
Interface synthesis for embedded systems
嵌入式系统的接口综合
- 批准号：
194387-2000 - 财政年份：2000
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
Formal verification of interfaces
接口的形式化验证
- 批准号：
194387-1997 - 财政年份：1999
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
Formal verification of interfaces
接口的形式化验证
- 批准号：
194387-1997 - 财政年份：1998
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
Formal verification of interfaces
接口的形式化验证
- 批准号：
194387-1997 - 财政年份：1997
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
胆固醇合成蛋白CYP51介导线粒体通透性转换诱发Th17/Treg细胞稳态失衡在舍格伦综合征中的作用机制研究
- 批准号：82370976
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
“肠—肝轴”PPARα/CYP8B1胆汁酸合成信号通路在减重手术改善糖脂代谢中的作用与机制
- 批准号：82370902
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
lncGEI诱导湖羊卵巢颗粒细胞E2合成的分子机制
- 批准号：32372856
- 批准年份：2023
- 资助金额：50.00 万元
- 项目类别：面上项目
脂肪酸合成通过GDF15/IRS2介导胰岛素抵抗促进血管内皮细胞活化导致脓毒症肺损伤的机制研究
- 批准号：82372203
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
环状RNA circ-PRKAA1调控肝癌细胞脂代谢重编程的研究
- 批准号：32000527
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
ALDH6A1缺损重塑糖脂代谢促进肝细胞癌发生的机制研究
- 批准号：91957109
- 批准年份：2019
- 资助金额：79.0 万元
- 项目类别：重大研究计划
新型滤波器综合技术-直接综合技术(Direct synthesis Technique)的研究及应用
- 批准号：61671111
- 批准年份：2016
- 资助金额：58.0 万元
- 项目类别：面上项目
双硅化合物反应及天然产物合成应用研究
- 批准号：21172150
- 批准年份：2011
- 资助金额：60.0 万元
- 项目类别：面上项目
新型M4受体选择性拮抗剂的研究
- 批准号：30973615
- 批准年份：2009
- 资助金额：32.0 万元
- 项目类别：面上项目
基于penicillide结构的类天然产物合成及其胆固醇酯转运蛋白抑制的研究
- 批准号：20872019
- 批准年份：2008
- 资助金额：32.0 万元
- 项目类别：面上项目
相似海外基金
Development of reactions for bottom-up synthesis of BN-embedded carbon nanotube
自下而上合成BN嵌入碳纳米管反应的进展
- 批准号：
19K22191 - 财政年份：2019
- 资助金额：
$ 1.23万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
EAGER: Synthesis of Nano Embedded Zeolites for Water Pollutant Removal
EAGER：合成纳米嵌入沸石用于去除水污染物
- 批准号：
1650278 - 财政年份：2017
- 资助金额：
$ 1.23万 - 项目类别：
Standard Grant
Selective synthesis of transition metal ion nanoclusters embedded in zeolites for methane oxidation at low temperatures
选择性合成嵌入沸石中的过渡金属离子纳米团簇用于低温氧化甲烷
- 批准号：
326562156 - 财政年份：2017
- 资助金额：
$ 1.23万 - 项目类别：
Research Grants
Nanocomposite thin layers of in situ-embedded bismuth nanoparticles in a polymer matrix: synthesis and size-dependent thermal properties
聚合物基质中原位嵌入铋纳米颗粒的纳米复合材料薄层：合成和尺寸依赖性热性能
- 批准号：
16K13643 - 财政年份：2016
- 资助金额：
$ 1.23万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Synthesis of embedded systems satisfying quantitative constraints by formal methods
通过形式化方法综合满足定量约束的嵌入式系统
- 批准号：
16K00092 - 财政年份：2016
- 资助金额：
$ 1.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A method for behavioral synthesis of embedded LSI for dependable cyber-physical systems
一种用于可靠网络物理系统的嵌入式大规模集成电路的行为综合方法
- 批准号：
15K00081 - 财政年份：2015
- 资助金额：
$ 1.23万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Power-aware scheduling optimization and synthesis for distributed real-time embedded systems
分布式实时嵌入式系统的功耗感知调度优化与综合
- 批准号：
228114-2005 - 财政年份：2009
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual
CAREER: Analysis, Design, and Synthesis of High-Performance, Low-Power, Real-Time Embedded Systems
职业：高性能、低功耗、实时嵌入式系统的分析、设计和综合
- 批准号：
0964764 - 财政年份：2009
- 资助金额：
$ 1.23万 - 项目类别：
Continuing Grant
CAREER: System Synthesis for Self-adaptive Reconfigurable Embedded Systems
职业：自适应可重构嵌入式系统的系统综合
- 批准号：
0846129 - 财政年份：2009
- 资助金额：
$ 1.23万 - 项目类别：
Continuing Grant
Hardware-software co-synthesis of high performance embedded computers and development of smart home embedded systems for the elderly
高性能嵌入式计算机软硬件协同综合及老年智能家居嵌入式系统开发
- 批准号：
238991-2006 - 财政年份：2008
- 资助金额：
$ 1.23万 - 项目类别：
Discovery Grants Program - Individual