검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Non-preemptive scheduling to maximize the minimum global inter-completion time Amaro CC, Baruah SK, Stoyen AD, Halang WA Automatica, 39(6), 957, 2003 |
| 2 |
Formal verification of compiler transformations for speculative real-time execution Younis MF, Tsai G, Marlowe TJ, Stoyen AD Automatica, 34(8), 939, 1998 |