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