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