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

Search Results

Help

Item hits: (Results 1-10 of 32)

Items/Page:    Sort:
Designing and Modeling of Covert Channels in Operating Systems [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU
  |  
 
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X; Jiao, L; Li, ZJ

 
Rabin's theorem in the concurrency setting: A conjecture [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)

 
ROSA:资源敏感的高性能Web容器体系结构 [期刊论文]
Journal of Frontiers of Computer Science & Technology, 2012-01-01, 卷号: 6, 期号: 1, 页码: 32-45
周晓炜; 张文博; 王联华
  |  
 
parallel computation of continuous petri nets based on hypergraph partitioning [期刊论文]
Journal of Supercomputing, 2011-01-01, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua; Shen Hui; Cao Jianwen

 
hypergraph partitioning for the parallel computation of continuous petri nets [会议论文]
11th International Conference on Parallel Computing Technologies, PaCT 2011, Kazan, Russia, September
Ding Zuohua; Shen Hui; Cao Jianwen
  |  
 
releasing control policy for semiconductor wafer fabrication based on fuzzy petri nets-reasoning [期刊论文]
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2011-01-01, 卷号: 39, 期号: 7, 页码: 1545-1550
Cao Zheng-Cai; Zhao Hui-Dan; Wang Yong-Ji
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 

1 2 3 4 next

 

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