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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
parallel preconditioners for large scale partial difference equation systems [期刊论文]
Elsevier, 2009-01-01, 卷号: 226, 期号: 1, 页码: 125-135
Sun Jia-Chang; Cao Jianwen; Yang Chao
  |  
 
model-based testing of concurrent programs with predicate sequencing constraints [期刊论文]
World Scientific Publishing Co. Pte Ltd, 2006-01-01, 卷号: 16, 期号: 5, 页码: 727-746
Wu Peng; Lin Huimin
  |  
 
a constraint solver and its application to path feasibility analysis [期刊论文]
International Journal of Software Engineering & Knowledge Engineering, 2001-01-01, 卷号: 11, 期号: 2, 页码: 139-156
Zhang Jian; Wang Xiaoxu
  |  
 

1

 

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