高级检索

    栏目
    静态缺陷检测中的误报消除技术研究
    基于局部堆内存抽象表示的堆操作程序内存泄露检测
    基于编译支持错误跟踪的测试用例自动化生成方法
    基于域敏感指向分析的区间运算在软件测试中的应用
    基于扩展逻辑变换系统μTS证明循环优化正确性
    程序的动态完整性:模型和方法
    多子种群微粒群免疫算法及其在函数优化中应用
    求解平衡约束圆形Packing问题的快速启发式并行蚁群算法
    RFID数据流上多目标复杂事件检测
    XML数据流分页频繁子树挖掘研究
    一种基于LDA的Web论坛低质量回帖检测方法
    两层传感器网络中安全Top-k查询协议
    无标签数估计的被动RFID标签防冲突二进制树时隙协议
    基于多维熵值分类的骨干网流量异常检测研究
    基于Shell命令和共生矩阵的用户行为异常检测方法
    基于Petri网的IRBAC 2000域间动态转换SMER约束违反检测
    基于细胞自动机的动态多秘密共享方案
    电子组织:一种具有自适应能力的可重构仿生硬件结构
    可重构指令集处理器的代码优化生成算法研究
    基于同步EDA工具的异步电路设计流程
    使用批量处理方法提高iSCSI存储系统性能的策略研究
    邮件订阅 RSS