Search Results

Item hits: (Results 41-50 of 161)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	分布式文件系统Hadoop HDFS与传统文件系统Linux FS的比较与分析 [期刊论文] 苏州大学学报(工科版), 2010-01-01, 卷号: 30, 期号: 4, 页码: 5-9,19 许春玲; 张广泉   |
	对时间自动机进行空性检测的过程和改进 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯   |
	采用了剪枝优化的子类型关系判定算法 [期刊论文] 软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490 戴晓君; 陈海明   |
	Modelica软件中微分代数方程指标约简算法分析 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 130-133,140 阳海军   |
	JUTA:一个Java自动化单元测试工具 [期刊论文] 计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848 严俊; 郭涛; 阮辉; 玄跻峰   |
	后序遍历二叉树非递归算法的推导及形式化证明 [期刊论文] 计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 3, 页码: 119-123 左正康; 游珍; 薛锦云   |
	Huffman算法程序的形式化推导 [期刊论文] 计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 49-51 王昌晶; 罗海梅; 左正康; 薛锦云   |
	基于MDA和可执行形式化的可信软件设计 [期刊论文] 计算机工程, 2009-01-01, 卷号: 35, 期号: 19, 页码: 138-140 唐艳; 杜玉越; 刘伟   |
	real-time synthesis of large textures [期刊论文] Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: SUPPL. 1, 页码: 193-201 Chen Xin; Wang Wen-Cheng
	针对实时视觉通信的图像序列自动提炼 [期刊论文] 电子学报, 2009-01-01, 卷号: 37, 期号: z1, 页码: 42-50,56 黄沛杰; 朱立华; 刘学慧; 吴恩华; 王传铭   |

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