停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第五届FMCAD 2004：美国德克萨斯州奥斯汀

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2004
艾伦·J·胡,安德鲁·马丁:
计算机辅助设计中的形式方法，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀，2004年11月15日至17日，会议记录。计算机科学课堂讲稿3312,施普林格 2004，国际标准图书编号3-540-23738-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Wolf04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Wolf04
韦恩·沃尔夫:
系统级设计中的挑战。 1-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Sheeran04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Sheeran04
玛丽·希兰:
使用聪明的电路生成快速乘法器。 6-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/DangDM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DangDM04
陶当（Thao Dang）,亚历山大·唐泽,奥德·马勒:
使用混合系统技术验证模拟和混合信号电路。 21-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AkbarpourT04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AkbarpourT04
贝扎德·阿克巴普尔,索菲涅·塔哈尔:
HOL中FFT算法的形式化验证方法。 37-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SchmaltzB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SchmaltzB04
朱利安·施马耳茨,多米尼克·博里奥内:
片上网络形式化规范的功能方法。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/RayM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/RayM04
山迪雷,J斯特罗瑟·摩尔:
操作语义学中的证明风格。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ManoliosV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ManoliosV04
Manolios帕纳焦蒂斯,达伦·弗隆:
将顺序算法推理集成到ACL2中。 82-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AagaardCHK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AagaardCHK04
马克·D·阿加德,弗拉德·C·丘波塔里奥,杰森·希金斯,法扎德·哈瓦蒂:
结合等效验证和完成功能。 98-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AagaardDJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AagaardDJ04
马克·D·阿加德,南希·A·戴,罗伯特·琼斯:
管道验证的同步失效。 113-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ArditiBK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ArditiBK04
劳伦特·阿迪蒂,杰拉德·贝瑞,迈克尔·基希内夫斯基:
顺序优化酯类设计的后期设计变更（ECO）。 128-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MoonP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MoonP04
In-Ho月球,卡尔·皮克斯利:
通过比较不同可变顺序的BDD进行基于非分钟的组合等价性检查。 144-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MonyBPKK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MonyBPKK04
哈里·莫尼,杰森·鲍姆加特纳,维雷什·帕鲁西,罗伯特·坎泽尔曼,安德烈亚斯·库尔曼:
通过专家系统引导的转换实现可扩展的自动验证。 159-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Zarpas04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Zarpas04
伊曼纽尔·扎尔帕斯:
基于SAT的有界模型检查的简单而有效的改进。 174-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/LatvalaBHJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LatvalaBH 04
蒂莫·拉塔瓦拉,阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉:
简单有界LTL模型检查。 186-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GiunchigliaNT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GiunchigliaNT04网址
恩里科·朱奇利亚,马西莫·纳里扎诺,阿曼多·塔切拉:
QuBE++：一个高效的QBF解算器。 201-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PennaIMTZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PennaIMTZ04
朱塞佩·德尔拉·佩纳,贝内代托·因特里吉拉,伊戈尔·梅拉蒂,恩里科·特隆西,玛丽莎·文丘里尼·齐利:
用Mur检验有界概率模型阿尔法验证人。 214-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AwedhS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AwedhS04
穆罕默德·阿威德,法比奥·萨蒙齐:
通过计算可达状态的下限来提高有界模型检查的鲁棒性。 230-244
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcd/CimattiRS04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiRS04
亚历山德罗·西马蒂,马可·罗维里,丹尼尔·谢里丹:
过去LTL的有限验证。 245-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcd/AmlaM04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AmlaM04
尼娜·阿姆拉,肯尼思·麦克米兰:
基于反例和基于证明的抽象的混合。 260-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GrumbergSY04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GrumbergSY04网站
奥尔娜·格伦伯格,阿萨夫·舒斯特,阿维·亚德加:
内存高效的所有解决方案SAT求解器及其在可达性分析中的应用。 275-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NopperS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NopperS04
托拜厄斯·诺珀,克里斯托夫·斯科尔:
不完整设计的近似符号模型检查。 290-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GurfinkelC04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GurfinkelC04网址
阿里·古芬克尔,玛莎·切奇克:
延长延长真空度。 306-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SamerV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SamerV04
马尔科·萨默,赫尔穆特·维思:
参数化真空度。 322-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ClaessenM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ClaessenM04
科恩·克莱森,约翰·马尔滕森:
弱PSL的操作语义。 337-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BrimCMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BrimCMS04
卢博斯·布里姆,伊万娜·塞拉,帕维尔·莫拉维克,吉里·西姆萨:
在分布式LTL模型检查中，接受前置器优于后缘。 352-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/DillingrM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DillingrM04
彼得·迪林杰,Manolios帕纳焦蒂斯:
概率验证中的Bloom过滤器。 367-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ChouMP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChouMP04
周庆孙,Phanindra K.Mannava公司,Seungjoon公园:
一种简单的Cache一致性协议参数化验证方法。 382-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SahooIJSNDE04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ShahooIJSNDE04
德巴希斯·萨胡,Subramanian K.Iyer公司,贾瓦哈·贾因,克里斯蒂安·斯坦吉尔,阿米特·纳拉扬,大卫·L·迪尔,E.Allen爱默生:
基于BDD的验证的分区方法。 399-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/StangierS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/StangierS04
克里斯蒂安·斯坦吉尔,托马斯·西德尔:
结合向前和向后遍历的不变量检查。 414-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/YangA04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YangA04
资江杨,拉杰夫·阿鲁尔:
有效图像计算的变量重用。 430-444

服务

管理网站设置

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