中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [11]
信息安全国家重点实验... [5]
基础软件国家工程研究... [5]
互联网软件技术实验室... [1]
作者
Content Type
会议论文 [15]
期刊论文 [7]
Issued Date
Language
英语 [12]
中文 [1]
Source
proceeding... [2]
cognitive ... [1]
frontiers ... [1]
jisuanji y... [1]
journal of... [1]
更多...
Project
Indexed
EI [10]
SCI [7]
CPCI [2]
ISTP [1]
其他 [1]
Spnsorship
acm sigpla... [1]
associatio... [1]
chinese ac... [1]
ieee compu... [1]
ieee relia... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 22)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
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
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace