计算机科学与探索期刊
出版文献量(篇)
2215
总下载数(次)
4
总被引数(次)
10748

计算机科学与探索

Journal of Frontiers of Computer Science & Technology
曾用名: 计算机与生活(-2007)

CSCDJSTCSTPCD

影响因子 0.9246
  《计算机科学与探索》是由中华人民共和国工业和信息化部主管、华北计算技术研究所主办的国内外公开发行的计算机学报级高级学术期刊,中国计算机学会会刊,工业和信息化部优秀科技期刊,中国科技论文统计源期刊(中国科技核心期刊),中国科学引文数据库来源期刊,并被“万方数据--数字化期刊群”、“中国学术期刊网络出版总库”、“俄罗斯《文摘杂志(AJ)》”、“美国《剑桥科学文摘(CSA)》”、“波兰《哥白尼... 更多
主办单位:
华北计算技术研究所
ISSN:
1673-9418
CN:
11-5602/TP
出版周期:
月刊
邮编:
100083
地址:
北京市海淀区北四环中路211号北京619信箱26分箱
出版文献量(篇)
2215
总下载数(次)
4
总被引数(次)
10748
文章浏览
目录
  • 作者: 唐祖锴 彭智勇
    发表期刊: 2010年1期
    页码:  1-19
    摘要: 作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域....
  • 作者: 袁崇义 赵文 高昕 黄雨
    发表期刊: 2010年1期
    页码:  20-28
    摘要: 在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式.给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式....
  • 作者: 李倩 李宣东 潘敏学
    发表期刊: 2010年1期
    页码:  29-35
    摘要: 内存泄漏是软件系统中常见的一种错误,会持续消耗内存,致使系统运行效率下降,甚至导致系统崩溃.内存泄漏的检测工具主要可以分为两类:一类是使用基于程序扫描分析技术的静态工具;另一类则是监视实时内...
  • 作者: 李晓明 汪小林 温翔 王振林 罗英伟 陈昊罡 靳辛欣
    发表期刊: 2010年1期
    页码:  36-45
    摘要: 阐述了一种基于VMM(virtual machine manager)的虚拟机缓存划分的设计与实现.该方法采用操作系统中的页面着色技术,在虚拟机管理器Xen上进行实现.这种机制对于VMM之上...
  • 作者: 丁学雷 卢刚 王元元 王怀民
    发表期刊: 2010年1期
    页码:  46-53
    摘要: 随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题.从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证...
  • 作者: 孟啸 李建中 王宏志 高宏
    发表期刊: 2010年1期
    页码:  54-63
    摘要: 社会化系统是以用户为核心的系统,利用用户参与可以持续地改进系统的质量.而当前的系统并没有有效利用用户参与信息来改善系统的数据质量.提出了利用用户信息改进系统的数据质量从而提高查询结果质量的策...
  • 作者: 喜连川优 王国仁 王波涛 陈贺 马俊
    发表期刊: 2010年1期
    页码:  64-72
    摘要: 对移动对象索引频繁更新问题进行了研究,提出了一种基于区域覆盖的空间索引结构虚拟网格四分树(virtual grid quadtree,VGQ);通过索引移动对象所在的区域而非移动对象本身来减...
  • 作者: 朱皓 李晓东 杨卫东
    发表期刊: 2010年1期
    页码:  73-81
    摘要: XML(extensive makeup language) 关键字检索简单易用,用户不必了解数据库的模式,受到人们的广泛关注.当前的相关研究主要集中于关键字检索的算法以及返回结果的组织和排...
  • 作者: 刘红星 宋文军 王崇骏 谢俊元
    发表期刊: 2010年1期
    页码:  82-88
    摘要: 结合基于图的关联规则挖掘和双向搜索的策略,产生最大频繁项集,从而提出基于图的最大频繁项集(graph based maximum frequent set,GBMFS)生成算法.运用此算法,...
  • 作者: 刘海坤 崔涛 廖小飞 金海
    发表期刊: 2010年1期
    页码:  89-96
    摘要: 研究了虚拟化体系结构下全系统回放的方法,设计实现了基于半虚拟化设备模型的虚拟机回放系统VMRS(virtual machine based replay system).通过在虚拟机管理器中...
  • 作者:
    发表期刊: 2010年1期
    页码:  封3
    摘要:

计算机科学与探索基本信息

刊名 计算机科学与探索 主编 李建中
曾用名 计算机与生活(-2007)
主办单位 华北计算技术研究所  主管单位 中国电子科技集团公司
出版周期 月刊 语种
chi
ISSN 1673-9418 CN 11-5602/TP
邮编 100083 电子邮箱 fcst@vip.163.con
电话 010-51616056;51616055 网址 www.ceaj.org
地址 北京市海淀区北四环中路211号北京619信箱26分箱

计算机科学与探索统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊