 | 2000 |
|---|
| 5 |       | Yann-Hang Lee,
Daeyoung Kim,
Mohamed F. Younis,
Jeffrey X. Zhou,
James McElroy:
Resource Scheduling in Dependable Integrated Modular Avionics.
DSN 2000: 14-23 |
| 1998 |
|---|
| 4 |  | Mohamed F. Younis,
Jeffrey X. Zhou,
Mohamed Aboutabl:
Strong Partitioning Protocol for a Multiprocessor VME System.
FTCS 1998: 176-185 |
| 3 | | Oleg Sokolsky,
Mohamed F. Younis,
Insup Lee,
Hee-Hwan Kwak,
Jeffrey X. Zhou:
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
IEEE Real Time Technology and Applications Symposium 1998: 220-229 |
| 2 | | Yann-Hang Lee,
Daeyoung Kim,
Mohamed F. Younis,
Jeffrey X. Zhou:
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software.
RTCSA 1998: 103-109 |
| 1990 |
|---|
| 1 | | Jeffrey X. Zhou:
A parallel computer model supporting procedure-based communication.
SC 1990: 286-294 |
