中国科学院软件研究所机构知识库
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
软件所图书馆 [38]
计算机科学国家重点... [12]
互联网软件技术实验室... [9]
基础软件国家工程研究... [7]
综合信息系统技术国家... [4]
更多...
作者
王丹丹 [1]
Content Type
会议论文 [39]
期刊论文 [37]
Issued Date
2016 [1]
Language
英语 [41]
中文 [5]
Source
lecture no... [5]
informatio... [3]
proceeding... [3]
engineerin... [2]
proceeding... [2]
更多...
Project
Indexed
EI [37]
SCI [18]
其他 [7]
SCIENCEDIR... [5]
ISTP [3]
更多...
Spnsorship
ieee; ieee... [2]
int. assoc... [2]
wuhan univ... [2]
alba canaz... [1]
assoc log ... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 76)
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
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
An Unlicensed Taxi Identification Model Based on Big Data Analysis
[期刊论文]
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016-01-01, 卷号: 17, 期号: 6, 页码: 1703-1713
Yuan, W
;
Deng, P
;
Taleb, T
;
Wan, JF
;
Bi, CF
  |  
An integrated framework of formal methods for interaction behaviors among industrial equipments
[期刊论文]
MICROPROCESSORS AND MICROSYSTEMS, 2015-01-01, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P
;
Ren, G
;
Yuan, W
;
Chen, F
;
Hua, QS
  |  
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
[会议论文]
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
When equivalence and bisimulation join forces in probabilistic automata
[会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
Performance modeling on the basis of application type in virtualized environments
[期刊论文]
Journal of Software, 2013-01-01, 卷号: 8, 期号: 11, 页码: 2847-2854
Meng, Fanxin (1)
;
Du, Guangyu (2)
;
He, Hong (2)
;
Yuan, Shengzhong (2)
Performance testing and analysis of MAGMA library on hybrid architecture (CPU+GPU)
[期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2013-01-01, 卷号: 24, 期号: SUPPL.2, 页码: 118-126
Xiao, Xuan-Ji (1)
;
Zhang, Yun-Quan (1)
;
Li, Yu-Cheng (1)
;
Yuan, Liang (1)
A Cross-Layer Design Combining of AMC with HARQ for DSRC Systems
[期刊论文]
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013-01-01
Zhang, Gao Yuan
;
Sun, Li Min
;
Wen, Hong
;
Wu, Bin
;
Zhu, Xiping
;
Zhou, Liang
A tighter bound for the self-stabilization time in Herman's algorithm
[期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 13, 页码: 486-488
Feng, Yuan (1)
;
Zhang, Lijun (2)
Enhancing software reliability estimates using modified adaptive testing
[会议论文]
Hu, Hai (1)
;
Jiang, Chang-Hai (1)
;
Cai, Kai-Yuan (1)
;
Wong, W. Eric (3)
;
Mathur, Aditya P. (4)
信息可视化和可视分析:挑战与机遇北戴河信息可视化战略研讨会总结报告
[期刊论文]
Scientia Sinica Informationis, 2013-01-01, 卷号: 43, 期号: 1
Dai Guozhong
;
Chen Wei
;
Hong Wenxue
;
Liu Shixia
;
Qu Huamin
;
Yuan Xiaoru
;
Zhang Jiawan
;
Zhang Kang
1
2
3
4
5
6
7
8
next
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace