| 2008 |
|---|
| 10 | 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 |
| 9 | 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 |
|---|
| 8 | 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 |
| 7 | EE | Jin Cui,
Qingxu Deng,
Xiuqiang He,
Zonghua Gu:
An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs.
DATE 2007: 129-134 |
| 6 | 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 |
| 5 | 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 |
|---|
| 4 | EE | Yinfeng Wang,
Xiaoshe Dong,
Xiuqiang He,
Hua Guo,
Fang Zheng,
Zhongsheng Qin:
A Constellation Model for Grid Resource Management.
APPT 2005: 263-272 |
| 3 | EE | Yinfeng Wang,
Xiaoshe Dong,
Hua Guo,
Xiuqiang He,
GuoRong Liu:
A Constellation Resource Discovery Model Based on Scalable Multi-tape Universal Turing Machine.
GCC 2005: 633-644 |
| 2 | EE | Xiaoshe Dong,
Yinfeng Wang,
Xiuqiang He,
Hua Guo,
Fang Zheng,
Weiguo Wu:
The Campus Resource Management Based on Constellation Model in the ChinaGrid.
ISPA Workshops 2005: 249-256 |
| 1 | EE | Xiaoshe Dong,
Xiuqiang He,
Hua Guo,
Wancheng Li,
Xingjun Zhang:
Construction of Overlay Network in P2P-based Resource Discovery Model in Grid Environment.
SKG 2005: 27 |
