Search Results

Item hits: (Results 21-30 of 380)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	构建度量区时序逻辑的时间自动机 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575 王勤思   |
	光栅化时的线性纹理插值 [期刊论文] 计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 6, 页码: 999-1005 韩红雷; 王文成   |
	大规模场景流体模拟的耦合算法 [期刊论文] 计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 6, 页码: 1028-1033 武小龙; 吴恩华; 张辉   |
	大规模稀疏线性方程组的GMRES-GPU快速求解算法 [期刊论文] 计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 4, 页码: 553-560 柳有权; 尹康学; 吴恩华   |
	带时间约束的LTL性质的模型检测的实现 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567 部德振   |
	单遍数据读取的GPU上的多片元效果绘制 [期刊论文] 计算机学报, 2011-01-01, 卷号: 34, 期号: 3, 页码: 3473-3481 谢国富; 王文成   |
	基于改进Elman网络模型的软件可靠性预测 [期刊论文] 通信学报, 2011-01-01, 卷号: 32, 期号: 4, 页码: 86-93 程绪超; 陈新宇; 郭平   |
	基于GPU的实时线绘制及水墨仿真研究 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 3, 页码: 1079-1083,1107 卢健; 刘学慧   |
	基于MST的优化技术:监督式编译 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 1, 页码: 179-182,201 郑丽丽; 陈海明   |
	面向方面程序的简化动态依赖图切片方法 [期刊论文] 计算机科学与探索, 2011-01-01, 期号: 3, 页码: 229-237 张广泉; 黄静; 章晓芳; 刘长林   |

previous 1 2 3 4 5 6 7 8 9 10 11 12 next