停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第八届FMCAD 2008：美国俄勒冈州波特兰

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2008
亚历山德罗·西马蒂,罗伯特·琼斯:
计算机辅助设计中的形式方法，FMCAD 2008，美国俄勒冈州波特兰，2008年11月17日至20日。电气与电子工程师协会 2008，国际标准图书编号978-1-4244-2735-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Hardin08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Hardin08
大卫·S·哈丁:
受邀教程：安全关键型和安全关键型应用微处理器的设计和验证考虑因素。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/案例BBM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CaseMBBM08
迈克尔·凯斯,阿兰·米什琴科,罗伯特·K·布雷顿,杰森·鲍姆加特纳,哈里·莫尼:
依赖状态元素的不变强化消除。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BaumgartnerMA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BaumgartnerMA08
杰森·鲍姆加特纳,哈里·莫尼,阿德南·阿齐兹:
最优约束保持网表简化。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MishchenkoB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MishchenkoB08
阿兰·米什琴科,罗伯特·K·布雷顿:
记录合成历史以进行顺序验证。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PaulaGHWY08型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PaulaGHWY08
弗拉维奥·德·保拉,马塞尔·戈特,艾伦·J·胡,史蒂芬·J·E·威尔顿,金阳:
BackSpace：硅后调试的形式化分析。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SmithD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SmithD08
埃里克·惠特曼·史密斯,大卫·L·迪尔:
块密码实现的自动形式验证。 1-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/YanG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YanG08
赵燕,马克·格林斯特雷特:
验证仲裁器电路。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Slobodova08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Slobodova08网址
安娜·斯洛博多娃:
高级加密标准硬件支持的正式验证。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BuLWL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BuLWL08
雷布,李优,王林章（Linzhang Wang）,李宣东:
BACH：线性混合自动机的有界可复性CHecker。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/TalupurT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/TalupurT08
穆拉利·塔卢普尔,马克·塔特尔:
顺其自然：使用消息流进行参数化验证。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Bingham08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Bingham08网站
杰西·宾厄姆:
用于参数化模型检查的自动无干扰引理。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MariMSTACL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MariMSTACL08
费德里科·马里,伊戈尔·梅拉蒂,伊万诺·萨尔沃,恩里科·特隆西,洛伦佐·阿尔维西,艾伦·克莱门特,哈里·C·李:
MAD分布式系统中Nash均衡的模型检验。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GoldwasserSF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GoldwasserSF08
丹·戈德瓦瑟,奥弗·斯特里赫曼,Shai Fine公司:
一种基于理论的DPLL（T）决策启发式算法。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BofillNORR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BofillNORR08
米克尔·博菲尔,罗伯特·尼文胡斯,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·鲁比奥:
一种基于写入的SAT模求解器——阵列理论。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/哈根T08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HagenT08
乔治·哈根,塞萨尔·蒂内利:
使用基于SMT的技术扩大Lustre程序的形式验证。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Bjesse08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Bjesse08
根据Bjesse:
用于模型检查的字级顺序内存抽象。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GurfinkelC08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GurfinkelC08
阿里·古芬克尔,萨加尔·查基:
结合谓词和数字抽象进行软件模型检查。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BohmM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BohmM08
彼得·博姆,汤姆·梅尔姆:
一种改进的片上通信协议设计和验证方法。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Sinha08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Sinha08网址
Nishant Sinha公司:
使用术语重写和泛化的符号程序分析。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MyreenGS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MyreenGS08
马格努斯·奥·米林,迈克尔·J·C·戈登,康拉德·斯林德:
多体系结构的机器代码验证——逻辑反编译的应用。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/HartelRG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HartelRG08
彼得·哈特尔,西奥·C·鲁伊斯,马克·C·W·盖伦:
SPIN调度优化以最小化同步数据流中的缓冲区需求。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/TabakovKVS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/TabakovKVS08
戴安·塔巴科夫,吉拉·卡米,莫舍·瓦尔迪,埃利·辛格曼:
SystemC的一种时态语言。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/EisnerF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/EisnerF08
辛迪·艾斯纳,达娜·菲斯曼:
用局部变量扩充基于正则表达式的时态逻辑。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/节流阀GS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChocklerGS08
哈娜·查克勒,阿里·古芬克尔,奥弗·斯特里赫曼:
超越空虚：迈向最强的传球公式。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KupfermanLS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KupfermanLS08
奥尔娜·库普夫曼,李文超,桑吉特·塞希亚:
突变理论及其在真空度、覆盖率和容错方面的应用。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CabodiCGMNQ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CabodiCGMNQ08
詹皮罗·卡波迪,保罗·卡穆拉蒂,卢斯·阿曼达·加西亚,马尔科·穆尔恰诺,塞尔吉奥·诺科,斯特凡诺·奎尔:
有效无边界模型检查的Trading-Off SAT搜索和变量量化。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/SamantaDE08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SamantaDE08网站
萨曼塔屋顶,Jyotirmoy V.Deshmukh公司,E.艾伦·艾默生:
布尔程序局部修复的自动生成。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BiereB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BiereB08
阿明·比尔,罗伯特·布鲁迈尔:
SAT解算器中位向量上所有不同约束的一致性检查。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/HuntKRY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HuntKRY08
沃伦·亨特（Warren A.Hunt Jr.）。,罗伯特·贝拉明·克鲁格,山迪雷,威廉·D·杨:
通过归纳断言进行机械化信息流分析。 1-4

服务

管理网站设置

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