2014年第25卷第6期目录

   
浏览其它刊期:  
  

本期目录

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

本期目录

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

本期目录

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

本期目录

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

本期目录

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

本期目录

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

本期目录

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