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

Search Results

Help

Item hits: (Results 1-10 of 76)

Items/Page:    Sort:
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

 

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