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
Automatic debugging of real-time systems based on incremental satisfiability counting
Andrei, S., Chin, W.N., Cheng, A.M.K., Lupu, M.
Published in IEEE transactions on computers (01.07.2006)
Published in IEEE transactions on computers (01.07.2006)
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
Real-time Task Assignment with Replication on Multiprocessor Platforms
Jian Lin, Cheng, A.M.K.
Published in 2009 15th International Conference on Parallel and Distributed Systems (01.12.2009)
Published in 2009 15th International Conference on Parallel and Distributed Systems (01.12.2009)
Get full text
Conference Proceeding
An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System
Ras, J., Cheng, A.M.K.
Published in 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (01.04.2009)
Published in 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (01.04.2009)
Get full text
Conference Proceeding
A multiplayer real-time game protocol architecture for reducing network latency
Yong woon Ahn, Cheng, A.M.K., Jinsuk Baek, Fisher, P.S.
Published in IEEE transactions on consumer electronics (01.11.2009)
Published in IEEE transactions on consumer electronics (01.11.2009)
Get full text
Journal Article
Workshop on software and performance [Guest Editors' Introduction]
Cheng, A.M.K., Clements, P., Woodside, M.
Published in IEEE transactions on software engineering (01.12.2000)
Published in IEEE transactions on software engineering (01.12.2000)
Get full text
Journal Article
Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries
Jian Lin, Cheng, A.M.K., Kumar, R.
Published in 2009 International Conference on Advanced Information Networking and Applications (01.05.2009)
Published in 2009 International Conference on Advanced Information Networking and Applications (01.05.2009)
Get full text
Conference Proceeding
On-Line Burst Header Scheduling in Optical Burst Switching Networks
Jian Lin, Yuhua Chen, Cheng, A.M.K.
Published in 22nd International Conference on Advanced Information Networking and Applications (aina 2008) (01.03.2008)
Published in 22nd International Conference on Advanced Information Networking and Applications (aina 2008) (01.03.2008)
Get full text
Conference Proceeding
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
Real-time scheduling of hierarchical reward-based tasks
Ming Zu, Cheng, A.M.K.
Published in The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings (2003)
Published in The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Guest editors' introduction: workshop on software and performance
Cheng, A.M.K., Clements, P., Woodside, M.
Published in IEEE transactions on software engineering (01.11.2000)
Published in IEEE transactions on software engineering (01.11.2000)
Get full text
Journal Article
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm
Ras, J., Cheng, A.M.K.
Published in 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2009)
Published in 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2009)
Get full text
Conference Proceeding
Response time analysis of EQL real-time rule-based systems
Jeng-Rung Chen, Cheng, A.M.K.
Published in IEEE transactions on knowledge and data engineering (01.02.1995)
Published in IEEE transactions on knowledge and data engineering (01.02.1995)
Get full text
Journal Article