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

Search Results

Help

Item hits: (Results 1-10 of 22)

Items/Page:    Sort:
A constraint-weaving approach to points-to analysis for AspectJ [期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 1, 页码: 52-68
Sun, Qiang (1); Chen, Yuting (1); Zhao, Jianjun (1)

 
Software Development Method Based on Structured Management of Code [会议论文]
7th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2012, Beijing, China, December 15, 2012 - December 17, 2012
Chen, Xia (1); Zhao, Junsuo (1)

 
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
A Class Incremental Extreme Learning Machine for Activity Recognition [期刊论文]
COGNITIVE COMPUTATION, 2014-01-01, 卷号: 6, 期号: 3, 页码: 423-431
Zhao, Zhongtang; Chen, Zhenyu; Chen, Yiqiang; Wang, Shuangquan; Wang, Hongan

 
Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity [会议论文]
14th International Conference on Web Information Systems Engineering (WISE), Nanjing, PEOPLES R CHINA, OCT 13-15, 2013
Wang, Meiling; Zhou, Xiang; Tao, Qiuming; wu, Wei; Zhao, Chen

 
constraint-based locality analysis for x10 programs [会议论文]
ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 - Co-located with POPL 2013, Rome, Italy, January 21, 2013 - January 22, 2013
Sun Qiang; Chen Yuting; Zhao Jianjun

 
scenario-oriented testing for web service compositions using bpel [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Sun Chang-Ai; Shang Yan; Zhao Yan; Chen Tsong Yueh

 
virtual machine replay update: improved implementation for modern hardware architecture [会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Yu Jiageng; Zhou Peng; Wu Yanjun; Zhao Chen

 
deterministic replay of multithread applications using virtual machine [会议论文]
26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26, 2012 - March 29, 2012
Yu Jiageng; Ci Yiwei; Zhou Peng; Wu Yanjun; Zhao Chen

 
an empirical study on test driven development process for android applications [会议论文]
15th IASTED International Conference on Software Engineering and Applications, SEA 2011, Dallas, TX, United states, December 14, 2011 - December 16, 2011
Chen Juncheng; Xue Yunzhi; Chen Zhao

 

1 2 3 next

 

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