机构

• 软件研究所 [4]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [3]
• 学位论文 [1]

发表日期

• 2006 [2]
• 2003 [1]
• 1992 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于时序逻辑的编译优化形式化描述及测试用例生成方法 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 夏勇 收藏  |  浏览/下载：31/0  |  提交时间：2011/03/17 编译优化  循环优化  时序逻辑  关键结点控制图  重写规则   一种基于图重写的计算机安全风险分析系统 期刊论文  OAI收割 计算机科学, 2006, 卷号: 33, 期号: 8, 页码: 271-274 李娜; 谢冬青   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/07/13 风险分析  图重写  终止  最小覆盖  图重写  计算机  安全风险  分析系统  Graph Rewriting  Analysis Model  重写规则  风险分析  模型  方法  最小覆盖  统一视图  决策集合  基础  攻击步骤  项重写  利用图  复杂度  二分图  证明   基于幂表的并行加法器的归纳验证 期刊论文  OAI收割 电子学报, 2003, 卷号: 31, 期号: 6, 页码: 932-936 张欢欢; 邵志清; 宋国新   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 重写  归纳  加法器  描述  验证  并行加法器  描述和验证  重写规则  硬件电路  技术验证  归纳证明  功能描述  基础   基于重写技术的自动定理证明 期刊论文  OAI收割 计算机科学, 1992, 期号: 2, 页码: 79-80,24 张健   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/11 一阶逻辑  自动定理证明  技术  推理规则  重写规则  完备化过程  项重写系统  基本思想  证明方法  不等式