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

Search Results

Help

Item hits: (Results 11-20 of 156)

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

 
axiomatic semantics of projection temporal logic programs [会议论文]
6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22,
Yang Xiaoxiao; Duan Zhenhua; Ma Qian

 
the computational slr: a logic for reasoning about computational indistinguishability [会议论文]
9th International Conference on Typed Lambda Calculi and Applications, Brasilia, BRAZIL, JUL 01-03,
Zhang Yu

 
finding optimal threshold for correction error reads in dna assembling [会议论文]
9th Asia Pacific Bioinformatics Conference, Beijing, PEOPLES R CHINA, JAN 13-16,
Chin Francis Y. L.; Leung Henry C. M.; Li Wei-Lin; Yiu Siu-Ming

 

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

 

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