 | 2009 |
|---|
| 10 |       | Nan Guan,
Zonghua Gu,
Wang Yi,
Ge Yu:
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
ASP-DAC 2009: 715-720 |
| 9 | | Nan Guan,
Martin Stigge,
Wang Yi,
Ge Yu:
Cache-aware scheduling and analysis for multicores.
EMSOFT 2009: 245-254 |
| 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
