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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
短消息指标新定义及在事务信道限制中的应用 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 4, 页码: 985-996
曾海涛; 王永吉; 祖伟; 蔡嘉勇; 阮利
  |  
 
基于容器中间件的组件系统体系结构性能评价 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 6, 页码: 1328-1337
张勇; 黄涛; 魏峻; 陈宁江
  |  
 
Petri网可达性的综合判定法 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 7, 页码: 949-955
胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰
  |  
 
复制的移动数据库系统事务级同步处理策略 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 2, 页码: 258-265
丁治明; 孟小峰; 王珊
  |  
 
多媒体节目时序描述的组合技术 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  
 
基于XYZ/RE的多媒体同步器自动构造方法 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 8, 页码: 996-1002
赵琛; 唐稚松; 马华东
  |  
 

1

 

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