停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2006年第6届FMCAD：美国加利福尼亚州圣何塞

>主页 >会议和研讨会 >FMCAD公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/fmcad/2006
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2006
计算机辅助设计中的形式方法，第六届国际会议，FMCAD 2006，美国加利福尼亚州圣何塞，2006年11月12-16日，会议记录。 IEEE计算机学会 2006，国际标准图书编号0-7695-2707-8

硬件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GloklerBSSHRMR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GloklerBSSHRMR06
蒂尔曼·格勒,杰森·鲍姆加特纳,Devi Shanmugam公司,A.E.（里克）塞格勒,加里·范·胡本,巴林加托·拉曼德雷,哈里·莫尼,保罗·罗斯勒:
通过多算法形式推理实现大规模普适逻辑验证。 3-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KhasidashviliSKH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KhasidashviliSKH06
苏拉布·卡西达什维利,马塞洛·斯卡巴,达尔·凯斯,齐亚德·汉纳:
重新启动后的等效性和硬件的组成验证。 11-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KrsticCKO06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KrsticCKO06
萨瓦·克里斯蒂,乔迪·科尔塔德拉,迈克尔·基希内夫斯基,约翰·奥利里:
同步弹性网络。 19-30

基于SAT的方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KimS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KimS06
Hyondeuk Kim公司,法比奥·萨蒙齐:
整数差分逻辑的有限实例化。 31-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GregoireMP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GregoireMP06
埃里克·格雷戈里,贝特朗迷宫,塞德里克馅饼:
跟踪MUS和严格不一致封面。 39-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SheiniS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SheiniS06
侯赛因·M·希尼,卡伦·萨卡拉:
Ario：线性整数算术逻辑求解器。 47-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BrienM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BrienM06
卡梅伦·布里恩,莎拉·马利克:
通过可视化分析了解现代DPLL SAT解算器的动态行为。 49-50

软件验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CookKS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CookKS06
拜伦·库克,丹尼尔·克罗宁,娜塔莎·莎莉吉娜:
创建无限线程的超近似布尔程序。 53-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/RungtaM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/RungtaM06
内哈·隆塔,埃里克·默瑟:
用于有向软件模型检查的改进距离启发函数。 60-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GharianGBTMS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GhamarianGBTMS06
阿米尔·侯赛因·加马里安,马克·盖伦,特万·巴斯滕,巴特·德塞伦,穆罕默德·雷扎·穆萨维,桑德·斯图伊克:
同步数据流图的活性和有界性。 68-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/FaberM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/FaberM06
约翰内斯·费伯,罗兰·梅耶:
欧洲列车控制系统的模型检查数据相关实时特性。 76-77

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ChenYGC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChenYGC06
陈晓芳,于阳,加内什·戈帕拉克里什南,周庆孙:
使用假设/保证降低多核一致性协议的验证复杂性。 81-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PigorschSD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PigorschSD06
弗洛里安·皮戈什,克里斯托夫·斯科尔,Stefan Disch公司:
基于AIG、BDD扫描和量化器调度的高级无边界模型检查。 89-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Darbari06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Darbari06网址
阿什什·达巴里:
STE模型检查的对称简化。 97-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NejatiGC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NejatiGC06
希瓦·内贾蒂,米哈拉·乔尔吉,玛莎·契契克:
再次进行彻底检查。 106-116

自动机理论方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JobstmannB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JobstmanB06
芭芭拉·朱布斯曼,罗德里克·布隆:
LTL合成优化。 117-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CimattiRST06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiRST06
亚历山德罗·西马蒂,马可·罗维里,西蒙·塞姆普林尼,斯特凡诺·托内塔:
从PSL到NBA：模块化符号编码。 125-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ChakiS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChakiS06
萨加尔·查基,Nishant Sinha公司:
僵局的假设保证推理。 134-144

定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Au-HaimedDB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Au-HaimedDB06
胡萨姆·阿布·海姆,大卫·L·迪尔,谢尔盖·贝雷津:
硬件验证中量化一阶公式有效性检验的一种改进方法。 145-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GordonRHK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GordonRHK06
迈克尔·J·C·戈登,詹姆斯·雷诺兹,沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼:
HOL和ACL2的集成。 153-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcd/SawadaR06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SawadaR06
Jun Sawada先生,埃里克·里伯:
ACL2SIX：用于集成定理证明程序和自动验证工具的提示。 161-170

测试和验证应用程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/HelmstetterMMM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HelmstetterMMM06
克劳德·赫尔姆斯特特,弗洛伦斯·马兰尼奇,劳伦特·梅勒特·康托斯,马蒂厄·莫伊:
自动生成时间表以提高系统芯片测试覆盖率。 171-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ShekharKME06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ShekharKME06
纳姆拉塔·谢哈尔,普里扬克·卡拉,M.布兰登·梅雷迪斯,弗洛里安·恩内斯库:
有限字长操作数算术数据路径等价性验证的模拟边界。 179-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MoinudeenHT06文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MoinudeenHT06网站
哈贾·莫努丁,阿里·哈比比,索菲涅·塔哈尔:
PCI-X总线验证设计。 187-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AdullahAT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AdullahAT06网址
阿布·纳赛尔·穆罕默德·阿卜杜拉,贝扎德·阿克巴普尔,索菲涅·塔哈尔:
使用HOL对OFDM调制解调器设计进行形式化分析和验证。 189-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Schmaltz06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Schmaltz06
朱利安·施马耳茨:
较低系统层的形式化模型。 191-192

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。