论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2012年第8期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 推测多线程(speculative multithreading,简称SpMT)技术是一种实现非规则程序自动并行化的有效途径.然而,基于控制流图和分支预测技术的线程划分方法,不可避免地会受到...
-
3. 代码坏味的处理顺序刊名： 软件学报发表期刊： 2012年8期页码:摘要： 选取了10种具有代表性的代码坏味进行研究.从每种代码坏味的产生原因、症状、对软件的影响以及相应的处理这4个方面进行分析,提出了一个代码坏味处理顺序的优先级.通过问卷调查和两个实验,对代码坏味...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 网构软件是开放网络环境中软件系统基本形态的一种抽象,其信任关系本质上是最复杂的社会关系之一.为了增强信任演化模型的自适应性,提高预测的准确性以及有效地抑制自私节点的产生,结合差异化服务和演化...
-
5. 容错的网络声明式程序刊名： 软件学报发表期刊： 2012年8期页码:摘要： 介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 与纯文本文档集相比,使用语义标签标注的半结构化的XML文档集,有助于信息检索系统更好地理解待检索文档.同样,结构化查询,比如SQL,XQuery和Xpath,相对于纯关键词查询更加清晰地表达...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 针对高维数据近似最近邻查询,在过滤-验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法.证明了数据经过随机投影之后,满足语义哈希技术所需的熵最大化准则.把经过随机投影的二进制数据...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 提出了一种并行连接查询处理算法CoLocationHashMapJoin(CHMJ).首先,设计了多副本一致性哈希算法,将具有连接关系的表根据其连接属性的哈希值在机群中进行分布,在提升了连接...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 研究了一种基于时态编码和线序划分的时态XML索引机制.首先,提出一种基于扩展先序编码的时态编码方案,通过该编码可确定结点间的结构关系；其次,在深入分析时间区间关系的基础上引入线序划分的概念,...
-
10. DDoS攻击检测和控制方法刊名： 软件学报发表期刊： 2012年8期页码:摘要： 分布式拒绝服务(distributed denial of service,简称DDoS)攻击是当今互联网的重要威胁之一.基于攻击包所处网络层次,将DDoS攻击分为网络层DDoS攻击和应用层...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 探讨一种全局式的声明式传感器网络开发模式,将全局式的声明式网络程序编译为分布式程序,再交给网络节点的虚拟机执行.因此,开发者只需声明网络全局的功能,而无须处理网络的分布式计算过程以及底层细节...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 可信计算的链式度量机制不容易扩展到终端所有应用程序,因而可信终端要始终保证其动态运行环境的可信仍然较为困难.为了提供可信终端动态运行环境客观、真实、全面的可信证据,设计并实现了一个基于可信平...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 针对无线传感器网络的不同应用需求,将其分为4种类型:节点平行于目标平面的延时覆盖、无延时覆盖、节点位于目标平面中的延时覆盖及无延时覆盖.综合考虑节点感知区域和可能感知区域等因素,为每种应用构...
-
14. 最小割多路径路由算法刊名： 软件学报发表期刊： 2012年8期页码:摘要： 在最小割理论基础上提出了最小割多路径(min-cut multi-path,简称MCMP)路由算法,为流量请求选取少量关键路径,并在这些路径间均衡流量,在获得方法易实现性的同时能够有效地控制...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 消除伪造源地址分组是互联网安全可信的内在要求.基于路由的分布式分组过滤具有良好的效果,但是目前对其有效性缺乏严密的理论分析.基于域间路由传播和互联网拓扑的分层特征,建立路由传播数模型和理想A...
-
16. 基于取整划分函数的k匿名算法刊名： 软件学报发表期刊： 2012年8期页码:摘要： 提出一种基于取整划分函数的k匿名算法,并从理论上证明该算法在非平凡的数据集中可以取得更低的上界.特别地,当数据集大于2k2时,该算法产生的匿名化数据的匿名组规模的上界为k+1；而当待发布数据...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分...
-
18. 带标签的基于证书密钥封装机制刊名： 软件学报发表期刊： 2012年8期页码:摘要： 基于证书加密方案通常将消息空间限制于某个特殊的群并且不适合大块消息加密.为了解决这一问题,将带标签的密钥封装机制引入到基于证书系统中,提出了带标签的基于证书密钥封装机制的形式化定义及安全模型...
-
19. 基于虚拟化的安全监控刊名： 软件学报发表期刊： 2012年8期页码:摘要： 近年来,虚拟化技术成为计算机系统结构的发展趋势,并为安全监控提供了一种解决思路.由于虚拟机管理器具有更高的权限和更小的可信计算基,利用虚拟机管理器在单独的虚拟机中部署安全工具能够对目标虚拟机...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： 提出了一种面向仿真组件的并行联邦成员框架,以解决基于HLA(high level architecture)复杂仿真系统联邦成员开发的问题,并提升多核处理器环境下联邦成员的运行性能.并行联邦...
-
21. 基于硬件虚拟化的单向隔离执行模型刊名： 软件学报发表期刊： 2012年8期页码:摘要： 提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive ...
-
刊名： 软件学报发表期刊： 2012年8期页码:摘要： Lopez等学者求解出基于单调速率算法和首次适应分派策略的多处理器实时任务可调度性判定边界.该边界在所有O(m)复杂度的判定边界中是最优的.基于Bini等学者针对单处理器提出的双曲线可调度性...
-
23. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2012年8期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
