| 臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:54Z |
Symbolic Model Checking for Distributed Real-Time Systems.
|
Wang, Farn;Mok, Aloysius K.;Emerson, E. Allen; Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG |
| 臺大學術典藏 |
2020-05-04T08:07:20Z |
The design and implementation of a Real-Time Object Management Interface.
|
TEI-WEI KUO; Mok, Aloysius K.; Kuo, Tei-Wei |
| 臺大學術典藏 |
2020-05-04T08:07:20Z |
Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications.
|
Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2020-05-04T08:07:20Z |
Load Adjustment in Adaptive Real-Time Systems.
|
Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2020-05-04T08:07:19Z |
Similarity-based load adjustment for real-time data-intensive applications.
|
Ho, Shao-Juen; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2020-05-04T08:07:11Z |
Real-time task scheduling anomaly: observations and prevention.
|
Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T07:35:27Z |
An anomaly prevention approach for real-time task scheduling
|
Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO; Chen, Ya-Shu;Chang, Li-Pin;Kuo, Tei-Wei;Mok, Aloysius K.; Chen, Ya-Shu |
| 臺大學術典藏 |
2018-09-10T05:22:20Z |
Design and implementation of a real-time object management interface
|
Kuo, Tei-Wei;Mok, Aloysius K.; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T04:52:52Z |
Using data similarity to achieve synchronization for free
|
Kuo, Tei-Wei;Mok, Aloysius K.; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T04:32:19Z |
SSP: A semantics-based protocol for real-time data access
|
Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 臺大學術典藏 |
2018-09-10T03:47:23Z |
Load adjustment in adaptive real-time systems
|
Kuo, Tei-Wei;Mok, Aloysius K.; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
| 國立交通大學 |
2014-12-08T15:10:24Z |
An anomaly prevention approach for real-time task scheduling
|
Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K. |
| 國立臺灣大學 |
2009 |
An anomaly prevention approach for real-time task scheduling
|
Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K. |
| 國立臺灣大學 |
2005 |
Real-Time Task Scheduling Anomaly: Observations and Prevention
|
Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K. |
| 臺大學術典藏 |
2005 |
Real-Time Task Scheduling Anomaly: Observations and Prevention
|
Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K.; Chen, Ya-Shu; Chang, Li-Pin; Kuo, Tei-Wei; Mok, Aloysius K. |
| 臺大學術典藏 |
1999 |
Utilization Bound Re-visited .
|
Kuo, Tei-Wei; TEI-WEI KUO; Mok, Aloysius K.; Chen, Deji |
| 臺大學術典藏 |
1993 |
SSP: A Semantics-Based Protocol for Real-Time Data Access.
|
Kuo, Tei-Wei;Mok, Aloysius K.; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO |
