本期目录

2010年 第4卷 第1期    刊出日期：2010-01-15
上一期    下一期

目录
计算机科学与探索 第1期 目次
2010, 4(1):  0-0. 
相关文章 | 计量指标
摘要 ( )
PDF ( )  
综述·探索
面向方面程序设计语言研究综述
唐祖锴1，3 ，彭智勇2+
2010, 4(1):  1-19.  DOI: 10.3778/j.issn.1673-9418.2010.01.001
相关文章 | 计量指标
摘要 ( )
PDF ( )  
学术研究
O-表达式的性质定义与规范
袁崇义1，2 ，赵 文1，2，3 ，高 昕1，2 ，黄 雨1，2，3+
2010, 4(1):  20-28.  DOI: 10.3778/j.issn.1673-9418.2010.01.002
相关文章 | 计量指标
摘要 ( )
PDF ( )  
内存泄漏检测工具与评估方法
李 倩+，潘敏学，李宣东
2010, 4(1):  29-35.  DOI: 10.3778/j.issn.1673-9418.2010.01.003
相关文章 | 计量指标
摘要 ( )
PDF ( )  
虚拟机缓存划分的设计与实现
靳辛欣1 ，陈昊罡1 ，汪小林1+， 王振林2 ，温 翔1 ，罗英伟1 ，李晓明1
2010, 4(1):  36-45.  DOI: 10.3778/j.issn.1673-9418.2010.01.004
相关文章 | 计量指标
摘要 ( )
PDF ( )  
面向验证的软件可信证据与可信评估
丁学雷1，2+ ，王怀民1 ，王元元2 ，卢 刚1
2010, 4(1):  46-53.  DOI: 10.3778/j.issn.1673-9418.2010.01.005
相关文章 | 计量指标
摘要 ( )
PDF ( )  
bibEOS：一个高质量的社会化文献检索与管理系统
孟 啸+，王宏志，高 宏，李建中
2010, 4(1):  54-63.  DOI: 10.3778/j.issn.1673-9418.2010.01.006
相关文章 | 计量指标
摘要 ( )
PDF ( )  
利用覆盖区域设计与实现移动对象索引
王波涛1+ ，陈 贺1 ，马 俊1 ，喜连川 优2 ，王国仁1
2010, 4(1):  64-72.  DOI: 10.3778/j.issn.1673-9418.2010.01.007
相关文章 | 计量指标
摘要 ( )
PDF ( )  
安全访问控制的XML关键字检索
李晓东+，朱 皓，杨卫东
2010, 4(1):  73-81.  DOI: 10.3778/j.issn.1673-9418.2010.01.008
相关文章 | 计量指标
摘要 ( )
PDF ( )  
以图频繁集为基础的核心节点发现
宋文军1，2 ，刘红星1，2 ，王崇骏1，2+ ，谢俊元1，2
2010, 4(1):  82-88.  DOI: 10.3778/j.issn.1673-9418.2010.01.009
相关文章 | 计量指标
摘要 ( )
PDF ( )  
虚拟机全系统回放技术研究
刘海坤1+ ，金 海1 ，崔 涛2 ，廖小飞1
2010, 4(1):  89-96.  DOI: 10.3778/j.issn.1673-9418.2010.01.010
相关文章 | 计量指标
摘要 ( )
PDF ( )