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

Search Results

Help

Item hits: (Results 1-10 of 14)

Filters    
Items/Page:    Sort:
基于时序逻辑证明编译优化程序变换的保义性 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 8, 页码: 2074-2086
陶秋铭; 赵琛; 郭亮
  |  
 
一种编译优化测试用例自动生成方法的设计与实现 [期刊论文]
小型微型计算机系统, 2009-01-01, 卷号: 30, 期号: 1, 页码: 13-18
曾伟明; 薛云志; 赵琛; 贺也平
  |  
 
一种基于访问控制的安全Web服务发现机制 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 7, 页码: 137
韩隽; 淮晓永; 赵琛
  |  
 
一种用于测试编译优化的程序控制结构生成算法 [期刊论文]
计算机应用研究, 2006-01-01, 卷号: 23, 期号: 6, 页码: 55-58
朱丹枫; 赵琛; 陈伟
  |  
 
异常处理机制研究 [期刊论文]
计算机应用研究, 2005-01-01, 卷号: 22, 期号: 4, 页码: 86-89
张聪品; 赵琛; 糜宏斌
  |  
 
基于DTE技术的完整性保护形式模型 [期刊论文]
中国科学E辑, 2005-01-01, 卷号: 35, 期号: 6, 页码: 570-587
季庆光; 卿斯汉; 贺也平
  |  
 
移动数据库系统乐观事务处理策略 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 10, 页码: 1379-1387
丁治明; 孟小峰; 王珊
  |  
 
复制的移动数据库系统事务级同步处理策略 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 2, 页码: 258-265
丁治明; 孟小峰; 王珊
  |  
 
移动复制数据库系统冲突检测及消解策略 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 3, 页码: 297-305
丁治明; 王珊; 孟小峰
  |  
 
多媒体节目时序描述的组合技术 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  
 

1 2 next

 

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