中国科学院软件研究所机构知识库
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
软件所图书馆 [629]
信息安全国家重点实... [63]
计算机科学国家重点... [45]
互联网软件技术实验... [23]
基础软件国家工程研... [22]
更多...
作者
王健 [5]
马雷 [2]
陈美会 [2]
刘宇 [1]
殷宪晨 [1]
更多...
Content Type
期刊论文 [626]
会议论文 [186]
Issued Date
2018 [2]
2017 [1]
2016 [77]
2015 [11]
2014 [68]
更多...
Language
英语 [644]
中文 [3]
Source
journal o... [45]
lecture n... [36]
science i... [32]
lecture n... [22]
science c... [18]
更多...
Project
descriptio... [2]
Indexed
SCI [812]
Spnsorship
ieee compu... [8]
chinese ac... [6]
chinese ac... [5]
nanjing un... [5]
china comp... [3]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 71-80 of 812)
Filters
Indexed:SCI
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
Submitted Time Ascending
Submitted Time Descending
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
  |  
Security analysis of a privacy-preserving decentralized ciphertext-policy attribute-based encryption scheme
[期刊论文]
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016-01-01, 卷号: 28, 期号: 4, 页码: 1237-1245
Wang, MQ
;
Zhang, ZF
;
Chen, C
623 Tflop/s HPCG run on Tianhe-2: Leveraging millions of hybrid cores
[期刊论文]
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2016-01-01, 卷号: 30, 期号: 1, 页码: 39-54
Liu, YQ
;
Yang, C
;
Liu, FF
;
Zhang, XY
;
Lu, YT
;
Du, YF
;
Yang, CQ
;
Xie, M
;
Liao, XK
The BLIS Framework: Experiments in Portability
[期刊论文]
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016-01-01, 卷号: 42, 期号: 2
Van Zee, FG
;
Smith, TM
;
Marker, B
;
Low, TM
;
De Geijn, RAV
;
Igual, FD
;
Smelyanskiy, M
;
Zhang, XY
;
Kistler, M
;
Austel, V
;
Gunnels, JA
;
Killough, L
  |  
Tri-Training for authorship attribution with limited training data: a comprehensive study
[期刊论文]
NEUROCOMPUTING, 2016-01-01, 卷号: 171, 页码: 798-806
Qian, TY
;
Liu, B
;
Chen, L
;
Peng, ZY
;
Zhong, M
;
He, GL
;
Li, XH
;
Xu, G
  |  
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
  |  
Clustering-based acceleration for virtual machine image deduplication in the cloud environment
[期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2016-01-01, 卷号: 121, 页码: 144-156
Xu, JW
;
Zhang, WB
;
Zhang, ZY
;
Wang, T
;
Huang, T
  |  
previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
next
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace