|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"mok aloysius k"
Showing items 1-10 of 18 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-10 of 18 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page
|
