中国科学院软件研究所机构知识库
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
软件所图书馆 [678]
信息安全国家重点实... [83]
计算机科学国家重点... [59]
基础软件国家工程研... [34]
互联网软件技术实验... [24]
更多...
作者
王健 [5]
马雷 [2]
陈美会 [2]
刘宇 [1]
殷宪晨 [1]
更多...
Content Type
期刊论文 [729]
会议论文 [194]
学位论文 [1]
Issued Date
2018 [2]
2017 [1]
2016 [77]
2015 [11]
Language
英语 [703]
中文 [3]
Source
journal o... [55]
lecture n... [36]
science i... [35]
lecture n... [22]
science c... [18]
更多...
Project
descriptio... [2]
Indexed
SCI [812]
EI [267]
ISTP [136]
SCIENCEDI... [35]
CNKI [29]
更多...
Spnsorship
ieee compu... [8]
chinese ac... [6]
ieee compu... [6]
chinese ac... [5]
nanjing un... [5]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 71-80 of 924)
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
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
[期刊论文]
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016-01-01, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y
;
Yan, J
;
Choo, KKR
  |  
An Experimental Study for Intelligent Logistics: A Middleware Approach
[期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 3, 页码: 561-569
Yang, R
;
Li, B
;
Hu, Y
  |  
Reusing Service Process Fragments with a Consensus Between Service Providers and Users
[期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 4, 页码: 648-657
Yang, R
;
Li, B
;
Wang Jian(王健)
;
Li, ZY
;
Hu, Y
  |  
Three-Dimensional Gene Map of Cancer Cell Types: Structural Entropy Minimisation Principle for Defining Tumour Subtypes
[期刊论文]
SCIENTIFIC REPORTS, 2016-01-01, 卷号: 6
Li, AS
;
Yin XianChen(殷宪晨)
;
Pan, YC
  |  
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints
[期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L
;
Wu, JZ
;
Lv YinRun(吕荫润)
;
Wang, YJ
  |  
Utilizing Probabilistic Linear Equations in Cube Attacks
[期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 317-325
Yao, Y
;
Zhang, B
;
Wu, WL
Dynamic Testing for Deadlocks via Constraints
[期刊论文]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y
;
Lu, Q
  |  
Corrected runs distribution test for pseudorandom number generators
[期刊论文]
ELECTRONICS LETTERS, 2016-01-01, 卷号: 52, 期号: 4, 页码: 281-282
Fan, LM
;
Chen, H
;
Chen MeiHui(陈美会)
;
Gao, S
  |  
Templates selection in non-overlapping template matching test
[期刊论文]
ELECTRONICS LETTERS, 2016-01-01, 卷号: 52, 期号: 18, 页码: 1533-1534
Chen MeiHui(陈美会)
;
Chen, H
;
Fan, LM
;
Feng, DG
  |  
Time-Domain Numerical Solutions of Maxwell Interface Problems with Discontinuous Electromagnetic Waves
[期刊论文]
ADVANCES IN APPLIED MATHEMATICS AND MECHANICS, 2016-01-01, 卷号: 8, 期号: 3, 页码: 353-385
Zhang, Y
;
Nguyen, DD
;
Du, KW
;
Xu, J
;
Zhao, S
  |  
previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace