CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
D3L(ccy)的属性及分布式Tableaux推理算法的研究 期刊论文
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者:  赵晓非;  田东平;  张文波;  史忠植
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
分布式动态描述逻辑  知识传播  组合一致性  分布式推理  Tableaux推理算法  distributed  dynamic  description  logics  (D3L)  
无权访问的条目 期刊论文
作者:  张文力;  陈明宇;  樊建平
Adobe PDF(375Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15
HPL测试性能仿真与预测 期刊论文
计算机研究与发展, 2006, 卷号: 43.0, 期号: 003, 页码: 557
作者:  张文力;  陈明宇;  樊建平
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
高性能Linpack测试软件包(HPL)  线性代数方程组  LU分解  MPI  
网络测量中的性能数据空间分析 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 002, 页码: 276
作者:  张文杰;  钱德沛;  李忠诚;  白跃斌
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
Internet  基础设施  性能评价指标  分布式体系结构  数据空间