Self-stabilizing real-time OPS5 production systems
Cheng, A.M.K., Fujii, S.
Published in IEEE transactions on knowledge and data engineering (01.12.2004)
Published in IEEE transactions on knowledge and data engineering (01.12.2004)
Get full text
Journal Article
A graph-based approach for timing analysis and refinement of OPS5 knowledge-based systems
Cheng, A.M.K., Tsai, H.-Y.
Published in IEEE transactions on knowledge and data engineering (01.02.2004)
Published in IEEE transactions on knowledge and data engineering (01.02.2004)
Get full text
Journal Article
HAL: a faster match algorithm
Pou-Yung Lee, Cheng, A.M.K.
Published in IEEE transactions on knowledge and data engineering (01.09.2002)
Published in IEEE transactions on knowledge and data engineering (01.09.2002)
Get full text
Journal Article
Optimization of rule-based systems using state space graphs
Zupan, B., Cheng, A.M.K.
Published in IEEE transactions on knowledge and data engineering (01.03.1998)
Published in IEEE transactions on knowledge and data engineering (01.03.1998)
Get full text
Journal Article
An Extensible Framework for Real-Time Task Generation and Simulation
Belwal, C., Cheng, A. M. K.
Published in 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2011)
Published in 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2011)
Get full text
Conference Proceeding
A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs
Yuanfeng Wen, Beihong Jin, Keqin Li, Cheng, A. M. K., Wenjing Fang
Published in 2012 IEEE 15th International Conference on Computational Science and Engineering (01.12.2012)
Published in 2012 IEEE 15th International Conference on Computational Science and Engineering (01.12.2012)
Get full text
Conference Proceeding
Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment
Weizhe Zhang, Hongli Zhang, Huixiang Chen, Qizhen Zhang, Cheng, A. M. K.
Published in 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (01.05.2012)
Published in 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (01.05.2012)
Get full text
Conference Proceeding
Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs
Yong Woon Ahn, Belwal, C., Cheng, A. M. K., Jinsuk Baek
Published in 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011 (01.12.2011)
Published in 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011 (01.12.2011)
Get full text
Conference Proceeding
Support for power efficient mobile video playback on simultaneous hybrid display
Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Cheng, A. M. K., Feng Yang, Kohar, A.
Published in 2012 IEEE 10th Symposium on Embedded Systems for Real-time Multimedia (01.10.2012)
Published in 2012 IEEE 10th Symposium on Embedded Systems for Real-time Multimedia (01.10.2012)
Get full text
Conference Proceeding
Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
Cheng, A.M.K., Browne, J.C., Mok, A.K., Rwo-Hsi Wang
Published in IEEE transactions on software engineering (01.09.1993)
Published in IEEE transactions on software engineering (01.09.1993)
Get full text
Journal Article
Reducing matching time for OPS5 production systems
Kang, J.A., Cheng, A.M.K.
Published in 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Published in 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Get full text
Conference Proceeding
Journal Article