机构

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

采集方式

• OAI收割 [2]

内容类型

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

发表日期

• 2013 [1]
• 2011 [1]

学科主题

• 计算机系统结构 [1]

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于变换的大图点边可视化综述 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 3, 页码: 304-311 时磊; 廖琦; 林闯   |  收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17 大图可视化  图数据抽象  视图变换  视角转换   数据通路型电路的形式化验证方法研究 学位论文  OAI收割 北京: 中国科学院研究生院, 2011 作者:  陈博文   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/06/07 形式化验证  数据通路  决策图  模型检测  数据抽象  *phdd  数据标记  自动机裁剪