软件学报

2015年第26卷第10期目录

浏览其它刊期:

本期目录

多目标优化的测试用例优先级在线调整策略

张娜,姚澜,包晓安,董萌,桂宁

2015,26(10):2451-2464 [摘要(3789)] [PDF(5497)702.47 K][HTML(1675)]

故障检测率不规则变化的软件可靠性模型

王金勇,吴智博,舒燕君,张展

2015,26(10):2465-2484 [摘要(3457)] [PDF(5604)1.22 M][HTML(1317)]

中断驱动控制系统的有界模型检验技术

周筱羽,顾斌,赵建华,杨孟飞

2015,26(10):2485-2503 [摘要(2641)] [PDF(4736)691.95 K][HTML(1286)]

基于统计占优分析的变异测试

张功杰,巩敦卫,姚香娟

2015,26(10):2504-2520 [摘要(3161)] [PDF(5397)646.66 K][HTML(2314)]

基于关键迹和ASP的CSP模型检测

赵岭忠,翟仲毅,钱俊彦,郭云川

2015,26(10):2521-2544 [摘要(3681)] [PDF(5957)982.90 K][HTML(1684)]

可信软件非功能需求形式化表示与可满足分析

张璇,李彤,王旭,于倩,郁湧,朱锐

2015,26(10):2545-2566 [摘要(3406)] [PDF(7003)1.25 M][HTML(1630)]

具有回忆和遗忘机制的数据流挖掘模型与算法

赵强利,蒋艳凰,卢宇彤

2015,26(10):2567-2580 [摘要(3572)] [PDF(5698)1.00 M][HTML(1713)]

用户感知的重复数据删除算法

张沪寅,周景才,陈毅波,查文亮

2015,26(10):2581-2595 [摘要(3375)] [PDF(5638)1.02 M][HTML(1592)]

本期目录

基于信息元的模式匹配方法

杜小坤,李国徽,王江晴,帖军,李艳红

2015,26(10):2596-2613 [摘要(4501)] [PDF(5978)877.95 K][HTML(1477)]

本期目录

面向数据流的多粒度时变分形维数计算

倪志伟,王超,胡汤磊,倪丽萍

2015,26(10):2614-2630 [摘要(3061)] [PDF(8734)991.99 K][HTML(1447)]

双流模式下高吞吐量移动对象范围查询算法

薛忠斌,周烜,王珊

2015,26(10):2631-2643 [摘要(2520)] [PDF(4459)787.92 K][HTML(1354)]

一种面向MSM型Clos交换结构的启发式并发调度算法

刘晓锋,赵有健,陈果

2015,26(10):2644-2655 [摘要(2630)] [PDF(4828)650.73 K][HTML(1552)]

P盒为n-MDS矩阵的SPS模型差分概率的新上界

刘国强,金晨辉

2015,26(10):2656-2666 [摘要(2552)] [PDF(4752)621.61 K][HTML(1324)]

一种温度自适应无线传感网络时间同步方法

金梦,陈晓江,房鼎益,汤战勇,刘晨,徐丹,王薇

2015,26(10):2667-2683 [摘要(3718)] [PDF(5533)885.59 K][HTML(1450)]

分组密码TWINE的中间相遇攻击

汪艳凤,吴文玲

2015,26(10):2684-2695 [摘要(2813)] [PDF(5692)819.05 K][HTML(1615)]

近似理想格上的全同态加密方案

古春生

2015,26(10):2696-2719 [摘要(3144)] [PDF(7629)868.44 K][HTML(2615)]

基于视点评分的三维模型摆正

韩红雷,王文成,华淼

2015,26(10):2720-2732 [摘要(3294)] [PDF(5152)1.45 M][HTML(1296)]

部件级表观模型的目标跟踪方法

王美华,梁云,刘福明,罗笑南

2015,26(10):2733-2747 [摘要(3707)] [PDF(4887)2.50 M][HTML(1837)]

本期目录

本期目录

本期目录

快速直达

用微信扫一扫