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

Search Results

Help

Item hits: (Results 1-10 of 40)

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
张衡; 彭启民; 吕文先; 黎俊; 胡晓惠

 
笔式服装工艺设计系统的研究与实现 [期刊论文]
信息化纵横, 2009-01-01, 卷号: 28, 期号: 8, 页码: 13-16
刘俊中; 樊银亭; 金鹏; 张瑢; 滕东兴
  |  
 
语义Web中的自动推理和主动规则终止性分析 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
徐贵红
  |  
 
回溯法求解多约束分配问题 [期刊论文]
江西师范大学学报(自然科学版), 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
赵永华; 迟学斌; 程强
  |  
 

1 2 3 4 next

 

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