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

Search Results

Help

Item hits: (Results 11-20 of 158)

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

 
furstyling on angle-split shell textures [会议论文]
22nd International Conference on Computer Animation and Social Agents (CASA 2009), Amsterdam, NETHERLANDS, JUN 17-19,
Sheng Bin; Sun Hanqiu; Yang Gang; Wu Enhua

 

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

 

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