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