| 2008 |
|---|
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | Qingxu Deng,
Mingsong Lv,
Ge Yu:
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems.
ICESS 2004: 494-501 |
| 2003 |
|---|
| 1 | EE | 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 |
