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

Search Results

Help

Item hits: (Results 11-18 of 18)

Items/Page:    Sort:
单调速率及其扩展算法的可调度性判定 [期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 6, 页码: 799-814
王永吉; 陈秋萍
  |  
 
design and evaluation of priority table based real-time scheduling algorithms [会议论文]
IEEE International Conference on Robotics, Intelligent Systems and Signal Processing, Changsha, PEOPLES R CHINA, OCT 08-13,
Qiang W; Wang HA; Hong J; Dai GZ
  |  
 
adaptive real-time publish-subscribe service model for mobile communication environments [会议论文]
2nd International Conference on Computer Networks and Mobile Computing, SHANGHAI, PEOPLES R CHINA, OCT 20-23,
Wang Q; Wang HA; Tang H; Dai GZ
  |  
 
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ; Li C; Wang Q; Li MS
  |  
 
时间符号迁移图及其互模拟判定 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 2, 页码: 113-121
陈靖; 林惠民
  |  
 
a new dynamic scheduling algorithm for real-time multiprocessor systems [会议论文]
IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), ERINGERFELD, GERMANY, OCT 18-19,
Qiao Y; Wang HG; Dai GZ
  |  
 
在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 [期刊论文]
软件学报, 2000-01-01, 期号: 6, 页码: 711-719
闫安; 唐稚松

 

previous 1 2

 

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