高级检索

    栏目
    静态缺陷检测中的误报消除技术研究
    赵云山 宫云战 周 傲 王 前 周虹伯
    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
    邮件订阅 RSS