Director:Established in 1991 by Professor Albert Mo Kim Cheng with NSF and TX-ARP support, the Real-Time Systems Laboratory has the mission to identify and solve important problems in time-critical and safety-critical applications. The laboratory's research members are currently conducting fundamental and experimental research in power-aware systems, real-time intelligent controllers, data/knowledge-based systems, multimedia tools, computer networks, and distributed systems.
Director:
Current Real-Time Systems Group Members:
Publications:A. M. K. Cheng, Real-Time Systems: Scheduling, Analysis, and Verification John Wiley & Sons, 2002.
Webpage for instructors and students
Recommended by leading embedded software and services company Wind River.
Prof. Dino Mandrioli (Politecnico di Milano, Italy), Prof. Pedro Mejia-Alvarez (Instituto Tecnologico Nacional, Mexico), Prof. Sudarshan K. Dhall (University of Oklahoma, Norman, USA), Prof. Bernardo A. Leon de la Barra (University of Technology, Sydney (UTS), Australia), Prof. Binoy Ravindran (Virginia Tech, USA), Prof. Farokh Bastani (University of Texas, Dallas, USA), and Prof. Alois Ferscha (University of Linz, Austria) are among the first world-class professors adopting/recommending Prof. Cheng's new textbook in their classes.
Join these leading professors in using this exciting and up-to-date book in your classes.
A. M. K. Cheng, ``Embedded OS,'' article in the section of Software, Encyclopedia of Computer Science and Engineering, edited by Benjamin Wah, Wiley 2004, to appear.
A. M. K. Cheng, ``Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis,'' keynote paper/chapter in Enterprise Information Systems, Kluwer Academic Publishers, 2003.
A. M. K. Cheng, Contributions as invited panel member to a chapter on the evolution of the Internet in Enterprise Information Systems, Kluwer Academic Publishers, 2003.
A. M. K. Cheng, ``E-Commerce and its Real-Time Requirements: Modeling E-Commerce as a Real-Time System,'' keynote paper/chapter in Enterprise Information Systems, B. Sharp, J. Filipe, and J. Cordeiro, Editors, Kluwer Academic Publishers, 2001.
A. M. K. Cheng, Guest Co-Editor, Two Special Issues of Papers from The First International Workshop on Software and Performance, IEEE Transactions on Software Engineering, Nov. and Dec. 2000.
A. M. K. Cheng, Contributions as invited distinguished guest to a chapter in ``Enterprise Information Systems for the XXI Century,'' Kecheng Liu, Editor, Kluwer Academic Publishers, 1999.
A. M. K. Cheng, Coordinator/Chair/Editor, Parallel and Distributed Real-Time Systems Track, Proc. 26th International Conference on System Sciences, Jan. 1993.
Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, and Vlad Radulescu, `` An Efficient Scheduling Algorithm for the Non-preemptive Independent Multiprocessor Platform,'' International Journal of Grid and Utility Computing, Vol. 3, No. 4, pp. 215-223, 2012.
Chaitanya Belwal and Albert M. K. Cheng, `` Scheduling Conditions for Real-time Software Transactional Memory," IEEE Embedded Systems Letters, Vol. 3, Issue 3, Sept. 2011.
Yong woon Ahn, Jinsuk Baek, Albert M. K. Cheng, Paul S. Fisher, and Minho Jo, `` A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network,'' IEEE Systems Journal Special Issue on Multimedia Communications Systems, Vol. 5, No. 4, December 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Lazy vs Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective,'' IEEE Embedded Systems Letters, March 2011.
Hua Chen, Albert M. K. Cheng, and Ying-Wei Kuo, `` Assigning Real-Time Tasks to Heterogeneous Processors by Applying Ant Colony Optimization,'' Journal of Parallel and Distributed Computing, available online 15 October 2010; Volume 71, Issue 1, pages 132-142, January 2011.
Jian (Denny) Lin and Albert M. K. Cheng, `` Energy Reduction for Scheduling a Set of Multiple Feasible Interval Jobs,'' Special Issue (SI) on Selected Top Papers of RTCSA 2009, Journal of Systems Architecture: Embedded Software Design, Elsevier, 56(11), November 2010.
S. Andrei and A. M. K. Cheng, `` Efficient Verification and Optimization of Real-Time Logic Specified Systems,'' IEEE Transactions on Computers, vol. 58, no. 12, pp. 1640-1653, December 2009.
Y. W. Ahn, A. M. K. Cheng, J. Baek, and P. S. Fisher, `` A Multiplayer Real-Time Game Protocol Architecture for Reducing Network Latency,'' IEEE Transactions on Consumer Electronics, 2009.
A. M. K. Cheng and Yan Wang, `` A Dynamic Voltage Scaling Algorithm for Dynamic Workloads,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Vol. 52, No. 1, pages 45-57, July 2008.
A. M. K. Cheng and Z. Zhang, ``Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-Time Mobile Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, February 2007.
A. M. K. Cheng and F. Shang, ''Priority-Driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, February 2007.
A. M. K. Cheng and J. Ras, ``The Implementation of the Priority Ceiling Protocol in Ada 2005,'' ACM Ada Letters, Vol. 27, Issue 1, April 2007.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting,'' accepted 2/2006, IEEE Transactions on Computers, Vol. 55, No. 7, pp. 830-843, July 2006. Selected as this issue's featured article.
A. M. K. Cheng, ``A Survey of Formal Verification Methods and Tools for Embedded and Real-Time Systems,'' Journal of Embedded Systems, Issue 1, 2006.
A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' extended version, ACM Special Interest Group on Embedded Systems (SIGBED) Review, January 2006.
A. M. K. Cheng and R. Agarwal, ``Reducing Encoder Bit-Rate Variation in MPEG Video,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Volume 40, Number 2, pp. 261-271, 2005.
A. M. K. Cheng and S. Fujii, ``Self-Stabilizing Real-Time OPS5 Production Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 12, pp. 1543-1554, Dec. 2004.
A. M. K. Cheng and R. Agarwal, ``Reducing Encoder Bit-Rate Variation in MPEG Video,'' Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Volume 40, Number 2, pp. 261-271, 2005.
J. A. Kang and A. M. K. Cheng, ``Shortening Matching Time in OPS5 Production Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 7, pp. 448-457, July 2004. Y.-H. Lee and A. M. K. Cheng, `` Optimizing Real-Time Equational Rule-Based Systems,'' IEEE Transactions on Software Engineering, Vol. 30, No. 2, pages 112-125, Feb. 2004.
A. M. K. Cheng and H.-Y. Tsai, `` A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 2, pages 271-288, February 2004.
A. M. K. Cheng and N. Chanjaraspong, ``Implementing a low-cost, PC-based surveillance system with automatic real-time threat detection,'' submitted for journal publication, 2004.
A. M. K. Cheng and M. X. Xu, ``Least-Laxity-First Scheduling of Real-Time Multimedia Traffic in the Internet,'' submitted for journal publication, 2005.
A. M. K. Cheng, ``Structural Complexity of OPS5 Rule-Based Programs,'' submitted for journal publication, 2004.
A. M. K. Cheng and S. Rao, `` Real-Time Multimedia Traffic Scheduling and Routing in Packet-Switched Networks,'' Special Issue on Multimedia Communications, Journal of VLSI Signal Processing - Systems for Signal, Image and Video Technology, Kluwer Academic Publishers, Vol. 34 Nos. 1-2, 2003.
P.-Y. Lee and A. M. K. Cheng, ``HAL: A Faster Match Algorithm,''IEEE Transactions on Knowledge and DataEngineering, Vol. 14, No. 5, pp. 1047-1058,September/October 2002.
A. M. K. Cheng and J.-R. Chen,``Response Time Analysis of OPS5 Production Systems,''IEEE Transactions on Knowledge and Data Engineering,May/June 2000.
B. Zupan and A. M. K. Cheng, ``Optimization of Rule-Based Systems Using State Space Graphs,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 2, pp. 238-254, March/April 1998.
B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Stability Analysis of Real-Time Systems: Porting Crisp Methods to Fuzzy,'' Electrotechnical Review: Journal for Electrical Engineering and Computer Science, Vol. 62, No. 3-4, pp. 163-170, 1995.
J.-R. Chen and A. M. K. Cheng, ``Response Time Analysis of EQL Real-Time Rule-Based Systems,'' IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 26-43, Feb. 1995.
A. M. K. Cheng, J. C. Browne, A. K. Mok, and R.-H. Wang, ``Analysis of Real-Time Rule-Based Systems With Behavioral Constraint Assertions Specified in Estella,'' IEEE Transactions on Software Engineering, Vol 19, No. 9, pp. 863-885, Sept. 1993.
J. C. Browne, A. M. K. Cheng and A. K. Mok, ``Computer-Aided Design of Real-Time Rule-Based Decision Systems,'' to appear in IEEE Transactions on Software Engineering.
Yu Li and Albert M. K. Cheng, ``Static Approximation Algorithms for Regularity-based Resource Partitioning,'' 33rd Real-Time Systems Symposium (RTSS), San Juan, Puerto Rico, USA, December 4-7, 2012.
Yong woon Ahn and Albert M. K. Cheng, ``Autonomic Computing Architecture for Real-Time Medical Application Running on Virtual Private Cloud Infrastructures,'' 33rd Real-Time Systems Symposium (rtss) WIP Session, San Juan, Puerto Rico, USA, December 4-7, 2012.
Yuanfeng Wen, Beihong Jin, Keqin Li, Albert M. K. Cheng, and Wenjing Fang, ``A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Paphos, Cyprus, Dec. 5-7, 2012.
Yuanfeng Wen, Albert M. K. Cheng, and Chaitanya Belwal, ``Worst Case Response Time for Real-Time Software Transactional Memory,'' ACM Research in Applied Computation Symposium (RACS) Poster Session, San Antonio, Texas, USA, October 23-26, 2012.
Chaitanya Belwal, Albert M. K. Cheng, and Yuanfeng Wen, ``Response Time Bounds for Event Handlers in the Priority based Functional Reactive Programming (P-FRP) Paradigm,'' ACM Research in Applied Computation Symposium (RACS), San Antonio, Texas, USA, October 23-26, 2012.
Chaitanya Belwal, Albert M. K. Cheng, and Yuanfeng Wen, ``Time Petri Nets for Schedulability Analysis of the Transactional Event Handlers of P-FRP,'' ACM Research in Applied Computation Symposium (RACS), San Antonio, Texas, USA, October 23-26, 2012.
Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, Feng Yang, and Abhinav Kohar, ``Support for Power Efficient Mobile Video Playback on Simultaneous Hybrid Display,'' 10th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia), Tampere, Finland, October 11-12, 2012.
Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, and Khoa Le, ``Energy Efficient Hybrid Display and Predictive Models for Embedded and Mobile Systems,'' International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Tampere, Finland, October 7-12, 2012.
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, and Timothy McNicholl, ``Toward an optimal power-aware scheduling technique,'' 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYN ASC), Timisoara, Romania, September 26-29, 2012.
Weizhe Zhang and Albert M. K. Cheng, ``Performance Prediction of MPI Parallel Jobs in Cluster Environments,'' International Workshop on Power and QoS Aware Computing (PQoSCom), in conjunction with IEEE Cluster, Beijing, China, September 24-28, 2012.
Albert M. K. Cheng, Homa Niktab, and Michael Walston, ``Timing Analysis of Small Aircraft Transportation System (SATS),'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.
Yu Li, Albert M. K. Cheng and Aloysius K. Mok, ``Regularity-based Partitioning of Uniform Resources in Real-time Systems,'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.
Weizhe Zhang, Hongli Zhang, Huixiang Chen, Qizhen Zhang, and Albert M. K. Cheng, ``Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment,'' First International Workshop on Workflow Models, Systems, Services and Applications in the Cloud (CloudFlow), in conjunction with the 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS), Shanghai, China, May 21-25, 2012.
Yong woon Ahn, Chaitanya Belwal, Albert M. K. Cheng, `` Improving QoS for Wireless ECG Data Transmission with Enhanced Admission Control in EDCA-Base d WLANs,'' IEEE Globecom, Houston, Texas, USA, December 5-9, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Feasibility Interval for the Transactional Event Handlers of P-FRP,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Schedulability Analysis of Transactions in Software Transactional Memory using Timed Automata,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.
Chaitanya Belwal, Albert M. K. Cheng, and Walid Taha, `` Release Offset Bounds for Response Time Analysis of P-FRP,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Sufficient Schedulability Test for Real-Time Software Transactional Memory,'' 8th IEEE International Conference on Embedded Software and Systems (ICESS), Changsha, China, Nov. 16-18, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Partitioned Scheduling of P-FRP in Symmetric Homogeneous Multiprocessors,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), Melbourne, Australia, Oct 24-26, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` A Utilization based Sufficient Condition for P-FRP,'' IEEE/IFIP International Conference on Embedded and Ubiquitous Computing(EUC), Melbourne, Australia, Oct 24-26, 2011.
Chaitanya Belwal and Albert M. K. Cheng,
``
Generating Bounded Task Periods for Experimental Schedulability
Analysis,''
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing
(EUC), Melbourne, Australia, Oct 24-26, 2011.
Best Paper Award Nominee.
Stefan Andrei, Albert M. K. Cheng, and Vlad Radulescu, `` Estimating the number of processors towards an efficient non-preemptive scheduling algorithm,'' 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, 2011.
Chaitanya Belwal and Albert M. K. Cheng, ``Schedulability Analysis of P-FRP using Time Petri Nets,'' 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) WIP Session, Toyama, Japan, August 28-31, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` An Extensible Framework for Real-time Task Generation and Simulation,'' 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Toyama, Japan, August 28-31, 2011.
Weizhe Zhang, Tao Cheng, Hui He, and Albert M. K. Cheng, `` LVMM: a lightweight virtual machine memory management Architecture for virtual computing environment ,'' International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE), Bali, Indonesia, August 4-7, 2011.
Chaitanya Belwal and Albert M. K. Cheng, ``Optimizing Energy Use in P-FRP through Dynamic Voltage Scaling,'' 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Chicago, IL, USA, part of the Cyber-Physical Systems Week (CPS Week), April 11-14, 2011.
Jim Ras and Albert M. K. Cheng, `` On Formal Verification of Toyota's Electronic Throttle Controller,'' IEEE International Systems Conference, Montreal, Quebec, Canada, April 4-7, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Determining Actual Response Time in P-FRP using Idle-Period Game Board,'' 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Newport Beach, CA, USA, March 28-31, 2011.
Chaitanya Belwal and Albert M. K. Cheng, `` Determining Actual Response Time in P-FRP,'' Thirteenth International Symposium on Practical Aspects of Declarative Languages ( PADL), Austin, Texas, USA January 24-25, 2011.
Jim Ras and Albert M. K. Cheng, `` On the Toyota's Throttle Control Problem,'' IEEE/ACM International Conference on Green Computing and Communications and IEEE/ACM International Conference on Cyber, Physical and Social Computing , Hangzhou, Zhejiang, China,December 18-19, 2010.
Chaitanya Belwal and Albert M. K. Cheng, `` Reducing the Number of Preemptions in P-FRP,'' 31st IEEE Real-Time Systems Symposium (RTSS) WIP Session, San Diego, CA, USA, November 30 - December 3, 2010.
Jim Ras and Albert M. K. Cheng, `` A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller,'' ACM SIGAda Conference, Fairfax, Virginia, October 24-28, 2010.
Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, and Vlad Radulescu, `` An Efficient Scheduling Algorithm for the Multiprocessor Platform,,'' 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010.
Stefan Andrei, Albert M. K. Cheng, Martin Rinard, and Lawrence Osborne, `` Optimal Scheduling of Urgent Preemptable Tasks,'' IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA), Macau, China, August 23-25, 2010.
Bo Liu, Fang Liu, Jian Lin, Albert M. K. Cheng, and Stefan Andrei, ``Temperature-Aware Online Real-Time Scheduling for Multiple Feasible Intervals,'' IEEE Embedded and Real-Time Computing Systems and Applications (RTCSA) WIP Session, Macau, China, August 23-25, 2010.
Jian (Denny) Lin, Wei Song, and Albert M. K. Cheng,`` RealEnergy: a New Framework and a Case Study to Evaluate Power-Aware Real-Time Scheduling Alg orithms,'' ACM International Symposium on Low Power Electronics and Design (ISLPED), Austin, Texas, USA, August 18-20, 2010.
Jim Ras and Albert M. K. Cheng,
``
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing,''
7th IEEE International Conference on Embedded Software
and Systems (ICESS-2010),
Bradford, UK,
June 29 - July 1, 2010.
Best Paper Award Nominee.
Chaitanya Belwal and Albert M. K. Cheng, ``On Priority Assignment in P-FRP,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Stockholm, Sweden, April 13-16, 2010.
Jonathan Hall, Jian (Denny) Lin, and Albert M. K. Cheng, ``Dynamic Multiple Feasible Intervals,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Stockholm, Sweden, April 13-16, 2010.
Yong woon Ahn, Albert M. K. Cheng, Jinsuk Baek, and Paul Fisher, `` Detection and Punishment of Malicious Wireless Stations in IEEE 802.11e EDCA Network,'' Proc. IEEE Sarnoff Symposium, Princeton, New Jersey, April 12-14, 2010.
Weizhe Zhang, Yuanjing Zhang, Hongli Zhang, Xuemai Gu and Albert M.K. Cheng, `` A Memory-Efficient Multi-Pattern Matching Algorithm Based on the Bitmap,'' Proc. Fourth International Conference on Internet Computing for Science and Engineering (ICICSE), Harbin Engineering University, Harbin, China, Dec. 21-22, 2009.
Jian (Denny) Lin and Albert M. K. Cheng, ``Real-time Task Assignment with Replication on Multiprocessor Platforms ,'' Proc. 15th IEEE International Conference on Parallel and Distributed Systems (ICPADS'09), Shenzhen, China, Dec. 8-11, 2009.
Stefan Andrei and Albert M. K. Cheng, ``Decomposition-based Verification of Linear Real-Time Systems Specifications,'' 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), Washington, D.C., USA (Co-located with IEEE RTSS 2009), December 1, 2009.
Jim Ras and Albert M. K. Cheng,
``
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional
Reactive Programming (P-FRP) Paradigm
,''
Proc. 15th IEEE-CS International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA), Beijing, China,
Aug. 2009.
Best Paper Award Nominee.
Jian (Denny) Lin and Albert M. K. Cheng,
``
Power-aware scheduling for Multiple Feasible Interval
Jobs,''
Proc. 15th IEEE-CS International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA), Beijing, China,
Aug. 2009.
Best Paper Award Nominee.
Albert M. K. Cheng and Sushil Digewade, `` Design Framework for Self-Stabilizing Real-Time Systems based on Real-Time Objects and Prototype implementation with Analysis,'' Software/Hardware Optimizations for Embedded Systems (SHOES) Symposium, in conjunction with ICESS-09, Hangzhou, China, May 25-27, 2009.
Jian (Denny) Lin and Albert M. K. Cheng, `` Real-time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries,'' IEEE International Conference on Advanced Information Networking and Applications (AINA), Bradford, UK, May 26-29, 2009.
Jim Ras and Albert M. K. Cheng, `` An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, April 13 - 16, 2009.
R. Cartwright, A. M. K. Cheng, P. Hudak, M. O'Malley, and W. Taha, ``Cyber-Physical Challenges in Transportation System Design,'' Proc. National Workshop for Research on High-Confidence Transportation Cyber-Physical Systems in Automotive, Aviation, and Rail Cyber-Physical Systems (AAR-CPS), Washington, D.C., November 18-20, 2008.
Jim Ras and Albert M.K. Cheng, `` Real-Time Synchronization on Distributed Architecture with Ada 2005,'' ACM International Conference on the Ada Programming Language, Portland, Oregon, Oct. 2008.
Jian (Denny) Lin and Albert M. K. Cheng `` Real-time Task Assignment in Rechargeable Multiprocessor Systems,'' IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Kaohsiung, Taiwan, Aug. 2008.
A. M. K. Cheng, `` Cyber-Physical Medical and Medication Systems,'' First International Workshop on Cyber-Physical Systems (WCPS2008), sponsored by the United States National Science Foundation, Beijing, China, June 20, 2008 (in conjunction with IEEE ICDCS 2008, Beijing, China, June 17-20, 2008).
B. Sanati and A. M. K. Cheng,
``
Maximizing Job Benefits on Multiprocessor
Systems Using a Greedy Algorithm,''
IEEE-CS Real-Time and Embedded Technology and Applications
Symposium WIP Session, St. Louis, MO, April 22-24, 2008.
One of 4 Best Papers.
C. Belwal, A. M. K. Cheng, W. Taha, and A. Zhu, ``Time Analysis of the Priority based FRP System,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, St. Louis, MO, April 22-24, 2008.
J. Lin, Y. Chen, and A. M. K. Cheng `` On-Line Burst Header Scheduling in Optical Burst Switching Networks,'' IEEE AINA, Japan, 2008.
A. M. K. Cheng, ``Applying (m, k)-firm Scheduling to Medical and Medication Systems,'' Workshop on Software and Systems for Medical Devices and Services (SMDS), in conjunction with IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.
S. Andrei and A. M. K. Cheng, `` Verifying Linear Real-Time Logic Specifications,'' IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.
Sumit Gupta, Rong Zheng, and Albert M. K. Cheng, `` ANDES: an Anomaly Detection System for Wireless Sensor Networks,'' The Fourth IEEE International Conference onMobile Ad-hoc and Sensor Systems (MASS), Pisa, Italy, October 8-11, 2007.
Albert M. K. Cheng and James Ras, ``The Implementation of the Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
Albert M. K. Cheng and Jawad Rasheed, ``Detection of Malicious Nodes by Immediate Parents (DoMNiP) in Wireless Sensor Networks,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
Timothy L. Allen and Albert M. K. Cheng, ``Real-Time, Dynamic Calculations of Polynomial Coefficients for Use in Telemetry,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, April 2007.
Albert Mo Kim Cheng and James Ras, ``Event-Based Semantics in the Implementation Language for Embedded and Critical Systems,'' Workshop on Event-Based Semantics, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium, April 2007.
S. Andrei and A. M. K. Cheng, ``Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, December 2006.
Q. S. Lewis and Albert M. K. Cheng, ``3D GC: Towards a Garbage Collector that Considers Time, Space, and Energy,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.
G. Aruchamy and A. M. K. Cheng ``Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.
Jian (Denny) Lin and Albert M. K. Cheng ``Maximizing Guaranteed QoS in (m,k)-firm Real-time Systems,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, Aug. 2006.
S. Andrei and A. M. K. Cheng, ``Optimization of Real-Time Systems Timing Specifications,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, Aug. 2006.
A. M. K. Cheng and Z. Zhang, ``Improving Web Server Performance in Soft Real-Time Mobile Applications with Adaptive Proxy Caching,'' Proc. MobEA IV-Empowering the Mobile Web, collocated with ACM WWW Conference, Edinburgh, Scotland, May 2006.
Albert M. K. Cheng, ``Intrusion Detection via Automatic Rule-Base Generation and Semantic Analysis,' ' Proc. SCISS, Houston, TX, April 2006.
Albert M. K. Cheng, ``On-Time and Scalable Intrusion Detection in Embedded Systems,'' Proc. Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems, in conjunction with IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, April 2006.
Jian (Denny) Lin and Albert M. K. Cheng ``Maximizing Guaranteed QoS within (m,k)-firm Real-time Constraints,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, San Jose, CA, April 2006.
W. Zhang, A. M. K. Cheng, B. Fang, M. Hu, ``An adaptive multisite scheduling algorithm for parallel jobs in computational grid environments,'' Proc. Third High-Performance Grid Computing Workshop, in conjunction with International Parallel and Distributed Processing Symposium, in Rhodes Island, Greece, April 29, 2006.
A. M. K. Cheng and S. Fang, ``Study and Simulation of a Distributed Real-Time Fault-Tolerance Web Monitoring System,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.
A. M. K. Cheng and C. Feng, ``Predictive Thermal Management for Hard Real-Time Tasks,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Miami, FL, December 2005.
A. M. K. Cheng and F. Shang, ``Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, Aug. 2005.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and Yongxin Zhu, ``Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, Aug. 2005.
Y. Wang and A. M. K. Cheng, ``A Dynamic-Mode DVS Algorithm under Dynamic Workloads,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.
H. Chen and A. M. K. Cheng ``Applying Ant Colony Optimization to the Partitioned Scheduling Problem for Heterogeneous Processors,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Incremental Automatic Debugging of Real-Time Systems Based on Satisfiability Counting,'' IEEE-CS Real-Time and Embedded Technology and Applications Symposium, San Francisco, March 2005.
A. M. K. Cheng and Rong Wang, ``A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation,'' Proc. 28th Annual International IEEE-CS International Computer Software and Application Conference (COMPSAC), Hong Kong, September 2004.
Jharna J. Chokhawala and Albert M. K. Cheng, ``Optimizing Power Aware Routing in Mobile Ad Hoc Networks,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
Chien-Chih Chu and Albert M. K. Cheng, ``Static and Dynamic Methods to Improve Total Reward of Tasks in Battery-Powered Devices,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
F. Shang and A. M. K. Cheng, ``Time-Constrained Transmission of JPEG Images via Variable-Quality Coding,'' Proc. WIP Session, IEEE-CS Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2004.
S. Sodhi and A. M. K. Cheng, ``Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.
Z. Zhu and A. M. K. Cheng, ``Worst Case Round Trip Time Prediction and Statistical Analysis Using Extreme Values Theory,'' Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, Cancun, Mexico, Dec. 2003.
A. M. K. Cheng and K. Rajan, ``A Digital Map/GPS-Based Routing and Addressing Scheme for Wireless Ad Hoc Networks,'' Proc. IEEE Intelligent Vehicles Symposium, Columbus, OH, USA, June 9-11, 2003.
Ming Zu and Albert M. K. Cheng, ``Real-Time Scheduling of Hierarchical Reward-Based Tasks,'' Proc. IEEE-CS Real-Time Technology and Applications Symp., May 2003.
A. M. K. Cheng and Z. Zhang, ``Adaptive Proxy Caching for Web Servers in Soft Real-Time Applications,'' Proc. WIP Session, 23rd IEEE Real-Time Systems Symposium, Austin, TX, December 3-5, 2002.
Jeong A. Kang and A. M. K. Cheng, ``Reducing Matching Time for OPS5 Production Systems,'' Proc. 25th IEEE-CS Computer Software and Applications Conference (COMPSAC), Chicago, IL, Oct. 2001.
F. Jiang and A. M. K. Cheng, ``A Context Switch Reduction Technique for Real-Time Task Synchronization,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symposium, San Francisco, CA, May 2001.
L. Miller and A. M. K. Cheng, ``Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels,'' Proc. 21th IEEE-CS Real-Time Systems Symposium, Nov. 2000.
S. M. Bak, A. M. K. Cheng et al., ``Load-Balanced Routing in Real-Time Packet-Switched Networks,'' Proc. 25th Intl. Conf. on Local Computer Networks, Nov. 2000.
S. Rao and A. M. K. Cheng, ``Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks,'' Proc. IEEE Intl. Conf. on Multimedia and Expo, New York, MA, July-Aug. 2000.
L. Miller and A. M. K. Cheng, ``CAC with Bandwidth Reallocation and Active Channel Rerouting Techniques in ATM Networks: Simulation and Performance Results,'' Intl. Conf. on Applied Simulation and Modeling (ASM 2000), Banff, Canada, July 2000.
Y.-H. Lee and A. M. K. Cheng, ``Run-time Dynamic Optimization for Real-Time Rule-Based Systems,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Washington, D.C., May-June 2000.
S. Fujii and A. M. K. Cheng, ``Bounded-Response-Time Self-Stabilizing OPS5 Production Systems,'' Proc. IEEE-CS Intl. Parallel and Distributed Processing Symp., Cancun, Mexico, May 2000.
J.-C. Wang and A. M. K. Cheng, ``A State-Space-Based Approach for Optimizing MRL Rule-Based Programs,'' Proc. Intl. Conf. on Parallel and Distributed Computer Systems, MIT, Cambridge, MA, Nov. 1999.
R. Agarwal and A. M. K. Cheng, ``Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video,'' Proc. IEEE-CS Intl. Conf. on Multimedia Computing and Systems, Florence, Italy, June 1999.
L. E. P. Rice and Albert M. K. Cheng, ``Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.
A. M. K. Cheng and J.-C. Wang, ``Applying a Modified EQL Optimization Method to MRL Rule-Based Programs,'' Proc. 1st IEEE Workshop on Application-Specific Software Engineering and Technology, Richardson, TX, Mar. 1998.
A. M. K. Cheng, ``Optimization of Real-Time MRL Rule-Based Systems with the EQL Optimizer,'' Proc. WIP Session, 18th IEEE-CS Real-Time Systems Symposium, San Francisco, CA, Dec. 1997.
P.-Y. Lee and A. M. K. Cheng, ``Reducing Match Time Variance in Production Systems with HAL,'' Proc. 6th Intl. ACM Conf. on Information and Knowledge Management, Las Vegas, Nevada, Nov. 1997.
S. Avery and A. M. K. Cheng, ``Optimizing OPS5 Rule-Based Programs by Rule-Splitting,'' Proc. Intl. Conf. on Software Engineering, San Francisco, CA, Nov. 1997.
C. Wong and A. M. K. Cheng, ``An Approach for Imprecise Transmission of TIFF Image Files Through Congested Real-Time ATM Networks,'' Proc. 22nd Intl. Conf. on Local Computer Networks, Minneapolis, MN, Nov. 1997.
X. Chen and A. M. K. Cheng, ``An Imprecise Algorithm for Real-Time Compressed Image/Video Transmission,'' Proc. 6th Intl. Conf. on Computer Communications and Networks, Las Vegas, Nevada, Sept. 1997.
A. M. K. Cheng, ``Predicting the Match Time in Real-Time Rule-Based Systems,'' Proc. Workshop on Formal Methods for the Design of Real-Time Systems, 3rd IEEE Intl. Conf. on Engineering of Complex Computer Systems, Como, Italy, Sept. 1997.
C. Wong and A. M. K. Cheng, ``Maintaining High Transmitted Image Quality in Congested ATM Networks,'' Proc. Workshop on Resource Allocation Problems in Multimedia Systems, held in conjunction with the 17th IEEE Real-Time Systems Symposium, Washington, D.C., Dec. 1996.
A. M. K. Cheng, ``Fault-Tolerant EQL and MRL Rule-Based Programs,'' Proc. 2nd World Conf. on Integrated Design and Process Technology (IDPT), Austin, Texas, Dec. 1996.
A. M. K. Cheng, ``Measuring the Structural Complexity of OPS5 Rule-Based Programs,'' Proc. 20th IEEE-CS Computer Software and Applications (COMPSAC) Conf., Seoul, Korea, Aug. 1996.
A. M. K. Cheng and X. Gu, ``Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures'' Proc. 25th Intl. Conf. on Parallel Processing, Bloomingdale, IL, Vol. I, pp. 204-211, Aug. 1996.
Pointers to related information:
Back to the home page of
CS Dept., Univ. of Houston
Created on: 3/12/96.
Last Modified: 5/18/2013.
Maintained by Albert Cheng.