主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2014年第25卷第2期目录

   
浏览其它刊期:  
  

专刊文章

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

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利