默认搜索操作

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

问别人

2012年第12届FMCAD：英国剑桥

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2012
詹皮罗·卡波迪,萨特南·辛格:
计算机辅助设计中的形式化方法，FMCAD 2012，英国剑桥，2012年10月22日至25日。电气与电子工程师协会 2012，国际标准图书编号978-1-4673-4832-4

教程

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Fisher12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Fisher12
贾斯敏·费舍尔:
细胞生物学中的形式化方法。 1
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Schaub12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Schaub12
托尔斯滕·绍布:
答案集编程。 2
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Feron12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Feron12
埃里克·费隆:
航空航天应用的形式化方法。三
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Cimati公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Cimatti12网站
亚历山德罗·西马蒂:
SMT求解器在混合系统验证中的应用。 4

主题演讲

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Hoare12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Hoare12
托尼·霍尔:
并行设计代数。 5

并发软件验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/SinhaMG12会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SinhaMG12
阿纳布·辛哈,莎拉·马利克,阿尔蒂·古普塔:
用于检测多线程程序中不确定性的有效预测分析。 6-15
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Kahlon12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Kahlon12
维尼特·卡隆:
并发程序中的自动锁插入。 16-23
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/AdullaARS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AdullaARS12
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,Othmane Rezine公司,贾里·斯坦曼:
有预算的多按钮系统。 24-33

SAT和模型检查算法

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/GoldbergM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GoldbergM12
尤金·戈德堡,Manolios帕纳焦蒂斯:
依赖序列消除量词。 34-43
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HoderKKV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HoderKKV12
克里斯托夫·霍德,苏拉布·卡西达什维利,康斯坦丁柯罗文,安德烈·沃伦科夫:
一阶子句化的预处理技术。 44-51
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/克莱森12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ClaessenS12
科恩·克莱森,尼古拉斯·索伦森:
一种重要的活性检查算法。 52-59

机器代码和内存验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HuntK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HuntK12
沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼:
支持高效执行的大型内存的形式化模型。 60-67
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/SinhaSMSW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SinhaSMSW12
罗希特·辛哈,辛西娅·斯特顿,Petros Maniatis公司,桑吉特·塞希亚,大卫·A·瓦格纳:
用小世界和短世界进行验证。 68-77
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/MyreenGS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MyreenGS12
马格努斯·奥·米林,迈克尔·J·C·戈登,康拉德·斯林德:
分解为逻辑-改进。 78-81

合成、测试和调试的形式化方法

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Frehse传真12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/FrehseFAYD12
斯特凡·弗雷斯,格什温·菲,埃利·阿贝尔,凯伦·约拉夫,罗尔夫·德雷克斯勒:
通过插值完成有效的稳健性检查。 82-90
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/EhlersKH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/EhlersKH12
吕迪格·埃勒斯,罗伯特·科尼霍弗,乔治·霍夫雷克:
符号合成小电路。 91-100
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/KengV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KengV12
布莱恩·肯,安德烈亚斯·维尼里斯:
在正式验证环境中自动调试缺少的输入约束。 101-105

软件和行为硬件验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/BeyerW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BeyerW12
德克·贝尔,菲利普·温德勒:
软件模型检查算法：谓词抽象与影响。 106-113
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/SeryFS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SeryFS12
昂德雷·塞里,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜:
通过基于插值的函数摘要进行增量升级检查。 114-121
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/CimattiNR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiNR12
亚历山德罗·西马蒂,伊曼·纳拉萨姆迪亚,马可·罗维里:
参数化系统设计的验证。 122-130

算术电路和GPU的形式化验证技术

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HallerGBK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HallerGBK12
利奥波德·哈勒,阿尔贝托·格里乔,马丁·布莱恩,丹尼尔·克罗宁:
用系统抽象确定浮点逻辑。 131-140
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/LovLPSE12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LovLPSE12
阿列克谢·利沃夫,路易斯·阿方索·拉斯特拉斯·蒙塔尼奥,维雷什·帕鲁西,罗伯特·沙多文,阿里·埃尔·泽因:
使用计算代数几何对纠错电路进行形式验证。 141-148
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/KiranKumarGG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KiranKumarGG12
V.M.Achutha KiranKumar先生,阿尔蒂·古普塔,拉杰尼什·格哈尔（Rajnish Ghughal）:
符号轨迹评估：下一代英特尔&#xAE；处理器图形FPU的主要验证工具。 149-156

自动提取/约简技术

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/XuWMB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/XuWMB12
徐家钊,马克·威廉姆斯,哈里·莫尼,杰森·鲍姆加特纳:
通过基于动态网表的自动提示生成增强可达性分析。 157-164
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/YanG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YanG12
赵燕,马克·格林斯特雷特:
振荡器验证概率为1。 165-172
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/VizelGS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/VizelGS12
亚基尔·维泽尔,奥尔娜·格伦伯格,莎伦·肖姆:
硬件模型检查中的惰性抽象和基于SAT的可达性。 173-181
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/BaumgartnerIMM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BaumgartnerIMM12
杰森·鲍姆加特纳,亚历山大·伊夫里,Arie Matsliah公司,哈里·莫尼:
IC3引导的抽象。 182-185

邀请的谈话

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/Stewart12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Stewart12
达里尔·斯图尔特:
正式面向所有人——可实现多核设计和验证的挑战。 186

解算器应用程序

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/CimattiMT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiMT12
亚历山德罗·西马蒂,塞尔吉奥·莫弗,斯特凡诺·托内塔:
非线性混合自动机的无量词SMT编码。 187-195
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/张SS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ShangSS12
张燕（音译）,斯里拉姆·桑卡拉纳拉亚南,法比奥·萨蒙齐:
非线性器件的分段线性建模，用于模拟电路的形式验证。 196-203
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/YangBL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YangBL12
杨扬,雷布,李宣东:
向前和向后：从两个方向检查线性混合自动机的有界模型。 204-208

管理网站设置

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