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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
炼油生产中的原油多周期调度优化 [期刊论文]
计算机集成制造系统, 2015-01-01, 卷号: 21, 期号: 2, 页码: 503-509
李亚平; 刘伟; 张刘军; 韩永波
  |  
 
时间相关密码协议逻辑及其形式化语义 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
  |  
 
一种基于恶意主体的通用公平交换协议 [期刊论文]
解放军理工大学学报(自然科学版), 2011-01-01, 卷号: 12, 期号: 1, 页码: 19-24
雷新锋; 范晓健; 马文; 刘军; 肖军模
  |  
 
一种静态最少优先级分配算法 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 7, 页码: 1844-1854
邢建生; 王永吉; 刘军祥; 曾海涛
  |  
 
实时系统调度优化理论及方法研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2006-06-07
刘军祥
  |  
 
基于逻辑“或”约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
基于逻辑"或"约束优化的实时系统设计 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 7, 页码: 1641-1649
刘军祥; 王永吉; 王源; 邢建生; 曾海涛
  |  
 
RM及其扩展可调度性判定算法性能分析 [期刊论文]
, 2005-01-01, 卷号: 42, 期号: 11, 页码: 2025-2032
邢建生; 刘军祥; 王永吉
  |  
 
一种改进的RM可调度性判定算法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 1, 页码: 89-100
刘军祥; 王永吉
  |  
 
ISDN环境中X.25分组层协议的形式描述和一致性测试 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1994-01-01
刘军
  |  
 

1

 

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