 | 2012 |
| 29 |  | 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 |
| 28 |  | Mingsong Lv,
Nan Guan,
Qingxu Deng,
Ge Yu,
Wang Yi:
McAiT - A Timing Analyzer for Multicore Real-Time Software.
ATVA 2011: 414-417 |
| 27 |  | Martin Stigge,
Pontus Ekberg,
Nan Guan,
Wang Yi:
The Digraph Real-Time Task Model.
IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80 |
| 26 |  | Yi Zhang,
Nan Guan,
Wang Yi:
Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling.
PPES 2011: 42-46 |
| 25 |  | Xi Jin,
Nan Guan,
Qingxu Deng,
Wang Yi:
Memory Access Aware Mapping for Networks-on-Chip.
RTCSA (1) 2011: 339-348 |
| 24 |  | Nan Guan,
Pontus Ekberg,
Martin Stigge,
Wang Yi:
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems.
RTSS 2011: 13-23 |
| 23 |  | Fanxin Kong,
Nan Guan,
Qingxu Deng,
Wang Yi:
Energy-efficient scheduling for parallel real-time tasks based on level-packing.
SAC 2011: 635-640 |
| 22 |  | Yi Zhang,
Nan Guan,
Yanbin Xiao,
Wang Yi:
Implementation and empirical comparison of partitioning-based multi-core scheduling.
SIES 2011: 248-255 |
| 21 |  | Nan Guan,
Wang Yi,
Qingxu Deng,
Zonghua Gu,
Ge Yu:
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
Journal of Systems Architecture - Embedded Systems Design 57(5): 536-546 (2011) |
| 2010 |
| 20 |  | Nan Guan,
Martin Stigge,
Wang Yi,
Ge Yu:
Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound.
IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 165-174 |
| 19 |  | Jeremy Erickson,
Nan Guan,
Sanjoy K. Baruah:
Tardiness Bounds for Global EDF with Deadlines Different from Periods.
OPODIS 2010: 286-301 |
| 18 |  | Mingsong Lv,
Wang Yi,
Nan Guan,
Ge Yu:
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
RTSS 2010: 339-349 |
| 17 |  | 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) |
| 16 |  | 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 |
| 15 |  | 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 |
| 14 |  | 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 |
| 13 |  | Nan Guan,
Martin Stigge,
Wang Yi,
Ge Yu:
Cache-aware scheduling and analysis for multicores.
EMSOFT 2009: 245-254 |
| 12 |  | 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 |
| 11 |  | Nan Guan,
Martin Stigge,
Wang Yi,
Ge Yu:
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling.
IEEE Real-Time Systems Symposium 2009: 387-397 |
| 2008 |
| 10 |  | 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 |
| 9 |  | 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 |
| 8 |  | Mingsong Lv,
Qingxu Deng,
Nan Guan,
Yaming Xie,
Ge Yu:
ARMISS: An Instruction Set Simulator for the ARM Architecture.
ICESS 2008: 548-555 |
| 7 |  | Nan Guan,
Wang Yi,
Zonghua Gu,
Qingxu Deng,
Ge Yu:
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
IEEE Real-Time Systems Symposium 2008: 137-146 |
| 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 |