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

软件学报 2012年第08期杂志 文档列表

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

一种基于变量可达向量的链表抽象方法第1935-1949页

关键词: 链表抽象方法；  符号执行；  链表操作程序；  变量可达向量；  

一种基于路径优化的推测多线程划分算法第1950-1964页

关键词: 推测多线程；  线程级并行；  线程划分；  路径优化；  自动并行化；  

代码坏味的处理顺序第1965-1977页

关键词: 代码坏味；  软件重构；  处理顺序；  软件维护；  优先级；  调度；  

网构软件的Wright-Fisher多策略信任演化模型第1978-1991页

关键词: 网构软件；  差异化服务；  演化博弈；  多策略；  信任演化；  激励机制；  

容错的网络声明式程序第1992-2001页

关键词: 网络编程抽象；  声明式语言；  语法；  语义；  容错性；  

软件学报杂志数据库技术

XML关键词检索的查询理解第2002-2017页

关键词: xml关键词检索；  查询理解；  目标节点类型；  条件节点类型；  

一种基于学习的高维数据c-近似最近邻查询算法第2018-2031页

关键词: 随机投影；  支持向量机分类器；  高维数据；  熵最大化准则；  位置敏感哈希；  

基于Hadoop的高效连接查询处理算法CHMJ第2032-2041页

关键词: 大数据；  hadoop；  连接查询处理；  hashmapjoin；  

基于时态编码和线序划分的时态XML索引第2042-2057页

关键词: 时态xml索引；  时态编码；  线序划分；  时态查询与更新；  仿真与性能评估；  

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

DDoS攻击检测和控制方法第2058-2072页

关键词: ddos；  检测；  控制；  

朝向全局式的声明式传感器网络开发模式第2073-2083页

关键词: 传感器网络；  语言；  查询；  声明式；  全局式；  

可信终端动态运行环境的可信证据收集第2084-2103页

关键词: tpm；  运行环境；  可信证据；  可信终端；  

无线多媒体传感器网络感知模型与数量估计第2104-2114页

关键词: 无线多媒体传感器网络；  多媒体传感器；  延时覆盖；  无延时覆盖；  感知区域；  可能感知区域；  

最小割多路径路由算法第2115-2129页

关键词: 流量工程；  流量均衡；  多路径路由；  最小割；  

基于域间路由的分布式分组过滤有效性研究第2130-2137页

关键词: 域间路由；  伪造分组；  分布式分组过滤；