| * | 2008 |
|---|
| 9 | EE | Shenglin Gui,
Lei Luo,
Qian Liu,
Fulei Guo,
Shaopeng Lu:
UCaS: A Schedulability Analysis Tool for AADL Models.
EUC (2) 2008: 449-454 |
| 2007 |
|---|
| 8 | EE | Liang Zhang,
J. M. Wilson,
Rizwan Bashirullah,
Lei Luo,
Jian Xu,
Paul D. Franzon:
Voltage-Mode Driver Preemphasis Technique For On-Chip Global Buses.
IEEE Trans. VLSI Syst. 15(2): 231-236 (2007) |
| 2005 |
|---|
| 7 | EE | Liang Zhang,
John Wilson,
Rizwan Bashirullah,
Lei Luo,
Jian Xu,
Paul D. Franzon:
Driver pre-emphasis techniques for on-chip global buses.
ISLPED 2005: 186-191 |
| 2004 |
|---|
| 6 | EE | Yun Li,
Lei Luo:
QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals.
ICESS 2004: 280-286 |
| 2003 |
|---|
| 5 | EE | Lei Luo,
Ming-Yuan Zhu:
Partitioning based operating system: a formal model.
Operating Systems Review 37(3): 23-35 (2003) |
| 4 | EE | Lei Luo,
Ming-Yuan Zhu,
Qing-Li Zhang:
A formal semantic definition of DEVIL.
SIGPLAN Notices 38(4): 47-56 (2003) |
| 2002 |
|---|
| 3 | | Hui Luo,
Lei Luo,
Ruey-Wen Liu:
A closed-form solution to the autocorrelation matching method for wireless MIMO communications.
IEEE Workshop on Multimedia Signal Processing 2002: 392-395 |
| 2001 |
|---|
| 2 | | Ming-Yuan Zhu,
Lei Luo,
Guang-Zhe Xiong:
A Provably Correct Operating System: delta-Core.
Operating Systems Review 35(1): 17-33 (2001) |
| 1 | | Ming-Yuan Zhu,
Lei Luo,
Guang-Zhe Xiong:
The Minimal Model of Operating Systems.
Operating Systems Review 35(3): 22-29 (2001) |
