软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2013年第01期杂志 文档列表

软件学报杂志算法设计与分析

随机可满足实例集上警示传播算法的收敛性第1-11页

关键词: 警示传播算法；  收敛性分析；  相变；  可满足性问题；  

供应链协商调度模型与算法第12-24页

关键词: 供应链；  调度；  协商；  协同演化；  算法；  

基于点的POMDPs在线值迭代算法第25-36页

关键词: 部分可观察马尔可夫决策过程；  信念状态；  基于点的算法；  在线算法；  与或树；  

软件学报杂志系统软件与软件工程

字符串分析研究进展第37-49页

关键词: 程序分析；  字符串分析；  约束求解；  

云计算环境下分布式缓存技术的现状与挑战第50-66页

关键词: 分析框架；  云计算；  分布式缓存；  

网络计算中间件第67-76页

关键词: 网络计算环境；  中间件；  云计算；  虚拟化；  服务化；  物联网；  

任务并行编程模型研究与进展第77-90页

关键词: 任务并行；  并行编程模型；  任务窃取调度；  并行性表达；  

软件学报杂志模式识别与人工智能

移动推荐系统及其应用第91-108页

关键词: 移动推荐系统；  上下文；  社会化网络；  应用；  综述；  

基于分辨粒度的gROC曲线分析方法第109-120页

关键词: 机器学习；  模型选择；  分类；  roc曲线；  粒度；  

软件学报杂志计算机网络与信息安全

BGP安全研究第121-138页

关键词: bgp；  前缀劫持；  路由泄漏；  路由认证；  前缀劫持检测；  

移动对等网络覆盖网第139-152页

关键词: 移动对等网络；  覆盖网；  移动自组网；  车辆自组网；  无线mesh网络；  博弈论；  跨层设计；  

基于接收阈值的容延网络拥塞控制机制第153-163页

关键词: 容延网络；  单副本；  拥塞控制；  中继节点；  接收阈值；  

多跳无线网络中路径端到端容量的准确计算第164-174页

关键词: 端到端容量；  ieee；  802；  11；  多跳无线网络；  多速率传输；  

《软件学报》投稿指南第F0003-F0003页

关键词: 计算机软件；  投稿指南；  学报；  学术期刊；  计算机科学；  研究成果；  软件技术；  交流平台；