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

Search Results

Help

Item hits: (Results 61-70 of 79)

Items/Page:    Sort:
towards a theory of bisimulation for the higher-order process calculi [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363
Li Yongjian; Xin-Xin Liu
  |  
 
linear algorithm for lexicographic enumeration of cfg parse trees [期刊论文]
Science in China Series F: Information Sciences, 2004-01-01, 卷号: 52, 期号: 7, 页码: 1177-1202
Dong Yunmei
  |  
 
Teracluster LSSC-II—Its designing principles and applications in large scale numerical simulations [期刊论文]
Science in China Series A: Mathematics, 2004-01-01, 卷号: 47, 期号: 0, 页码: 53-68
Linbo Zhang; Shiyi Chen; Xinliang Li; Cao Jianwen; Wensheng Zhang; Xingao Gong
  |  
 
large scale petroleum reservoir simulation and parallel preconditioning algorithms research [期刊论文]
Science in China Series A: Mathematics, 2004-01-01, 卷号: 47, 期号: 0, 页码: 32-40
Jiachang Sun; Cao Jianwen
  |  
 
layered textures for image-based rendering [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 5, 页码: 633-642
Wen-Cheng Wang; Kui-Yu Li; Xin Zheng; Wu Enhua
  |  
 
the internet accessible mathematical computation framework [期刊论文]
Science in China Series F: Information Sciences, 2004-01-01, 卷号: 47, 期号: 1, 页码: 75-88
Paul S. Wang; Simon Gray; Norbert Kajler; Lin Dongdai; Weidong Liao; Xiao Zou
  |  
 
shifted chebyshev collocation domain truncation for solving problems on an infinite interval [期刊论文]
Journal of Scientific Computing, 2003-01-01, 卷号: 18, 期号: 2, 页码: 191-213
Li Huiyuan; Heping Ma
  |  
 
accelerated backward warping [期刊论文]
Journal of Computer Science and Technology, 2003-01-01, 卷号: 18, 期号: 1, 页码: 48-55
Zhang YC; Liu Xuehui; Wu EH
  |  
 
on decidability and model checking for a first order modal logic for value-passing processes [期刊论文]
Science in China Series F: Information Sciences, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59
Rui Xue; Lin Huimin
  |  
 
Inference systems for observation equivalences in the π-calculus [期刊论文]
Science in China Series E: Technological Sciences, 2003-01-01, 卷号: 42, 期号: 6, 页码: 657-669
Lin Huimin

 

previous 1 2 3 4 5 6 7 8 next

 

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