2014年第25卷第6期目录

   
浏览其它刊期:  
  

本期目录

有界闭域上的线性赋值循环终止性分析
  李轶,吴文渊,冯勇
  2014,25(6):1133-1142 [摘要(3328)]  [PDF 614.59 K (3934)]
  
一种面向非干扰的线程程序逻辑
  李沁,曾庆凯,袁志祥
  2014,25(6):1143-1153 [摘要(2971)]  [PDF 590.74 K (3850)]
  
面向规则DOACROSS循环的流水并行代码自动生成
  刘晓娴,赵荣彩,赵捷,徐金龙
  2014,25(6):1154-1168 [摘要(3122)]  [PDF 1.00 M (4229)]
  
基于高斯过程的缺陷定位方法
  陈理国,刘超
  2014,25(6):1169-1179 [摘要(3412)]  [PDF 627.35 K (4579)]
  
支持大规模个性化功能需求的服务网络构建
  王忠杰,徐飞,徐晓飞
  2014,25(6):1180-1195 [摘要(3022)]  [PDF 1.10 M (4390)]
  
一种面向多用户的负载感知动态服务选择模型
  朱勇,李伟,罗军舟
  2014,25(6):1196-1211 [摘要(3506)]  [PDF 1.12 M (4470)]
  

本期目录

Tabular表达式的指称语义研究
  张鹏,刘磊,刘华虓,金英
  2014,25(6):1212-1224 [摘要(3932)]  [PDF 647.60 K (4651)]
  
基于可信度的辩论模型及争议评价算法
  熊才权,欧阳勇,梅清
  2014,25(6):1225-1238 [摘要(3704)]  [PDF 357.53 K (5497)]
  

本期目录

稀疏近似最近特征空间嵌入标签传播
  陶剑文,Fu-Lai CHUNG,王士同,姚奇富
  2014,25(6):1239-1254 [摘要(3174)]  [PDF 1.03 M (4638)]
  
区分3种否定的模糊命题逻辑系统及其应用
  潘正华
  2014,25(6):1255-1272 [摘要(2751)]  [PDF 951.29 K (4161)]
  
一种可信终端运行环境远程证明方案
  谭良,陈菊
  2014,25(6):1273-1290 [摘要(3081)]  [PDF 1.37 M (6086)]
  

本期目录

一种面向机会网络路由的最优停止决策方法
  张三峰,黄迪,陈州,吴国新
  2014,25(6):1291-1300 [摘要(4130)]  [PDF 655.24 K (5101)]
  

本期目录

结构化对等网测量方法研究
  闫佳,应凌云,刘海峰,苏璞睿,冯登国
  2014,25(6):1301-1315 [摘要(3097)]  [PDF 831.17 K (4345)]
  

本期目录

基于冲突指示和分组隐藏节点冲突解析策略
  李拥军,谢嵘,谭晓青
  2014,25(6):1316-1327 [摘要(4882)]  [PDF 679.11 K (4460)]
  

本期目录

网络虚拟化环境中面向服务聚合的映射算法
  江逸茗,兰巨龙,程东年,王志明
  2014,25(6):1328-1338 [摘要(3011)]  [PDF 650.07 K (4462)]
  
一种高吞吐量、高可扩展数据中心网络结构
  朱桂明,谢向辉,郭得科,陆菲菲,陶志荣
  2014,25(6):1339-1351 [摘要(3736)]  [PDF 1.46 M (5284)]
  
移动低占空比传感网邻居发现算法
  陈良银,颜秉姝,张靖宇,胡剑波,刘振磊,刘燕,徐正坤,罗谦
  2014,25(6):1352-1368 [摘要(3340)]  [PDF 949.42 K (4752)]