停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

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

问别人

2009年第7届MEMOCODE：美国马萨诸塞州剑桥

>主页 >会议和研讨会 >备忘录代码

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/memocode/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/2009
2009年7月13日至15日在美国马萨诸塞州剑桥市举行的第七届ACM/IEEE国际协同设计形式方法和模型会议（MEMOCODE 2009）。电气与电子工程师协会 2009，国际标准图书编号978-1-4244-4806-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/PnueliK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/PnueliK09
阿米尔·普努利，乌里·克莱因:
根据时间属性规范合成程序。 1-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GanaiL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GanaiL09
马来语K.Ganai，李伟红:
实事求是：简化和安排验证引擎以有效利用资源。 8-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/YunKSHC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/YunKSHC09
郑汉云，金卓珠，苏奈·苏，Taisook Han先生，Kwang-Moo Choe先生:
通过Esterel中的图可达性提炼精神分裂症。 18-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GuglielmoFP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GuglielmoFP09
路易吉·迪·古列尔莫，佛朗哥·富米，格拉齐亚诺·普拉瓦德利:
突变分析在属性鉴定中的作用。 28-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/Bohm09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/Bohm09
彼得·伯姆:
PCI Express事务层的增量建模和验证。 36-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/GaravelHPS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/GaravelHPS09
休伯特·加拉维，克劳德·赫尔姆斯特特，奥利维尔·波西尼，温德林·塞维:
使用LOTOS和CADP验证工业SystemC/TLM模型。 46-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/SarbisheiTAF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/SarbisheiTAF09
Omid Sarbishei公司，马哈茂德·塔班德，比扬·阿利扎德，藤田正弘:
具有验证功能的有限位宽整数乘法器的高级优化。 56-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BrewerH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BrewerH09
福雷斯特·布鲁尔，詹姆斯·霍伊:
2009年MEMOCODE联合设计大赛。 66-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/RosenbandR09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/RosenbandR09
丹尼尔·罗森班德，直到罗森班德:
设计案例研究：CPU与GPGPU与FPGA。 69-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/AgarwalDFKKNV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/AgarwalDFKKNV09
阿比纳夫·阿加瓦尔，尼拉夫·戴夫，Kermin Fleming公司，阿西夫·汗，迈伦·金，Man Cheuk Ng公司，穆拉利达兰·维贾亚拉哈万:
实现一个快速笛卡尔极坐标矩阵插值器。 73-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/Harel09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/Harel09
哈雷尔:
我们能把大象电脑化吗？ 77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/LunguBSGJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/LunguBSGJ09
安妮塔·伦古，Pradip Bose公司，丹尼尔·索林，史蒂文·德文，吉尔特·詹森:
多核电源管理：通过早期正式验证确保稳健性。 78-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/WilliamsSUMGH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/WilliamsSUMGH09
丹尼尔·威廉姆斯，三亚Aprotim，丹·厄普顿，杰森·马尔斯，Sudeep Ghosh公司，金·哈泽尔伍德:
异构性和可靠性的跨层方法。 88-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/ChungH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/ChungH09
埃里克·S·钟，詹姆斯·霍伊:
实现高性能多线程微处理器：高级设计和验证的案例研究。 98至107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/Pop09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/Pop09
托马斯·波普:
介绍实施攻击和对策。 108-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/Rinard09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/Rinard09
马丁·里纳德:
合成硬件系统的生存策略。 116-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BozzanoCRKNN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BozzanoCRKNN09
马可·波扎诺，亚历山德罗·西马蒂，马可·罗维里，Joost-Pieter Katoen公司，越南元，托马斯·诺尔:
可靠系统的协同设计：一种基于组件的建模语言。 121-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/FerrandiLPT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/FerrandiLPT09
法布里奇奥·费兰迪，马可·拉图阿达，克里斯蒂安·皮拉托，安东尼诺·图米奥:
结合顺序路径分析和控制依赖区域的任务图的性能估计。 131-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BriandJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BriandJ09
泽维尔·布兰德，伯特兰·珍妮特:
在混合系统的验证中结合控制和数据抽象。 141-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/VasudevanE09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/VasudevanE09
纳利尼·瓦苏德万，斯蒂芬·爱德华兹:
类CSP程序中的缓冲区共享。 151-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BrandtS09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BrandtS09
延斯·勃兰特，克劳斯·施耐德:
同步程序的静态数据流分析。 161-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/VijayaraghavanA09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/VijayaraghavanA09
穆拉利达兰·维贾亚拉哈万，阿尔文德:
有界数据流网络和延迟不敏感电路。 171-180

服务

管理网站设置

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