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

Search Results

Help

Item hits: (Results 11-20 of 186)

Filters        
Items/Page:    Sort:
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
A general noise-reduction framework for fault localization of Java programs [会议论文]
Xu, Jian (1); Zhang, Zhenyu (2); Chan, W.K. (3); Tse, T.H. (4); Li, Shanping (1)

 
on enumeration of polynomial equivalence classes [会议论文]
SCIENCE CHINA Mathematics
Wang TianZe; Lin DongDai

 
interactive coupling between a tree and raindrops [会议论文]
Yang Meng; Jiang Longsheng; Li Xiaosheng; Liu Youquan; Liu Xuehui; Wu Enhua

 
physically based object withering simulation [会议论文]
Liu Youquan; Chen Yanyun; Wu Wen; Max Nelson; Wu Enhua

 
scalar multiplication on kummer surface revisited [会议论文]
Lin Qiping; Zhang Fangguo

 
set-theoretic foundation of parametric polymorphism and subtyping [会议论文]
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe; Xu Zhiwu

 
behavior-based trust in wireless sensor network [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Huang L; Li L; Tan Q
  |  
 
mimo techniques in cluster-based wireless sensor networks [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Li J; Gu Y; Zhang W; Zhao BH
  |  
 
integrating grid with cryptographic computing [会议论文]
2nd Information Security Practice and Experience Conference (ISPEC 2006), Hangzhou, PEOPLES R CHINA, APR 11-14,
Jiang ZH; Lin DD; Xu L; Lin L
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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