HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

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

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14819

软件学报 2007年第09期杂志 文档列表

软件学报杂志算法设计与分析
量子克隆多播路由算法第2063-2069页
关键词: 多播路由;  bsma;  克隆算子;  量子交叉;  时延限制;  
有Mate-Pairs的个体单体型MSR问题的参数化算法第2070-2082页
关键词: 单核苷酸多态性;  基因型;  单体型;  参数化算法;  计算复杂度;  
Seventeenth International World Wide Web Conference (WWW2008)第2082-2082页
关键词: 第十七届国际会议;  环球网;  iw3c2;  2008年;  软件开发;  
三维装箱问题的组合启发式算法第2083-2089页
关键词: 三维装箱;  启发式算法;  拟人;  模拟退火算法;  
三元家庭基因数据的单体分型和单体型频率估计第2090-2099页
关键词: 基因型;  单体型;  snp;  单体分型弹体型频率估计;  三元家庭;  em算法;  
P3P问题的多解现象的概率研究第2100-2104页
关键词: p3p问题;  多解现象;  蒙特卡洛方法;  
软件学报杂志系统软件与软件工程
高效的部分冗余容错编译:复制错误流关键子图第2105-2116页
关键词: 面向硬件故障的软件容错;  错误流模型;  关键子图;  部分冗余;  容错编译;  
一种基于性能模型的中间件自配置框架第2117-2129页
关键词: java;  服务质量;  性能模型;  自配置;  分层排队网络;  
基于Assume—Guarantee搜索复用的C程序验证方法第2130-2140页
关键词: 变量抽象;  程序近似语义;  部分最强后置条件;  
基于SPEM2XPDL模型转换的软件过程执行第2141-2152页
关键词: 软件过程执行;  process;  engineering;  工作流;  definition;  
工作流时序约束模型分析与验证方法第2153-2161页
关键词: 工作流;  时序约束;  验证;  时序逻辑;  
软件学报杂志模式识别与人工智能
基于多通道融合的连续手写识别纠错方法第2162-2173页
关键词: 错误纠正;  多通道融合;  手写识别;  语音;  音素;  加权音素;  
形式概念分析对粗糙集理论的表示及扩展第2174-2182页
关键词: 粗糙集;  形式概念分析;  名义梯级背号;  平面梯级;  概念格;  
交互式进化计算的适应值噪声及收敛鲁棒性第2183-2193页
关键词: 进化计算;  噪声;  鲁棒;  占优;  收敛;  
软件学报杂志计算机网络与信息安全
Xmesh:一个mesh—like片上网络拓扑结构第2194-2204页
关键词: 拓扑;  路由算法;  性能分析;  负载模式;  片上网络;