掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Formal Methods in Computer Aided Design
International Conference on Formal Methods in Computer Aided Design
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Symmetry Reduction for STE Model Checking
机译:
STE模型检查的对称性减少
作者:
Ashish Darbari
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
2.
Synchronous Elastic Networks
机译:
同步弹性网络
作者:
Sava Krstic
;
Jordi Cortadella
;
Mike Kishinevsky
;
John OLeary
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
3.
From PSL to NBA: a Modular Symbolic Encoding
机译:
从PSL到NBA:模块化符号编码
作者:
Alessandro Cimatti
;
Marco Roveri
;
Simone Semprini
;
Stefano Tonetta
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
4.
Design for Verification of the PCI-X Bus
机译:
设计验证PCI-X总线
作者:
Haja Moinudeen
;
Ali Habibi
;
Sofiene Tahar
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
5.
Over-Approximating Boolean Programs with Unbounded Thread Creation
机译:
具有无限性线程创建的过度布尔程序
作者:
Byron Cook
;
Daniel Kroening
;
Natasha Sharygina
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
6.
Finite Instantiations for Integer Difference Logic
机译:
整数差逻辑的有限实例化
作者:
Hyondeuk Kim
;
Fabio Somenzi
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
7.
ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool
机译:
ACL2SIX:用于集成定理先文本的提示和自动验证工具
作者:
Jun Sawada
;
Erik Reeber
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
8.
An Improved Distance Heuristic Function for Directed Software Model Checking
机译:
针对指向软件模型检查的改进距离启发式功能
作者:
Neha Rungta
;
Eric G. Mercer
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
9.
SIMULATION BOUNDS FOR EQUIVALENCE VERIFICATION OF ARITHMETIC DATAPATHS WITH FINITE WORD-LENGTH OPERANDS
机译:
具有有限字长度操作数的算术数据路径等同验证的模拟界限
作者:
Namrata Shekhar
;
Priyank Kalla
;
M. Brandon Meredith
;
Florian Enescu
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
10.
Optimizations for LTL Synthesis
机译:
LTL合成的优化
作者:
Barbara Jobstmann
;
Roderick Bloem
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
11.
A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification
机译:
用于硬件验证中量化的一阶公式的有效性检查的细化方法
作者:
Husam Abu-Haimed
;
David L. Dill
;
Sergey Berezin
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
12.
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
机译:
自动生成调度,用于提高系统上系统的测试覆盖
作者:
C. Helmstetter
;
F. Maraninchi
;
L. Maillet-Contoz
;
M. Moy
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
13.
Assume-Guarantee Reasoning for Deadlock
机译:
假设 - 保证僵局的推理
作者:
Sagar Chaki
;
Nishant Sinha
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
14.
A Coverage Analysis for Safety Property Lists
机译:
安全性质清单的覆盖率分析
作者:
Claessen Koen
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
15.
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification
机译:
工业强度SAT基对齐算法用于硬件等效验证
作者:
Kaiss Daher
;
Skaba Marcelo
;
Hanna Ziyad
;
Khasidashvili Zurab
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
16.
Fast Minimum-Register Retiming via Binary Maximum-Flow
机译:
通过二进制最大流量快速最小寄存器重新定位
作者:
Hurst Aaron P.
;
Mishchenko Alan
;
Brayton Robert K.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
关键词:
Maximum Flow.;
Retiming;
Sequential Verification;
State Minimization;
17.
Improved Design Debugging Using Maximum Satisfiability
机译:
使用最大可靠性改进设计调试
作者:
Safarpour Sean
;
Mangassarian Hratch
;
Veneris Andreas
;
Liffiton Mark H.
;
Sakallah Karem A.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
18.
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
机译:
用于广义符号轨迹评估的自动抽象细化
作者:
Chen Yan
;
He Yujing
;
Xie Fei
;
Yang Jin
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
19.
A Logic for GSTE
机译:
门的逻辑
作者:
Smith Edward
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
20.
Automated Extraction of Inductive Invariants to Aid Model Checking
机译:
自动提取归纳不变的辅助模型检查
作者:
Case Michael L.
;
Mishchenko Alan
;
Brayton Robert K.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
21.
Induction in CEGAR for Detecting Counterexamples
机译:
Cegar诱导检测反例
作者:
Wang Chao
;
Gupta Aarti
;
Ivancic Franjo
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
22.
Checking Safety by Inductive Generalization of Counterexamples to Induction
机译:
通过对诱导的反例的感应概括检查安全性
作者:
Bradley Aaron R.
;
Manna Zohar
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
23.
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
机译:
结合符号仿真和间隔算法来验证AMS设计
作者:
Zaki Mohamed H.
;
Al-Sammane Ghiath
;
Tahar Sofi`ene
;
Bois Guy
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
24.
Automatic Abstraction in Symbolic Trajectory Evaluation
机译:
象征性轨迹评估中的自动抽象
作者:
Adams Sara
;
Bjork Magnus
;
Melham Tom
;
Seger Carl-Johan
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
25.
Transaction Based Modeling and Verification of Hardware Protocols
机译:
基于事务的硬件协议建模与验证
作者:
Chen Xiaofang
;
German Steven M.
;
Gopalakrishnan Ganesh
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
26.
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
机译:
利用解决方案证明,以加快BMC的LTL真空检测
作者:
Simmonds Jocelyn
;
Davies Jessica
;
Gurfinkel Arie
;
Chechik Marsha
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
27.
Formal Analysis and Verification of an OFDM Modem Design using HOL
机译:
使用HOL的OFDM调制解调器设计的正式分析与验证
作者:
Abu Nasser M. Abdullah
;
Behzad Akbarpour
;
Sofiene Tahar
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
28.
Understanding the Dynamic Behaviour of Modern DPLL SAT Solvers through Visual Analysis
机译:
通过视觉分析了解现代DPLL SAT求解器的动态行为
作者:
Cameron Brien
;
Sharad Malik
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
29.
A Formal Model of Lower System Layers
机译:
下系统层的正式模型
作者:
Julien Schmaltz
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
30.
Model Checking Data-Dependent Real-Time Properties of the European Train Control System
机译:
模型检查欧洲列车控制系统的数据相关实时特性
作者:
Johannes Faber
;
Roland Meyer
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
31.
Ario: A Linear Integer Arithmetic Logic Solver
机译:
ARIO:线性整数算术逻辑求解器
作者:
Hossein M. Sheini
;
Karem A. Sakallah
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
32.
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee
机译:
使用假设/保证降低多核相容协议的验证复杂性
作者:
Xiaofang Chen
;
Yu Yang
;
Ganesh Gopalakrishnan
;
Ching-Tsun Chou
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
33.
Tracking MUSes and Strict Inconsistent Covers
机译:
跟踪缪斯和严格的不一致封面
作者:
Eric Gregoire
;
Bertrand Mazure
;
Cedric Piette
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
34.
Post-reboot Equivalence and Compositional Verification of Hardware
机译:
重启后的硬件等效和组合验证
作者:
Zurab Khasidashvili
;
Marcelo Skaba
;
Daher Kaiss
;
Ziyad Hanna
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
35.
An Integration of HOL and ACL2
机译:
整合HOL和ACL2
作者:
Michael J. C. Gordon
;
James Reynolds
;
Warren A. Hunt Jr.
;
Matt Kaufmann
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
36.
Liveness and Boundedness of Synchronous Data Flow Graphs
机译:
同步数据流图的情感和界限
作者:
A. H. Ghamarian
;
M. C. W. Geilen
;
T. Basten
;
B. D. Theelen
;
M. R. Mousavi
;
S. Stuijk
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
37.
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
机译:
基于AIG,BDD扫描和量化调度的高级无界模型检查
作者:
Florian Pigorsch
;
Christoph Scholl
;
Stefan Disch
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
38.
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
机译:
通过多算法正式推理实现大规模的普华逻辑验证
作者:
Tilman Glokler
;
Gary Van Huben
;
Jason Baumgartner
;
Barinjato Ramanandray
;
Devi Shanmugam
;
Hari Mony
;
Rick Seigler
;
Paul Roessler
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
39.
Thorough Checking Revisited
机译:
彻底检查重新审核
作者:
Shiva Nejati
;
Mihaela Gheorghiu
;
Marsha Chechik
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2006年
40.
A Mechanized Refinement Framework for Analysis of Custom Memories
机译:
用于分析定制记忆的机械化细化框架
作者:
Ray Sandip
;
Bhadra Jayanta
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
41.
Lifting Propositional Interpolants to the Word-Level
机译:
将命题插值提升到单词级
作者:
Kroening Daniel
;
Weissenbacher Georg
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
42.
Verifying Correctness of Transactional Memories
机译:
验证事务记忆的正确性
作者:
Cohen Ariel
;
OLeary John W.
;
Pnueli Amir
;
Tuttle Mark R.
;
Zuck Lenore D.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
关键词:
HTM;
STM;
TLA+;
TLC.;
Verification;
model checking;
transactional memory;
43.
Circuit Level Verification of a High-Speed Toggle
机译:
电路电平验证高速切换
作者:
Yan Chao
;
Greenstreet Mark R.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
44.
A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware
机译:
时钟域交叉线的正式模型和时间触发硬件的自动验证
作者:
Schmaltz Julien
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
45.
Global Optimization of Compositional Systems
机译:
全局优化组成系统
作者:
Zaraket Fadi
;
Pape John
;
Aziz Adnan
;
Jacome Magarida
;
Khurshid Sarfraz
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
46.
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
机译:
通过集成BDD和SMT求解器来计算谓词抽象
作者:
Cavada Roberto
;
Cimatti Alessandro
;
Franz麓en Anders
;
Kalyanasundaram Krishnamani
;
Roveri Marco
;
Shyamasundar R.K.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
47.
Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules
机译:
建模时间触发协议并验证其实时计划
作者:
Pike Lee
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
48.
Algorithmic Analysis of Piecewise FIFO Systems
机译:
分段FIFO系统的算法分析
作者:
Ghafari Naghmeh
;
Gurfinkel Arie
;
Klarlund Nils
;
Trefler Richard
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
49.
Boosting Verification by Automatic Tuning of Decision Procedures
机译:
通过自动调整决策程序来提高验证
作者:
Hutter Frank
;
Babic Domagoj
;
Hoos Holger H.
;
Hu Alan J.
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
关键词:
Boolean Satisfiability;
Decision Procedures;
Search Parameter Optimization;
50.
What Triggers a Behavior?
机译:
什么触发了行为?
作者:
Kupferman Orna
;
Lustig Yoad
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
51.
Cross-Entropy Based Testing
机译:
基于交叉熵的测试
作者:
Chockler Hana
;
Farchi Eitan
;
Godlin Benny
;
Novikov Sergey
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
52.
A Quantitative Completeness Analysis for Property-Sets
机译:
物业集的定量完整性分析
作者:
Oberkonig Martin
;
Schickel Martin
;
Eveking Hans
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
53.
Two-Dimensional Regular Expressions for Compositional Bus Protocols
机译:
组成总线协议的二维正则表达式
作者:
Fisler Kathi
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
54.
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs
机译:
用标记的过渡图分析对综合征的基因关系
作者:
Rungta Neha
;
Carroll Hyrum
;
Mercer Eric G
;
Roper Randall J.
;
Clement Mark
;
Snell Quinn
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
55.
Formal Verification of Partial Good Self-Test Fencing Structures
机译:
部分良好的自检围栏结构的正式验证
作者:
Seigler Adrian E.
;
Van Huben Gary A.
;
Mony Hari
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
关键词:
fencing;
formal verification;
self test;
56.
Automating Hazard Checking in Transaction-Level Microarchitecture Models
机译:
自动化危险检查交易级微体系结构模型
作者:
Mahajan Yogesh
;
Malik Sharad
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
57.
Case study: Integrating FV and DV in the Verification of the Intel#x0AE; Core^{TM} 2 Duo Microprocessor
机译:
案例研究:集成Fv和DV在英特尔®核心^ {TM} 2 Duo微处理器的验证中
作者:
Flaisher Alon
;
Gluska Alon
;
Singerman Eli
;
FMCAD
会议名称:
《International Conference on Formal Methods in Computer Aided Design》
|
2007年
意见反馈
回到顶部
回到首页