Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs
用于 VLSI 设计形式验证的高效算法
基本信息
- 批准号：5210294
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：1995
- 资助国家：德国
- 起止时间：1994-12-31 至 1998-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（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 }}
Professor Dr. Hans Jürgen Prömel其他文献
Professor Dr. Hans Jürgen Prömel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Hans Jürgen Prömel', 18)}}的其他基金
Approximative, randomisierte und probalistische Algorithmen für kombinatorische Optimierungsprobleme
组合优化问题的近似、随机和概率算法
- 批准号：
5174648 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Grants
相似国自然基金
地表与大气层顶短波辐射多分量一体化遥感反演算法研究
- 批准号：42371342
- 批准年份：2023
- 资助金额：52 万元
- 项目类别：面上项目
高速铁路柔性列车运行图集成优化模型及对偶分解算法
- 批准号：72361020
- 批准年份：2023
- 资助金额：27 万元
- 项目类别：地区科学基金项目
随机密度泛函理论的算法设计和分析
- 批准号：12371431
- 批准年份：2023
- 资助金额：43.5 万元
- 项目类别：面上项目
基于全息交通数据的高速公路大型货车运行风险识别算法及主动干预方法研究
- 批准号：52372329
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
强磁场作用下两相铁磁流体动力学相场模型的高精度数值算法研究
- 批准号：12361074
- 批准年份：2023
- 资助金额：27 万元
- 项目类别：地区科学基金项目
相似海外基金
Effiziente Algorithmen zur induktiven Programmsynthese
归纳程序综合的高效算法
- 批准号：
42267097 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Effiziente Algorithmen zur Simulation von inkrementellen Umformverfahren
用于模拟增量成形过程的高效算法
- 批准号：
5406040 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes
Effiziente Algorithmen zur Simulation von inkrementellen Umformverfahren
用于模拟增量成形过程的高效算法
- 批准号：
5406042 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes
Effiziente Algorithmen zur numerischen Beschreibung nicht-adiabatischer Quanten-Effekte in der Moleküldynamik
分子动力学中非绝热量子效应数值描述的高效算法
- 批准号：
5272718 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Research Grants
Effiziente numerische Algorithmen zur Simulation komplexer strömungsmechanischer Aufgaben auf MIMD-Parallelrechnern (D 3)
在 MIMD 并行计算机上模拟复杂流体力学任务的高效数值算法 (D 3)
- 批准号：
5357299 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Collaborative Research Centres