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

Search Results

Help

Item hits: (Results 81-90 of 380)

Filters        
Items/Page:    Sort:
Modelica软件中微分代数方程指标约简算法分析 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 130-133,140
阳海军
  |  
 
clustering with feature order preferences [期刊论文]
INTELLIGENT DATA ANALYSIS, 2010-01-01, 卷号: 14, 期号: 4, 页码: 479-495
Sun Jun; Zhao Wenbo; Xue Jiangwei; Shen Zhiyong; Shen Yidong
  |  
 
mcgim-based model streaming for realtime progressive rendering [期刊论文]
Journal of Computer Science and Technology, 2010-01-01, 卷号: 26, 期号: 1, 页码: 166-175
Sheng Bin; Meng Wei-Liang; Sun Han-Qiu; Wu En-Hua
  |  
 
a gpu-based matting laplacian solver for high resolution image matting [期刊论文]
VISUAL COMPUTER, 2010-01-01, 卷号: 26, 期号: 40702, 页码: 943-950
Huang Mengcheng; Liu Fang; Wu Enhua
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
a problem reduction based approach to discrete optimization algorithm design [期刊论文]
COMPUTING, 2010-01-01, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun; Xue Jinyun
  |  
 
面向访问验证保护级的安全VMM形式化原型系统设计和实现 [期刊论文]
计算机科学, 2010-01-01, 卷号: 37, 期号: 12, 页码: 85-90
易秋萍; 刘剑; 武术
  |  
 
a precongruence format for should testing preorder [期刊论文]
Journal of Logic and Algebraic Programming, 2010-01-01, 卷号: In Press, Accepted Manuscript, 页码: -
Xiaowei Huang; Jiao Li; Weiming Lu
  |  
 
后序遍历二叉树非递归算法的推导及形式化证明 [期刊论文]
计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 3, 页码: 119-123
左正康; 游珍; 薛锦云
  |  
 
Huffman算法程序的形式化推导 [期刊论文]
计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 49-51
王昌晶; 罗海梅; 左正康; 薛锦云
  |  
 

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

 

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