软件学报

2014年第25卷第6期目录

浏览其它刊期:

本期目录

有界闭域上的线性赋值循环终止性分析

李轶,吴文渊,冯勇

2014,25(6):1133-1142 [摘要(3405)] [PDF(4643)614.59 K][HTML(1366)]

一种面向非干扰的线程程序逻辑

李沁,曾庆凯,袁志祥

2014,25(6):1143-1153 [摘要(3043)] [PDF(4637)590.74 K][HTML(1252)]

面向规则DOACROSS循环的流水并行代码自动生成

刘晓娴,赵荣彩,赵捷,徐金龙

2014,25(6):1154-1168 [摘要(3225)] [PDF(5105)1.00 M][HTML(1365)]

基于高斯过程的缺陷定位方法

陈理国,刘超

2014,25(6):1169-1179 [摘要(3481)] [PDF(5397)627.35 K][HTML(1435)]

支持大规模个性化功能需求的服务网络构建

王忠杰,徐飞,徐晓飞

2014,25(6):1180-1195 [摘要(3096)] [PDF(5673)1.10 M][HTML(1239)]

一种面向多用户的负载感知动态服务选择模型

朱勇,李伟,罗军舟

2014,25(6):1196-1211 [摘要(3583)] [PDF(5396)1.12 M][HTML(1306)]

本期目录

Tabular表达式的指称语义研究

张鹏,刘磊,刘华虓,金英

2014,25(6):1212-1224 [摘要(4046)] [PDF(5551)647.60 K][HTML(1668)]

基于可信度的辩论模型及争议评价算法

熊才权,欧阳勇,梅清

2014,25(6):1225-1238 [摘要(3831)] [PDF(6390)357.53 K][HTML(1702)]

本期目录

稀疏近似最近特征空间嵌入标签传播

陶剑文,Fu-Lai CHUNG,王士同,姚奇富

2014,25(6):1239-1254 [摘要(3248)] [PDF(5476)1.03 M][HTML(1353)]

区分3种否定的模糊命题逻辑系统及其应用

潘正华

2014,25(6):1255-1272 [摘要(2838)] [PDF(4966)951.29 K][HTML(1191)]

一种可信终端运行环境远程证明方案

谭良,陈菊

2014,25(6):1273-1290 [摘要(3181)] [PDF(7149)1.37 M][HTML(1797)]

本期目录

一种面向机会网络路由的最优停止决策方法

张三峰,黄迪,陈州,吴国新

2014,25(6):1291-1300 [摘要(4237)] [PDF(5937)655.24 K][HTML(1308)]

本期目录

结构化对等网测量方法研究

闫佳,应凌云,刘海峰,苏璞睿,冯登国

2014,25(6):1301-1315 [摘要(3199)] [PDF(5237)831.17 K][HTML(1324)]

本期目录

基于冲突指示和分组隐藏节点冲突解析策略

李拥军,谢嵘,谭晓青

2014,25(6):1316-1327 [摘要(4967)] [PDF(5302)679.11 K][HTML(1316)]

本期目录

网络虚拟化环境中面向服务聚合的映射算法

江逸茗,兰巨龙,程东年,王志明

2014,25(6):1328-1338 [摘要(3073)] [PDF(5385)650.07 K][HTML(1289)]

一种高吞吐量、高可扩展数据中心网络结构

朱桂明,谢向辉,郭得科,陆菲菲,陶志荣

2014,25(6):1339-1351 [摘要(3862)] [PDF(6152)1.46 M][HTML(1432)]

移动低占空比传感网邻居发现算法

陈良银,颜秉姝,张靖宇,胡剑波,刘振磊,刘燕,徐正坤,罗谦

2014,25(6):1352-1368 [摘要(3436)] [PDF(5799)949.42 K][HTML(1351)]

本期目录

本期目录

本期目录

本期目录

本期目录

本期目录

本期目录

快速直达

用微信扫一扫