Search Results

Item hits: (Results 1-10 of 76)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time 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