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

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters    
Items/Page:    Sort:
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
短消息指标新定义及在事务信道限制中的应用 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 985-996
曾海涛; 王永吉; 祖伟; 蔡嘉勇; 阮利
  |  
 
使用容量指标的安全实时数据库信道限制方法 [期刊论文]
通信学报, 2008-01-01, 卷号: 29, 期号: 8, 页码: 46-56
曾海涛; 王永吉; 阮利; 祖伟; 蔡嘉勇
  |  
 
基于容器中间件的组件系统体系结构性能评价 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 6, 页码: 1328-1337
张勇; 黄涛; 魏峻; 陈宁江
  |  
 
以用户为中心的场景设计方法研究 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 6, 页码: 1043-1047
王丹力; 华庆一; 戴国忠
  |  
 
供应链例外事件管理系统 [期刊论文]
计算机集成制造系统, 2004-01-01, 卷号: 10, 期号: 11, 页码: 1402-1407
张凯峰; 韩永生; 潘旭伟
  |  
 
Petri网可达性的综合判定法 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 7, 页码: 949-955
胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰
  |  
 
移动复制数据库系统冲突检测及消解策略 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 3, 页码: 297-305
丁治明; 王珊; 孟小峰
  |  
 
多媒体节目时序描述的组合技术 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  
 

1

 

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