| |
2014年第25卷第2期目录
专刊文章 | | | 嵌入式系统软件设计方法与技术专刊前言 | | | 李宣东,于戈 | | | 2014,25(2):177-178 | | | [摘要](6160) [PDF 270.80 K](8975) | | | 面向WCET估计的Cache分析研究综述 | | | 吕鸣松,关楠,王义 | | | 2014,25(2):179-199 | | | [摘要](7344) [PDF 1.21 M](10117) | | | 嵌入式机载软件安全性分析标准、方法及工具研究综述 | | | 黄志球,徐丙凤,阚双龙,胡军,陈哲 | | | 2014,25(2):200-218 | | | [摘要](7954) [PDF 1.13 M](20208) | | | 混成系统形式化验证 | | | 卜磊,解定宝 | | | 2014,25(2):219-233 | | | [摘要](6667) [PDF 1017.21 K](11491) | | | 可组合嵌入式软件建模与验证技术研究综述 | | | 王博,白晓颖,贺飞,XiaoyuSONG | | | 2014,25(2):234-253 | | | [摘要](5902) [PDF 1.15 M](9677) | | | 基于程序访存模式的低功耗存储技术 | | | 章铁飞,陈天洲,吴剑钟 | | | 2014,25(2):254-266 | | | [摘要](5657) [PDF 792.97 K](9864) | | | 嵌入式系统开发中敏捷方法的应用研究综述 | | | 荣国平,刘天宇,谢明娟,陈婕妤,张贺,陈道蓄 | | | 2014,25(2):267-283 | | | [摘要](7691) [PDF 1.06 M](12958) | | | 多处理器混合关键性系统中的划分调度策略 | | | 谷传才,关楠,于金铭,王义,邓庆绪 | | | 2014,25(2):284-297 | | | [摘要](6687) [PDF 955.04 K](10211) | | | GPU上两阶段负载调度问题的建模与近似算法 | | | 孙景昊,邓庆绪,孟亚坤 | | | 2014,25(2):298-313 | | | [摘要](6444) [PDF 978.50 K](9296) | | | 一种优化的闪存地址映射方法 | | | 张琦,王林章,张天,邵子立 | | | 2014,25(2):314-325 | | | [摘要](6043) [PDF 867.99 K](9954) | | | 一种面向无线传感网应用重编程的逻辑式编程语言 | | | 朱晓瑞,陶先平,谢宏伟,吕建 | | | 2014,25(2):326-340 | | | [摘要](6618) [PDF 962.22 K](8987) | | | 同步数据流语言可信编译器的构造 | | | 石刚,王生原,董渊,嵇智源,甘元科,张玲波,张煜承,王蕾,杨斐 | | | 2014,25(2):341-356 | | | [摘要](7532) [PDF 1.16 M](10736) | | | 基于区域内存模型的C程序静态分析 | | | 董玉坤,金大海,宫云战,邢颖 | | | 2014,25(2):357-372 | | | [摘要](6242) [PDF 958.92 K](10854) | | | 嵌入式API测试套生成方法和技术 | | | 赵会群,孙晶,张爆,王同林 | | | 2014,25(2):373-385 | | | [摘要](6819) [PDF 1.18 M](9613) | | | 基于缺陷关联的静态分析优化 | | | 张大林,金大海,宫云战,王前,董玉坤,张海龙 | | | 2014,25(2):386-399 | | | [摘要](6446) [PDF 930.24 K](9282) | | | 信息物理融合系统的时间需求一致性分析 | | | 尹玲,陈小红,刘静 | | | 2014,25(2):400-418 | | | [摘要](20334) [PDF 1.24 M](10325) | | | 分布式嵌入式系统的自适应能耗管理和分析 | | | 范贵生,虞慧群,陈丽琼,刘冬梅 | | | 2014,25(2):419-438 | | | [摘要](6679) [PDF 1.24 M](11610) | |
|
