• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

静态缺陷检测中的误报消除技术研究
赵云山 宫云战 周 傲 王 前 周虹伯
2012, 49(9): 1822-1831.
摘要 PDF
基于局部堆内存抽象表示的堆操作程序内存泄露检测
董龙明, 王 戟, 陈立前, 董 威
2012, 49(9): 1832-1842.
摘要 PDF
基于编译支持错误跟踪的测试用例自动化生成方法
何炎祥 陈 勇 吴 伟 徐 超 吴黎兵
2012, 49(9): 1843-1851.
摘要 PDF
基于域敏感指向分析的区间运算在软件测试中的应用
周虹伯 金大海 宫云战
2012, 49(9): 1852-1862.
摘要 PDF
基于扩展逻辑变换系统μTS证明循环优化正确性
王昌晶
2012, 49(9): 1863-1873.
摘要 PDF
程序的动态完整性:模型和方法
吴 昊 毋国庆
2012, 49(9): 1874-1882.
摘要 PDF
多子种群微粒群免疫算法及其在函数优化中应用
吴建辉, 章 兢, 李仁发, 刘朝华
2012, 49(9): 1883-1898.
摘要 PDF
求解平衡约束圆形Packing问题的快速启发式并行蚁群算法
黎自强, 田茁君, 王奕首, 岳本贤
2012, 49(9): 1899-1909.
摘要 PDF
RFID数据流上多目标复杂事件检测
彭商濂, 李战怀, 李 强, 陈 群, 刘海龙
2012, 49(9): 1910-1925.
摘要 PDF
XML数据流分页频繁子树挖掘研究
雷向欣, 杨智应, 黄少寅, 胡运发
2012, 49(9): 1926-1936.
摘要 PDF
一种基于LDA的Web论坛低质量回帖检测方法
韩晓晖 马 军 邵海敏 薛 冉
2012, 49(9): 1937-1946.
摘要 PDF
两层传感器网络中安全Top-k查询协议
李 睿 林亚平 易叶青 熊 帅 叶松涛
2012, 49(9): 1947-1958.
摘要 PDF
无标签数估计的被动RFID标签防冲突二进制树时隙协议
吴海锋 曾 玉 丰继华
2012, 49(9): 1959-1971.
摘要 PDF
基于多维熵值分类的骨干网流量异常检测研究
郑黎明, 邹 鹏, 韩伟红, 李爱平, 贾 焰
2012, 49(9): 1972-1981.
摘要 PDF
基于Shell命令和共生矩阵的用户行为异常检测方法
李 超, 田新广, 肖 喜, 段洣毅
2012, 49(9): 1982-1990.
摘要 PDF
基于Petri网的IRBAC 2000域间动态转换SMER约束违反检测
刘 猛, 王 轩, 黄荷娇, 赵海楠, 张加佳
2012, 49(9): 1991-1998.
摘要 PDF
基于细胞自动机的动态多秘密共享方案
周由胜, 王 锋, 卿斯汉, 杨义先, 钮心忻
2012, 49(9): 1999-2004.
摘要 PDF
电子组织:一种具有自适应能力的可重构仿生硬件结构
徐佳庆, 窦 勇, 吕 启, 冯 雪
2012, 49(9): 2005-2017.
摘要 PDF
可重构指令集处理器的代码优化生成算法研究
张惠臻, 王 超, 李 曦, 周学海
2012, 49(9): 2018-2026.
摘要 PDF
基于同步EDA工具的异步电路设计流程
王友瑞 石 伟 王志英 陆洪毅 苏 博
2012, 49(9): 2027-2035.
摘要 PDF
使用批量处理方法提高iSCSI存储系统性能的策略研究
韩 永 姚念民 刁 莹
2012, 49(9): 2036-2043.
摘要 PDF