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

Search Results

Help

Item hits: (Results 51-58 of 58)

Items/Page:    Sort:
model checking data consistency for cache coherence protocols [期刊论文]
Springer New York LLC, 2006-01-01, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775
Pan Hong; Lin Huimin; Lv Yi
  |  
 
e [会议论文]
19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30,
Cao TJ; Lin DD; Xue R
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
property-preserving subnet reductions for designing manufacturing systems with shared resources [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2005-01-01, 卷号: 332, 期号: 1-3, 页码: 461-485
Huang HJ; Jiao L; Cheung TY
  |  
 
automatic generation of symbolic model for parameterized synchronous systems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 6, 页码: 812-819
Xu WW
  |  
 
combining static analysis and case-based search space partitioning for reducing peak memory in model checking [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 6, 页码: 762-770
Zhang WH
  |  
 
model checking value-passing processes [会议论文]
8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07,
Lin HM
  |  
 

previous 1 2 3 4 5 6

 

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