2014年第25卷第2期目录
嵌入式系统软件设计方法与技术专刊前言李宣东,于戈2014,25(2):177-178 [摘要(5522)] [PDF(7922)270.80 K][HTML(2461)]面向WCET估计的Cache分析研究综述吕鸣松,关楠,王义2014,25(2):179-199 [摘要(6577)] [PDF(8969)1.21 M][HTML(4269)]嵌入式机载软件安全性分析标准、方法及工具研究综述黄志球,徐丙凤,阚双龙,胡军,陈哲2014,25(2):200-218 [摘要(7192)] [PDF(18612)1.13 M][HTML(3407)]混成系统形式化验证卜磊,解定宝2014,25(2):219-233 [摘要(5937)] [PDF(10173)1017.21 K][HTML(3626)]可组合嵌入式软件建模与验证技术研究综述王博,白晓颖,贺飞,XiaoyuSONG2014,25(2):234-253 [摘要(5342)] [PDF(8549)1.15 M][HTML(2883)]基于程序访存模式的低功耗存储技术章铁飞,陈天洲,吴剑钟2014,25(2):254-266 [摘要(5041)] [PDF(8578)792.97 K][HTML(3870)]嵌入式系统开发中敏捷方法的应用研究综述荣国平,刘天宇,谢明娟,陈婕妤,张贺,陈道蓄2014,25(2):267-283 [摘要(6910)] [PDF(11752)1.06 M][HTML(2815)]多处理器混合关键性系统中的划分调度策略谷传才,关楠,于金铭,王义,邓庆绪2014,25(2):284-297 [摘要(6049)] [PDF(9029)955.04 K][HTML(3106)]GPU上两阶段负载调度问题的建模与近似算法孙景昊,邓庆绪,孟亚坤2014,25(2):298-313 [摘要(5695)] [PDF(8067)978.50 K][HTML(3223)]一种优化的闪存地址映射方法张琦,王林章,张天,邵子立2014,25(2):314-325 [摘要(5422)] [PDF(8808)867.99 K][HTML(3088)]一种面向无线传感网应用重编程的逻辑式编程语言朱晓瑞,陶先平,谢宏伟,吕建2014,25(2):326-340 [摘要(5856)] [PDF(7952)962.22 K][HTML(2696)]同步数据流语言可信编译器的构造石刚,王生原,董渊,嵇智源,甘元科,张玲波,张煜承,王蕾,杨斐2014,25(2):341-356 [摘要(6791)] [PDF(9430)1.16 M][HTML(2974)]基于区域内存模型的C程序静态分析董玉坤,金大海,宫云战,邢颖2014,25(2):357-372 [摘要(5657)] [PDF(9425)958.92 K][HTML(2957)]嵌入式API测试套生成方法和技术赵会群,孙晶,张爆,王同林2014,25(2):373-385 [摘要(6177)] [PDF(8398)1.18 M][HTML(2815)]基于缺陷关联的静态分析优化张大林,金大海,宫云战,王前,董玉坤,张海龙2014,25(2):386-399 [摘要(5865)] [PDF(7957)930.24 K][HTML(2749)]信息物理融合系统的时间需求一致性分析尹玲,陈小红,刘静2014,25(2):400-418 [摘要(17624)] [PDF(8616)1.24 M][HTML(2711)]分布式嵌入式系统的自适应能耗管理和分析范贵生,虞慧群,陈丽琼,刘冬梅2014,25(2):419-438 [摘要(5980)] [PDF(10265)1.24 M][HTML(3046)]
