刷新
{{item.name}}会员
C to RTL Behavioral Synthesis
C 到 RTL 行为综合
基本信息
- 批准号：389042-2009
- 负责人：
- 金额：$ 1.09万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Industrial Postgraduate Scholarships
- 财政年份：2011
- 资助国家：加拿大
- 起止时间：2011-01-01 至 2012-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 }}
Miretsky, Evgeny其他文献
Miretsky, Evgeny的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Miretsky, Evgeny', 18)}}的其他基金
C to RTL Behavioral Synthesis
C 到 RTL 行为综合
- 批准号：
389042-2009 - 财政年份：2010
- 资助金额：
$ 1.09万 - 项目类别：
Industrial Postgraduate Scholarships
C to RTL Behavioral Synthesis
C 到 RTL 行为综合
- 批准号：
389042-2009 - 财政年份：2009
- 资助金额：
$ 1.09万 - 项目类别：
Industrial Postgraduate Scholarships
相似国自然基金
Behavioral Insights on Cooperation in Social Dilemmas
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国优秀青年学者研究基金项目
相似海外基金
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究：CNS 核心：中：使用形式验证的网络控制协议的鲁棒行为分析和综合
- 批准号：
2212102 - 财政年份：2022
- 资助金额：
$ 1.09万 - 项目类别：
Standard Grant
Collaborative Research: CNS Core: Medium: Robust Behavioral Analysis and Synthesis of Network Control Protocols Using Formal Verification
合作研究：CNS 核心：中：使用形式验证的网络控制协议的鲁棒行为分析和综合
- 批准号：
2212103 - 财政年份：2022
- 资助金额：
$ 1.09万 - 项目类别：
Standard Grant
OPUS: PRAIRIE DOG SOCIETIES: SYNTHESIS OF 45 YEARS OF RESEARCH ON BEHAVIORAL ECOLOGY
作品：草原土拨鼠社会：45 年行为生态学研究综述
- 批准号：
1753829 - 财政年份：2018
- 资助金额：
$ 1.09万 - 项目类别：
Standard Grant
Automatic Synthesis of Behavioral Model using Reconstructivle Division of Acyclic Relation
使用非循环关系重构划分的行为模型自动合成
- 批准号：
17K00100 - 财政年份：2017
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A method for behavioral synthesis of embedded LSI for dependable cyber-physical systems
一种用于可靠网络物理系统的嵌入式大规模集成电路的行为综合方法
- 批准号：
15K00081 - 财政年份：2015
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
通过非循环关系的可重构分解自动综合分布式系统中的行为模型
- 批准号：
26330083 - 财政年份：2014
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems
分布式系统行为模型自动综合的Petri网理论
- 批准号：
23500045 - 财政年份：2011
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Behavioral Synthesis Technology for FPGAs
FPGA 行为综合技术
- 批准号：
22700050 - 财政年份：2010
- 资助金额：
$ 1.09万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
C to RTL Behavioral Synthesis
C 到 RTL 行为综合
- 批准号：
389042-2009 - 财政年份：2010
- 资助金额：
$ 1.09万 - 项目类别：
Industrial Postgraduate Scholarships
TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis
TC：小型：协作研究：来自经过认证的行为综合的值得信赖的硬件
- 批准号：
0916772 - 财政年份：2009
- 资助金额：
$ 1.09万 - 项目类别：
Continuing Grant