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

Search Results

Help

Item hits: (Results 1-10 of 64)

Items/Page:    Sort:
Mining streams of short text for analysis of world-wide event evolutions [期刊论文]
World Wide Web, 2014-01-01
Huang, Guangyan (1); He, Jing (2); Zhang, Yanchun (2); Zhou, Wanlei (1); Liu, Hai (3); Zhang, Peng (2); Ding, Zhiming (4); You, Yue (5); Cao, Jian (5)

 
Modeling and verifying of CPS component services based on hybrid automata [期刊论文]
International Journal of Multimedia and Ubiquitous Engineering, 2014-01-01, 卷号: 9, 期号: 6, 页码: 49-57
Zhang, Jianning;  Zhang, Guanquan;  Yan, Rongjie;  Zhu, Yi;  Qi, Xingjun

 
Locomotion Skills for Insects with Sample-based Controller [期刊论文]
COMPUTER GRAPHICS FORUM, 2014-01-01, 卷号: 33, 期号: 7, 页码: 31-40
Guo, Shihui; Chang, Jian; Yang, Xiaosong; Wang, Wencheng; Zhang, Jianjun

 
Generating combinatorial test suite using combinatorial optimization [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)

 
Profile directed systematic testing of concurrent programs [会议论文]
2013 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Hu, Yan (1); Yan, Jun (2); Zhang, Jian (2); Jiang, He (1)

 
Characterizing and detecting resource leaks in Android applications [会议论文]
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, United states, November 11, 2013 - November 15, 2013
Guo, Chaorong (1); Zhang, Jian (1); Yan, Jun (2); Zhang, Zhiqiang (1); Zhang, Yanli (1)

 
Cascade: A test generation tool for combinatorial testing [会议论文]
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1)

 
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)

 
finding orthogonal latin squares using finite model searching tools [期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-9
Ma FeiFei; Zhang Jian

 
an identity-based authentication scheme in cloud computing [会议论文]
2012 International Conference on Industrial Control and Electronics Engineering, ICICEE 2012, Xi'an, China, August 23, 2012 - August 25, 2012
Zhang Zhi-Hua; Jiang Xue-Feng; Li Jian-Jun; Jiang Wei

 

1 2 3 4 5 6 7 next

 

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