公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2009 | An anomaly prevention approach for real-time task scheduling | Chen, Ya-Shu; Chang, Li-Pin; Mok, Aloysius K.; TEI-WEI KUO | Journal of Systems and Software | 6 | 3 | |
1995 | Design and implementation of a real-time object management interface | TEI-WEI KUO ; Mok, Aloysius K. | Real-Time Technology and Applications | | | |
1995 | The design and implementation of a Real-Time Object Management Interface. | TEI-WEI KUO ; Mok, Aloysius K. | 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995 | | | |
1992 | Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. | | | |
1991 | Load adjustment in adaptive real-time systems | TEI-WEI KUO ; Mok, Aloysius K. | Real-Time Systems Symposium | | | |
1991 | Load Adjustment in Adaptive Real-Time Systems. | TEI-WEI KUO ; Mok, Aloysius K. | Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991 | | | |
1994 | RTL and Refutation by Positive Cycles. | Wang, Farn; Mok, Aloysius K.; FARN WANG | FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings | | | |
1997 | Similarity-based load adjustment for real-time data-intensive applications. | Ho, Shao-Juen; Kuo, Tei-Wei; Mok, Aloysius K.; TEI-WEI KUO | Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA | | | |
1993 | SSP: A semantics-based protocol for real-time data access | TEI-WEI KUO ; Mok, Aloysius K. | Real-Time Systems Symposium | | | |
1993 | SSP: A Semantics-Based Protocol for Real-Time Data Access. | TEI-WEI KUO ; Mok, Aloysius K. | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
1993 | Symbolic Model Checking for Distributed Real-Time Systems. | Wang, Farn; Mok, Aloysius K.; Emerson, E. Allen; FARN WANG | FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | | | |
1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 | | | |
1994 | Using data similarity to achieve synchronization for free | TEI-WEI KUO ; Mok, Aloysius K. | IEEE Workshop on Real-Time Operating Systems and Software | | | |