中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

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 \|
	symbolic execution of program paths involving pointer and structure variables [会议论文] 4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09, Zhang J \|
	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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In