软件学报
来源：本站原创 更新：2016/8/31 字体：
大 小
.jpg)
有界闭域上的线性赋值循环终止性分析
李轶 吴文渊 冯勇一种面向非干扰的线程程序逻辑
李沁 曾庆凯 袁志祥面向规则DOACROSS循环的流水并行代码自动生成
刘晓娴 赵荣彩 赵捷 徐金龙基于高斯过程的缺陷定位方法
陈理国 刘超支持大规模个性化功能需求的服务网络构建
王忠杰 徐飞 徐晓飞一种面向多用户的负载感知动态服务选择模型
朱勇 李伟 罗军舟Tabular表达式的指称语义研究
张鹏 刘磊 刘华虓 金英基于可信度的辩论模型及争议评价算法
熊才权 欧阳勇 梅清稀疏近似最近特征空间嵌入标签传播
陶剑文 Fu-Lai CHUNG 王士同 姚奇富区分3种否定的模糊命题逻辑系统及其应用
潘正华一种可信终端运行环境远程证明方案
谭良 陈菊一种面向机会网络路由的最优停止决策方法
张三 论文QQ81995535 峰 黄迪 陈州 吴国新结构化对等网测量方法研究
闫佳 应凌云 刘海峰 苏璞睿 冯登国基于冲突指示和分组隐藏节点冲突解析策略
李拥军 谢嵘 谭晓青网络虚拟化环境中面向服务聚合的映射算法
江逸茗 兰巨龙 程东年 王志明一种高吞吐量、高可扩展数据中心网络结构
朱桂明 谢向辉 郭得科 陆菲菲 陶志荣移动低占空比传感网邻居发现算法
陈良银 颜秉姝 张靖宇 胡剑波 刘振磊 刘燕 徐正坤 罗谦《软件学报》投稿指南
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
