Refereed Publications on Real-Time Scheduling:

Jiwoo Lee, Albert M. K. Cheng, and Guangli Dai, ``Generalized Demand-Based Schedulability Test for Mixed-Criticality Sporadic Task Model,'' 43th IEEE Real-Time Systems Symposium (RTSS) BP, Houston, Texas, December 5-8, 2022.

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks,'' to appear in Journal of Real-Time Systems (JRTS), December 2022.

Vlad Radulescu, Stefan Andrei, and Albert M. K. Cheng, ``Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems,'' 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Virtual, August 18-20, 2021.

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks,'' 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Virtual, August 18-20, 2021.

Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Panruo Wu, ``A Virtualization Platform Designed for Irregular Multi-process Applications,'' 50th International Conference on Parallel Processing (ICPP), August 9-12, 2021.

Pavan Kumar Paluri, Guangli Dai, and Albert M. K. Cheng, ``ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen,'' 22nd ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES), co-located with PLDI, Virtual, June 2021. (Artifact Evaluated: Available and Functional.)

Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``Task Mapping in a Regularity-based Resource Partitioning Hierarchical Real-Time System,'' 30th Euromicro Conference on Real-Time Systems (ECRTS) WIP Session, July 3-6, 2018.

Kevin Bailey, Albert M. K. Cheng, Pavan Kumar Paluri, Guangli Dai, and Carlos Rincon, ``Implementing the Regularity-based Resource Partition Model on RT-Xen,'' 30th Euromicro Conference on Real-Time Systems (ECRTS) WIP Session, July 3-6, 2018.

Carlos Rincon, Xingliang Zou, and Albert M. K. Cheng, ``Real-time Multiprocessor Scheduling Algorithm based on Information Theory Principles,'' IEEE Embedded Systems Letters, 2017.

Yu Li and Albert M. K. Cheng, ``Toward a Practical Regularity-based Model,'' ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 4, Article No. 111, August 2017.

Carlos Rincon and Albert M. K. Cheng, ``SITSA-RT:An Information Theory Inspired Real-Time Multiprocessor Scheduler,'' 21th IEEE International Symposium on Real-time Computing (ISORC), Singapore, May 29-31, 2018.

Carlos Rincon and Albert M. K. Cheng, ``Preliminary Performance Evaluation of HEF Scheduling Algorithm,'' 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WiP Session, part of the Cyber-Physical Systems Week (CPS Week), Vienna, Austria, April 11-14, 2016.

Carlos Rincon and Albert M. K. Cheng, ``Using Information Theory Principles to Schedule Real-Time Tasks,'' The 51st Annual Conference on Information Systems and Sciences (CISS), Baltimore, Maryland, March 22-24, 2017.

Yu Li and Albert M. K. Cheng, ``TransparentReal-Time Task Scheduling on Temporal Resource Partitions,'' IEEE Transactions on Computers, pages 1646-1655, May 2016.

Carlos Rincon and Albert M. K. Cheng, ``Using Entropy as a Parameter to Schedule Real-Time Tasks,'' 36th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, San Antonio, Texas, December 1-4, 2015.

Yu Jiang, Albert M. K. Cheng, and Xingliang Zou, ``Schedulability Analysis for Real-Time P-FRP Tasks Under Fixed Priority Scheduling,'' to appear in 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications,, Hong Kong, Aug 19-21, 2015.

Qiong Lu, Albert M. K. Cheng, and Robert Davis, ``Tunable Response Time Upper Bound for Fixed-Priority Real-Time Systems,'' 21th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP, Seattle, Washington, April 14-16, 2015.

Qiang Zhou, Xingliang Zou, Albert M. K. Cheng, and Yu Jiang, ``An Integrated Analysis of the Worst Case Response Time for P-FRP,'' 35th IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rome, Italy, December 3-5, 2014.

Jian (Denny) Lin, Albert M. K. Cheng, Douglas Steel, and Michael Yu-Chi Wu, ``Scheduling Mixed-Criticality Real-Time Tasks with Fault Tolerance,'' 2nd Workshop on Mixed Criticality (WMC), in conjuction with IEEE RTSS, Rome, Italy, December 2, 2014.

Xingliang Zou, Albert M. K. Cheng, Yu Li, and Yu Jiang, ``A Temporal Partition-based Linux CPU Scheduler,'' to appear in 11th IEEE International Conference on Embedded Software and Systems (ICESS), in conjunction with HPCC and CSS, Paris, France, August 20-22, 2014.

Behnaz Sanati and Albert M. K. Cheng, ``Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms,'' to appear in 11th IEEE International Conference on Embedded Software and Systems (ICESS), in conjunction with HPCC and CSS, Paris, France, August 20-22, 2014.

Yu Jiang, Xingliang Zou, and Albert M. K. Cheng, ``On the Schedulability of P-FRP Tasks,'' 20th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Berlin, Germany April 2014.

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.

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, 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.

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.

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, `` Determining Actual Response Time in P-FRP,'' Thirteenth International Symposium on Practical Aspects of Declarative Languages ( PADL), Austin, Texas, USA January 24-25, 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.

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.

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.

Jim Ras and Albert M. K. Cheng, ``A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller,'' International Conference on Embedded Software 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 2010.

Jian (Denny) Lin, Wei Song, Albert M. K. Cheng ``RealEnergy: a New Framework and a Case Study to Evaluate Power-Aware Real-Time Scheduling Algorithms ,'' 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. Nominated for Best Paper Award.

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.

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.

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. Nominated for Best Paper Award.

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. Nominated for Best Paper Award.

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.

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. 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.

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.

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, July 2007.

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.

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.

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 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 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 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.

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.

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.

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.

Chien-Chih Chu and Albert M. K. Cheng, ``Static and Dynamic Methods to Improve Total Reward of Tasks in Battery-Powered Devices,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, Toronto, Canada, May 2004.

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.

S. Rao and A. M. K. Cheng, `` Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy ,'' 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.

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.

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.

T. Lee and A. M. K. Cheng, ``Multiprocessor Scheduling of Independent Hard-Real-Time Periodic Tasks with Task Migration Constraints,'' Proc. IEEE-CS Workshop on Real-Time Computing Systems and Applications, Seoul, Korea, Dec. 1994.

A. M. K. Cheng and L. Zhang, ``An Efficient On-Line Scheduler for Real-Time Main Memory Database Systems,'' Proc. IEEE Intl. Conf. on Data and Knowledge Systems for Manufacturing and Engineering, Hong Kong, pp. 680-685, May 1994.

A. M. K. Cheng, ``Scheduling Transactions in Real-Time Database Systems,'' Proc. IEEE-CS Computer Conf., San Francisco, CA, pp. 222-231, Feb. 1993.