| * | 2009 |
|---|
| 6 | EE | Pao-Ann Hsiung,
Chun-Hsian Huang,
Yuan-Hsiu Chen:
Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC.
J. Embedded Computing 3(1): 53-62 (2009) |
| 5 | EE | Pao-Ann Hsiung,
Shang-Wei Lin,
Yean-Ru Chen,
Chun-Hsian Huang,
Chihhsiong Shih,
William C. Chu:
Modeling and verification of real-time embedded systems with urgency.
Journal of Systems and Software 82(10): 1627-1641 (2009) |
| 2007 |
|---|
| 4 | EE | Chun-Hsian Huang,
Kai-Jung Shih,
Chao-Sheng Lin,
Shih-Shiue Chang,
Pao-Ann Hsiung:
Dynamically Swappable Hardware Design in Partially Reconfigurable Systems.
ISCAS 2007: 2742-2745 |
| 2006 |
|---|
| 3 | EE | Pao-Ann Hsiung,
Shang-Wei Lin,
Yean-Ru Chen,
Chun-Hsian Huang,
Jia-Jen Yeh,
Hong-Yu Sun,
Chao-Sheng Lin,
Hsiao-Win Liao:
Model Checking Timed Systems with Urgencies.
ATVA 2006: 67-81 |
| 2 | EE | Pao-Ann Hsiung,
Chun-Hsian Huang,
Chih-Feng Liao:
Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems.
FPL 2006: 1-6 |
| 2005 |
|---|
| 1 | EE | Shang-Wei Lin,
Pao-Ann Hsiung,
Chun-Hsian Huang,
Yean-Ru Chen:
Model Checking Prioritized Timed Automata.
ATVA 2005: 370-384 |
