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

软件学报 2010年第12期杂志 文档列表

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

软件缺陷发现时序过程的叠加双阻尼振荡模型第2999-3010页

关键词: 软件缺陷；  缺陷发现；  缺陷发现模型；  时序；  

面向OpenMP和OpenTM应用的并行数据重用理论第3011-3028页

关键词: 并行应用；  重用；  局部性；  多核；  openmp；  opentm；  

风险驱动的软件项目缓冲分配方法第3029-3041页

关键词: 软件项目管理；  计划变更；  风险；  缓冲分配；  过程模拟；  人力资源约束；  

虚拟计算环境中基于重复博弈的惩罚激励机制第3042-3055页

关键词: 自主元素；  信誉；  协作；  行为规范；  惩罚激励；  

一种用于字节码程序模块化验证的逻辑系统第3056-3067页

关键词: 程序模块化验证；  字节码；  类hoare逻辑系统；  

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

一种求解度约束最小生成树问题的优化算法第3068-3081页

关键词: 度约束最小生成树；  遗传算法；  嫁接；  剪接；  

基于记忆库拉马克进化算法的作业车间调度第3082-3093页

关键词: 作业车间调度；  多种群遗传算法；  记忆库；  拉马克进化；  局部搜索；  模拟退火；  

蛋白质序列比对算法在众核结构上的并行优化第3094-3105页

关键词: 序列比对算法；  众核；  并行；  优化；  

一种高效的凸连通子图枚举算法第3106-3115页

关键词: 凸连通子图；  有向无环图；  数据流图；  枚举；  可配置处理器；  定制指令；  

区间上非线性程序的终止性判定第3116-3123页

关键词: 程序验证；  终止性分析；  非线性程序；  不动点；  周期轨；  

2011年Web信息系统与Web挖掘国际会议2011年人工智能与计算智能国际会议征文通知第3123-3123页

关键词: web信息系统；  web挖掘；  国际会议；  计算智能；  人工智能；  征文通知；  太原理工大学；  太原市；  

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

高效节能的无线传感器网络覆盖保持协议第3124-3137页

关键词: 无线传感器网络；  覆盖质量；  冗余度；  节点调度；  节能；  

无线Ad Hoc网络中QoS感知的跨层资源分配算法第3138-3150页

关键词: 资源分配；  ad；  hoc网络；  服务质量；  跨层技术；  价格；  

应用层组播的时延受限高稳定性生成树算法第3151-3164页

关键词: 应用层组播；  稳定性；  瞬态稳定度模型；  生成树算法；  启发式策略；  

几类旋转对称布尔函数的密码学性质第3165-3174页

关键词: 布尔函数；  对称布尔函数；  旋转对称布尔函数；  代数免疫阶；  代数次数；