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

Search Results

Help

Item hits: (Results 1-10 of 34)

Filters    
Items/Page:    Sort:
一种布尔多项式的高效计算机表示 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 12, 页码: 2568-2574
李昕; 林东岱; 徐琳

 
对Bivium流密码的变元猜测代数攻击 [期刊论文]
电子学报, 2011-01-01, 卷号: 39, 期号: 8, 页码: 1727-1732
李昕; 林东岱
  |  
 
基于亮度序列的空间目标周期性判证与提取 [期刊论文]
系统仿真学报, 2009-01-01, 卷号: 21, 期号: 2, 页码: 418-420,436
张衡; 彭启民; 吕文先; 黎俊; 胡晓惠

 
回溯法求解多约束分配问题 [期刊论文]
江西师范大学学报(自然科学版), 2008-01-01, 卷号: 32, 期号: 6, 页码: 729-732
王文发; 马燕; 李宏达
  |  
 
基于约束满足的测试计划方法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 535-539
李悦; 李娟; 陈伟
  |  
 
基于约束求解的自动化软件测试研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-29
严俊
  |  
 
SMP集群系统上矩阵特征问题并行求解器的有效算法 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 2, 页码: 334-340
赵永华; 迟学斌; 程强
  |  
 
广义Hermitian特征问题标准化转换的有效并行块算法 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1724-1732
赵永华; 迟学斌; 程强
  |  
 
约束问题求解 [期刊论文]
自动化学报, 2007-01-01, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健
  |  
 
基于手绘草图的概念设计工具研究与设计 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 1, 页码: 210-212,228
张超; 滕东兴; 戴国忠
  |  
 

1 2 3 4 next

 

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