机构

• 计算技术研究所 [3]
• 软件研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2014 [1]
• 2009 [2]
• 2008 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于簇聚类和游程编码的正则表达式压缩算法 期刊论文  OAI收割 计算机工程, 2014, 卷号: 40.0, 期号: 008, 页码: 282 作者:  杨嘉佳;  姜腊林;  姜磊;  戴琼;  谭建龙   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 正则表达式  ClusterFA算法  确定型有穷自动机  游程编码  压缩率  吞吐率   基于存储优化的多模式串匹配算法 期刊论文  OAI收割 计算机研究与发展, 2009, 期号: 第10期, 页码: 1768~1776页 作者:  谭建龙;  郭 莉;  刘燕兵;  刘 萍   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/10/11 网络内容过滤  多模式串匹配  后缀树  双数组结构  自动机压缩   基于存储优化的多模式串匹配算法 期刊论文  OAI收割 计算机研究与发展, 2009, 卷号: 000, 期号: 010, 页码: 1768 作者:  刘燕兵;  刘萍;  谭建龙;  郭莉   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 网络内容过滤  多模式串匹配  后缀树  双数组结构  自动机压缩   一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |  浏览/下载：67/2  |  提交时间：2011/06/10 离散时间自动机  非空性检测  线性时序逻辑性质  时间自动机  检测工具  Timed Automata  状态空间爆炸  线性时序逻辑  利用模型  指数增长  压缩存储  性质验证  系统规模  时间空间  检测效果  检测速度  检测过程  检测方法  存储延迟  效率  算法  实验  技术