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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
风险驱动的软件项目缓冲分配方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 12, 页码: 3029-3041
谢利子; 王青; 肖俊超
  |  
 
基于逻辑“或”约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
基于逻辑"或"约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
求解布尔与非线性数值约束相混合的约束问题 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 5, 页码: 659-668
季晓慧; 张健
  |  
 
概念设计中基于笔式手势的交互计算研究 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 2, 页码: 303-308
马翠霞; 戴国忠; 滕东兴; 陈由迪
  |  
 
支持EJB动态分布的组件迁移模型与算法 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 3, 页码: 404-413
范国闯; 魏峻; 钟华; 冯玉琳
  |  
 
基于UML的软硬件协同设计的模型分析方法 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1
陈思功; 秦晓; 章恒翀

 
虚拟装配中感知机制构造 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2324-2330
程成
  |  
 
一种基于视觉约束的当前视点画面生成方法 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 9, 页码: 1207-1213
刘学慧; 孙汉秋; 吴恩华
  |  
 
一阶逻辑中约束求解的局部搜索法 [期刊论文]
软件学报, 1998-01-01, 卷号: 9, 期号: 8, 页码: 598-600
张健
  |  
 

1

 

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