| * | 2009 |
|---|
| 8 | EE | Weichen Liu,
Zonghua Gu,
Jiang Xu,
Yu Wang,
Mingxuan Yuan:
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.
CODES+ISSS 2009: 61-70 |
| 2008 |
|---|
| 7 | EE | Jianguo Yao,
Xue Liu,
Mingxuan Yuan,
Zonghua Gu:
Online adaptive utilization control for real-time embedded multiprocessor systems.
CODES+ISSS 2008: 85-90 |
| 6 | EE | Mingxuan Yuan,
Xiuqiang He,
Zonghua Gu:
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.
IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 295-304 |
| 5 | EE | Xiuqiang He,
Mingxuan Yuan,
Zonghua Gu:
A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems.
IEEE Trans. Industrial Informatics 4(4): 237-249 (2008) |
| 2007 |
|---|
| 4 | EE | Zonghua Gu,
Xiuqiang He,
Mingxuan Yuan:
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.
DAC 2007: 294-299 |
| 3 | EE | Zonghua Gu,
Mingxuan Yuan,
Xiuqiang He:
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.
IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 32-44 |
| 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 |
| 2005 |
|---|
| 1 | EE | Dan Hong,
Mingxuan Yuan,
Vincent Y. Shen:
Dynamic privacy management: a plug-in service for the middleware in pervasive computing.
Mobile HCI 2005: 1-8 |
