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

2017年第28卷第4期目录

   
浏览其它刊期:  
  

本期目录

NuTL2PFG:νTL公式的可满足性检查
  刘尧,段振华,田聪
  2017,28(4):898-906 [摘要(1867)]  [PDF 1.18 M (1080)]
  
一种随机化的软件模型生成方法
  何啸,李文峰,张天,麻志毅,邵维忠,胡长军
  2017,28(4):907-924 [摘要(2158)]  [PDF 2.14 M (945)]
  
向量并行度指导的循环SIMD向量化方法
  高伟,韩林,赵荣彩,徐金龙,陈超然
  2017,28(4):925-939 [摘要(2091)]  [PDF 1.69 M (1497)]
  
融合网络环境下快速可靠的服务组合容错方法
  张俊娜,王尚广,孙其博,杨放春
  2017,28(4):940-958 [摘要(2059)]  [PDF 2.17 M (1378)]
  
轨迹大数据:数据处理关键技术研究综述
  高强,张凤荔,王瑞锦,周帆
  2017,28(4):959-992 [摘要(5098)]  [PDF 3.58 M (9189)]
  
社会网络中的团队形成问题研究综述
  黄健斌,孙晓晶,周瑜,吕泽,孙鹤立,贾晓琳
  2017,28(4):993-1009 [摘要(3539)]  [PDF 2.26 M (1836)]
  
网络安全态势感知综述
  龚俭,臧小东,苏琪,胡晓艳,徐杰
  2017,28(4):1010-1026 [摘要(4302)]  [PDF 1.93 M (5783)]
  
片上多核处理器Cache一致性协议优化研究综述
  胡森森,计卫星,王一拙,陈旭,付文飞,石峰
  2017,28(4):1027-1047 [摘要(2345)]  [PDF 2.45 M (2061)]
  

专刊文章

程序设计语言与系统前沿专题前言
  冯新宇,陈海波
  2017,28(4):745-746 [摘要(1589)]  [PDF 385.43 K (1299)]
  
获取访存依赖:并发程序动态分析基础技术综述
  蒋炎岩,许畅,马晓星,吕建
  2017,28(4):747-763 [摘要(1783)]  [PDF 1.89 M (1479)]
  
面向国产异构众核系统的Parallel C语言设计与实现
  何王全,刘勇,方燕飞,魏迪,漆锋滨
  2017,28(4):764-785 [摘要(1946)]  [PDF 4.97 M (1208)]
  
通过抽象程序证明复杂具体程序
  李彬,汤震浩,翟娟,赵建华
  2017,28(4):786-803 [摘要(1848)]  [PDF 2.10 M (1112)]
  
基于通信Petri网的异步通信程序验证模型
  杨启哲,李国强
  2017,28(4):804-818 [摘要(1623)]  [PDF 1.69 M (1640)]
  
基于Z3的Coq自动证明策略的设计和实现
  张恒若,付明
  2017,28(4):819-826 [摘要(2043)]  [PDF 1.03 M (1609)]
  
C/C++程序静态内存泄漏警报自动确认方法
  李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东
  2017,28(4):827-844 [摘要(1987)]  [PDF 2.02 M (1558)]
  
数据中心中DVFS对程序性能影响模型的设计
  李登辉,赵家程,崔慧敏,冯晓兵
  2017,28(4):845-859 [摘要(1650)]  [PDF 1.96 M (1178)]
  
污点分析技术的原理和实践应用
  王蕾,李丰,李炼,冯晓兵
  2017,28(4):860-882 [摘要(2062)]  [PDF 2.49 M (5462)]
  
拟态防御Web服务器设计与实现
  仝青,张铮,张为华,邬江兴
  2017,28(4):883-897 [摘要(1903)]  [PDF 1.75 M (2726)]
  
 

京公网安备 11040202500064号

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