| |
2014年第25卷第6期目录
本期目录 | | | 有界闭域上的线性赋值循环终止性分析 | | | 李轶,吴文渊,冯勇 | | | 2014,25(6):1133-1142 | | | [摘要](3976) [PDF 614.59 K](5567) | | | 一种面向非干扰的线程程序逻辑 | | | 李沁,曾庆凯,袁志祥 | | | 2014,25(6):1143-1153 | | | [摘要](3441) [PDF 590.74 K](5648) | | | 面向规则DOACROSS循环的流水并行代码自动生成 | | | 刘晓娴,赵荣彩,赵捷,徐金龙 | | | 2014,25(6):1154-1168 | | | [摘要](3810) [PDF 1.00 M](6139) | | | 基于高斯过程的缺陷定位方法 | | | 陈理国,刘超 | | | 2014,25(6):1169-1179 | | | [摘要](3987) [PDF 627.35 K](6417) | | | 支持大规模个性化功能需求的服务网络构建 | | | 王忠杰,徐飞,徐晓飞 | | | 2014,25(6):1180-1195 | | | [摘要](3771) [PDF 1.10 M](6649) | | | 一种面向多用户的负载感知动态服务选择模型 | | | 朱勇,李伟,罗军舟 | | | 2014,25(6):1196-1211 | | | [摘要](4255) [PDF 1.12 M](6488) | | | Tabular表达式的指称语义研究 | | | 张鹏,刘磊,刘华虓,金英 | | | 2014,25(6):1212-1224 | | | [摘要](4718) [PDF 647.60 K](6670) | | | 基于可信度的辩论模型及争议评价算法 | | | 熊才权,欧阳勇,梅清 | | | 2014,25(6):1225-1238 | | | [摘要](4464) [PDF 357.53 K](7600) | | | 稀疏近似最近特征空间嵌入标签传播 | | | 陶剑文,Fu-Lai CHUNG,王士同,姚奇富 | | | 2014,25(6):1239-1254 | | | [摘要](3828) [PDF 1.03 M](6536) | | | 区分3种否定的模糊命题逻辑系统及其应用 | | | 潘正华 | | | 2014,25(6):1255-1272 | | | [摘要](3402) [PDF 951.29 K](6019) | | | 一种可信终端运行环境远程证明方案 | | | 谭良,陈菊 | | | 2014,25(6):1273-1290 | | | [摘要](3741) [PDF 1.37 M](8304) | | | 一种面向机会网络路由的最优停止决策方法 | | | 张三峰,黄迪,陈州,吴国新 | | | 2014,25(6):1291-1300 | | | [摘要](4957) [PDF 655.24 K](6988) | | | 结构化对等网测量方法研究 | | | 闫佳,应凌云,刘海峰,苏璞睿,冯登国 | | | 2014,25(6):1301-1315 | | | [摘要](3753) [PDF 831.17 K](6297) | | | 基于冲突指示和分组隐藏节点冲突解析策略 | | | 李拥军,谢嵘,谭晓青 | | | 2014,25(6):1316-1327 | | | [摘要](5531) [PDF 679.11 K](6400) | | | 网络虚拟化环境中面向服务聚合的映射算法 | | | 江逸茗,兰巨龙,程东年,王志明 | | | 2014,25(6):1328-1338 | | | [摘要](3602) [PDF 650.07 K](7082) | | | 一种高吞吐量、高可扩展数据中心网络结构 | | | 朱桂明,谢向辉,郭得科,陆菲菲,陶志荣 | | | 2014,25(6):1339-1351 | | | [摘要](4599) [PDF 1.46 M](7186) | | | 移动低占空比传感网邻居发现算法 | | | 陈良银,颜秉姝,张靖宇,胡剑波,刘振磊,刘燕,徐正坤,罗谦 | | | 2014,25(6):1352-1368 | | | [摘要](4056) [PDF 949.42 K](6802) | |
|
