Mingsong Lv

	2012
15		Nan Guan, Mingsong Lv, Wang Yi, Ge Yu: WCET Analysis with MRU Caches: Challenging LRU for Predictability. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 55-64
	2011
14		Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi: McAiT - A Timing Analyzer for Multicore Real-Time Software. ATVA 2011: 414-417
	2010
13		Mingsong Lv, Wang Yi, Nan Guan, Ge Yu: Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. RTSS 2010: 339-349
12		Xi Jin, Nan Guan, Mingsong Lv, Qingxu Deng: Improving the Performance of Shared Memory Communication in Impulse C. Embedded Systems Letters 2(3): 49-52 (2010)
11		Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi: Static worst-case execution time analysis of the µC/OS-II real-time kernel. Frontiers of Computer Science in China 4(1): 17-27 (2010)
	2009
10		Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi: WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) 2009: 270-276
9		Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang: A Survey of WCET Analysis of Real-Time Operating Systems. ICESS 2009: 65-72
	2008
8		Mingsong Lv, Ying Guo, Nan Guan, Qingxu Deng: RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips. CSSE (4) 2008: 102-105
7		Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu: Performance Comparison of Techniques on Static Path Analysis of WCET. EUC (1) 2008: 104-111
6		Mingsong Lv, Qingxu Deng, Nan Guan, Yaming Xie, Ge Yu: ARMISS: An Instruction Set Simulator for the ARM Architecture. ICESS 2008: 548-555
5		Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu: Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. ISORC 2008: 556-560
	2007
4		Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu: A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems. AINA Workshops (1) 2007: 772-777
3		Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu: Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS 2007: 353-364
	2004
2		Qingxu Deng, Mingsong Lv, Ge Yu: Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems. ICESS 2004: 494-501
	2003
1		Dan Wang, Ge Yu, Mingsong Lv, Baoyan Song, Derong Shen, Guoren Wang: An Ant Algorithm Based Dynamic Routing Strategy for Mobile Agents. APWeb 2003: 453-464

Coauthor Index

1	Rui Chen	[10]
2	Qingxu Deng	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
3	Zonghua Gu	[3] [5] [7]
4	Nan Guan	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
5	Ying Guo	[8]
6	Xiuqiang He	[3]
7	Xi Jin	[12]
8	Derong Shen	[1]
9	Baoyan Song	[1]
10	Dan Wang	[1]
11	Guoren Wang	[1]
12	Yaming Xie	[6]
13	Wang Yi	[10] [11] [13] [14] [15]
14	Ge Yu	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [14] [15]
15	Mingxuan Yuan	[3]
16	Jianming Zhang	[9]
17	Yi Zhang	[9] [10]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page