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
Timing Analysis of Small Aircraft Transportation System (SATS)
Cheng, A. M. K., Niktab, H., Walston, M.
Published in 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2012)
Published in 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2012)
Get full text
Conference Proceeding
Regularity-Based Partitioning of Uniform Resources in Real-Time Systems
Yu Li, Cheng, A. M. K., Mok, A. K.
Published in 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2012)
Published in 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (01.08.2012)
Get full text
Conference Proceeding
Generating Bounded Task Periods for Experimental Schedulability Analysis
Belwal, C., Cheng, A. M. K.
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Get full text
Conference Proceeding
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 Utilization Based Sufficient Condition for P-FRP
Belwal, C., Cheng, A. M. K.
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Get full text
Conference Proceeding
Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors
Belwal, C., Cheng, A. M. K.
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Published in 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (01.10.2011)
Get full text
Conference Proceeding
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing
Ras, J, Cheng, A M K
Published in 2010 10th IEEE International Conference on Computer and Information Technology (01.06.2010)
Published in 2010 10th IEEE International Conference on Computer and Information Technology (01.06.2010)
Get full text
Conference Proceeding
Performance Prediction for MPI Parallel Jobs
Weizhe Zhang, Tianyu Han, Yuanjing Zhang, Cheng, A. M. K.
Published in 2012 IEEE International Conference on Cluster Computing Workshops (01.09.2012)
Published in 2012 IEEE International Conference on Cluster Computing Workshops (01.09.2012)
Get full text
Conference Proceeding
On formal verification of Toyota's electronic throttle controller
Get full text
Conference Proceeding