中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 41-50 of 161)

Filters            
Items/Page:    Sort:
分布式文件系统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

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace