 | 2009 |
| 8 |  | 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 |
| 2008 |
| 7 |  | 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 |
| 6 |  | 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 |
| 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 |