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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
calculation components analysis of the lattice sieve [会议论文]
2012 International Conference on Intelligent System and Applied Material, GSAM 2012, Taiyuan, Shanxi, China, January 13, 2012 - January 15, 2012
Yang Yang; Zeng Guang; Wang Zheng; Han Wenbao

 
hybrid algorithms for hardware/software partitioning and scheduling on reconfigurable devices [期刊论文]
Mathematical and Computer Modelling, 2012-01-01, 页码: -
Liu Peng; Wu Jigang; Wang Yongji

 
a backtracking search tool for constructing combinatorial test suites [期刊论文]
Journal of Systems and Software, 2008-01-01, 卷号: 81, 期号: 10, 页码: 1681-1693
Jun Yan; Zhang Jian
  |  
 
FM—index算法性能测试及并行化 [期刊论文]
计算机工程, 2005-01-01, 卷号: 31, 期号: 22, 页码: 51-53
张广治; 张云泉; 李伟华; 李玉成
  |  
 
symbolic execution of program paths involving pointer and structure variables [会议论文]
4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09,
Zhang J
  |  
 
对一种基于多值逻辑阵列变换的加解密系统的破解 [期刊论文]
计算机学报, 2001-01-01, 卷号: 24, 期号: 6, 页码: 654-656
戴琼; 邹潇湘; 罗铸楷
  |  
 
a constraint solver and its application to path feasibility analysis [期刊论文]
International Journal of Software Engineering & Knowledge Engineering, 2001-01-01, 卷号: 11, 期号: 2, 页码: 139-156
Zhang Jian; Wang Xiaoxu
  |  
 

1

 

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