首页>外文会议>Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on

Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Equivalence checking: a rule-based approach

机译：等效检查：基于规则的方法
- 作者：Fujita M.;Shankar S.;Shunsuke S.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
2.A semantic-driven synthesis flow for platform-based design

机译：基于语义的基于平台的设计的综合流程
- 作者：Qi Zhu;Davare A.;Sangiovanni-Vincentelli A.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
3.A verified development of hardware using CSP/spl par/B

机译：使用CSP / spl par / B的经过验证的硬件开发
- 作者：McEwan A.A.;Schneider S.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
4.Games for formal design and verification of reactive systems

机译：正式设计和验证反应堆系统的游戏
- 作者：Alur R.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
5.Scalable program analysis using Boolean satisfiability

机译：使用布尔可满足性的可扩展程序分析
- 作者：Aiken A.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
6.Programming models and languages for SoC-implemented architectures

机译：SoC实现的架构的编程模型和语言
- 作者：Gupta R.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
7.Integrating design and verification - from simple idea to practical system

机译：集成设计和验证-从简单的想法到实际的系统
- 作者：Seger C.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
8.Formal methods for checking realizability of coalitions in 3-party systems

机译：检查三方系统中联盟可实现性的形式方法
- 作者：Banerjee A.;Dasgupta P.;Chakrabarti P.P.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
9.Assertion checking of control dominated systems with nonlinear solvers

机译：具有非线性求解器的控制主导系统的断言检查
- 作者：Ugarte I.;Sanchez P.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
10.Compositional interaction specifications for SystemC

机译：SystemC的成分交互规范
- 作者：Doucet F.;Krueger I.H.;Gupta R.;Shyamasundar R.K.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
11.R-SHIM: deterministic concurrency with recursion and shared variables

机译：R-SHIM：具有递归和共享变量的确定性并发
- 作者：Tardieu O.;Edwards S.A.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
12.Copyright

机译：版权
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
13.Message from the Chairs

机译：主席致辞
- 作者：Gupta R.K.;Hoe J.C.;Palsberg J.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
14.Organizers and Program Committee Members

机译：组织者和计划委员会成员
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
15.Proceedings. Fourth ACM IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) (IEEE Cat. No. 06EX1398)

机译：议事录。第四届ACM和IEEE国际会议的正式设计方法和模型。（MEMOCODE'06）（IEEE目录号06EX1398）
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
16.Keynote Talk I

机译：主题演讲一
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
17.Session I: Model Checking

机译：第一节：模型检查
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
18.Poster Presentations: Abstracts

机译：海报展示：摘要
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
19.Author Index

机译：作者索引
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
20.Session II: Rule-based HW Design

机译：第二节：基于规则的硬件设计
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
21.Session III: HW Verification

机译：第三场：硬件验证
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
22.Panel I: Nano-Computing: Do we need New Formal Approaches to Co-Design?

机译：第一讲：纳米计算：我们需要新的正式方法进行协同设计吗？
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
23.Panel: Nano-computing - do we need new formal approaches ?

机译：小组讨论：纳米计算-我们需要新的正式方法吗？
- 作者：Hsiao M.;Shukla S.;Gokhale M.;Lebeck A.
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
24.Keynote Talk II

机译：主题演讲II
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
25.Session IV: Transaction-level Modeling

机译：第四场：交易级建模
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
26.Panel II: Programming Models and Languages for SOC-Implemented Architectures

机译：第二部分：SOC实现架构的编程模型和语言
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
27.Session V: Time and Clocks

机译：第五场：时间和时钟
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
28.Keynote Talk III

机译：主题演讲III
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
29.Session VI: Scheduling and Analysis

机译：第六场：计划与分析
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》
30.Table of Contents

机译：目录
- 会议名称：《Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on》