| 2008 |
| 7 | EE | 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 | 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 |
| 5 | EE | Nan Guan,
Qingxu Deng,
Zonghua Gu,
Wenyao Xu,
Ge Yu:
Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.
ACM Trans. Design Autom. Electr. Syst. 13(4): (2008) |
| 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 | Nan Guan,
Zonghua Gu,
Qingxu Deng,
Weichen Liu,
Ge Yu:
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
IPDPS 2007: 1-8 |
| 2 | 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 |
| 1 | EE | Nan Guan,
Zonghua Gu,
Qingxu Deng,
Shuaihong Gao,
Ge Yu:
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
SEUS 2007: 263-272 |