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

Search Results

Help

Item hits: (Results 1-10 of 42)

Items/Page:    Sort:
基于树状线性规划搜索的单调速率优化设计 [期刊论文]
软件学报, 2015-01-01, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  
 
时间自动机模拟器CTAV-Simulator的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
喻灵婧
  |  
 
时间自动机模型检测具体反例的生成与图形化显示 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
信贤卫
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
开放式实时系统的调度理论与方法分析 [会议论文]
中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会, 四川广元, 2002-7-13
邹勇; 李明树; 王青
  |  
 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
实时系统非空性模型检测工具及技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-28
彭云全
  |  
 
Feasibility Analysis and Design of Real-Time Systems [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-05-26
NASRO MIN ALLAH
  |  
 
多处理器反馈控制实时调度研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-19
傅勇
  |  
 
实时系统静态优先级调度理论与优化设计研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2007-06-05
邢建生
  |  
 

1 2 3 4 5 next

 

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