机构

• 软件研究所 [2]
• 紫金山天文台 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2008 [1]
• 2005 [1]
• 1995 [1]

学科主题

• 天文和天体物理 [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于SCC空性检测中状态空间的缩减方法 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/06/10 空性检测  基于迁移的扩展Büchi自动机  可接受条件  检测算法  状态空间  强连通图  深度优先搜索  最坏情况  优势结合  搜索算法  接受条件  检测过程  布尔变量  自动机  性能  迁移  内存  扩展  标识Cellular radio systems  Ketones   对称矩阵三对角化的混合并行算法设计 期刊论文  OAI收割 计算机工程, 2005, 卷号: 31, 期号: 22, 页码: 39-41,53 赵永华; 迟学斌; 陈江   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/28 对称矩阵  并行块算法  三对角矩阵  加速比  MPI+OpenMP  对称矩阵  对角化  并行算法设计  Symmetric Matrix  通信开销  负载平衡  性能评价  系统环境  试验结果  平衡问题  可扩展性  共享内存  度方法  转换  集群  粗粒   数据采集系统中扩展内存的应用 期刊论文  OAI收割 微计算机应用, 1995, 卷号: 16, 期号: 1, 页码: 53-55 刘梁; 丁祖高 收藏  |  浏览/下载：6/0  |  提交时间：2012/02/07 扩展内存  扩充内存  扩展内存规范