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

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
Transient Reward Approximation for Continuous-Time Markov Chains [期刊论文]
IEEE TRANSACTIONS ON RELIABILITY, 2015-01-01, 卷号: 64, 期号: 4, 页码: 1254-1275
Hahn, EM; Hermanns, H; Wimmer, R; Becker, B
  |  
 
基于BDD的增量启发式搜索 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2352-2365
徐艳艳; 岳伟亚
  |  
 
a direct construction of polynomial-size obdd proof of pigeon hole problem [期刊论文]
INFORMATION PROCESSING LETTERS, 2009-01-01, 卷号: 109, 期号: 10, 页码: 472-477
Chen Wei; Zhang Wenhui

 
extending obdd graphs for composite event matching in content-based pub/sub systems [会议论文]
4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), Lille, FRANCE, JUL 04-06,
Gang X; Wei X; Tao H
  |  
 
an extended event matching approach in content-based pub/sub systems for eai [会议论文]
9th IEEE International Enterprise Distributed Object Computing Conference, Enschede, NETHERLANDS, SEP 19-23,
Xu G; Xu W; Huang T
  |  
 

1

 

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