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

Search Results

Help

Item hits: (Results 71-80 of 80)

Items/Page:    Sort:
模型检测新技术研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 5, 页码: 102-104
戎玫; 张广泉
  |  
 
安全操作系统的实时报警 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 3, 页码: 287-293
刘海峰; 卿斯汉; 刘文清
  |  
 
一种针对运动目标的飞行器航迹搜索算法 [期刊论文]
宇航学报, 2003-01-01, 卷号: 24, 期号: 5, 页码: 444-450
郑昌文; 丁明跃; 关世义; 周成平; 彭晓明
  |  
 
point representation augmented to surface reconstruction in image-based vr [会议论文]
Computer Animation 2002 Conference (CA 2002), GENEVA, SWITZERLAND, JUN 19-21,
Wu EH; Zhang YC; Liu XH

 
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
  |  
 
completeness of neighbourhood logic [期刊论文]
Journal of Logic and Computation, 2000-01-01, 卷号: 10, 期号: 2, 页码: 271-295
Barua Rana; Roy Suman; Chaochen Zhou

 
在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 [期刊论文]
软件学报, 2000-01-01, 期号: 6, 页码: 711-719
闫安; 唐稚松

 
a higher-order duration calculus and its completeness [期刊论文]
Science in China Press, 2000-01-01, 卷号: 43, 期号: 6, 页码: 625-640
Zhan Naijun
  |  
 

previous 1 2 3 4 5 6 7 8

 

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