Albert Mo Kim Cheng
Orcid: 0000-0003-2134-3056Affiliations:
- University of Houston, USA
According to our database1,
Albert Mo Kim Cheng
authored at least 194 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Demo Abstract: Collaborative Real-Time Scheduling (CRTS) Algorithm for AGV Transportation System within a CPS Architecture.
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023
Demo Abstract: Implementing a COVID-19 Risk Assessment System for User-Informed Travel Planning in Harris County.
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023
Poster Abstract: Implementing Dynamic User Equilibrium in a Scaled City Environment with Duckietown and SUMO.
Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023
FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and scheduling.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the International Conference on Embedded Software, 2023
Proceedings of the 57th Annual Conference on Information Sciences and Systems, 2023
2022
IEEE Trans. Computers, 2022
Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasks.
Real Time Syst., 2022
Special issue on advances in scheduling resource partitions and real-time computer vision.
Real Time Syst., 2022
Work-in-Progress: Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task Model.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Work-in-Progress: Real-Time On-board Processing for Cloud Detection in FACSAT-2 Multispectral Satellite Imagery.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Work In Progress: A Solution Based on Dynamic User Equilibrium Toward the Selfless Traffic Routing Model.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
2021
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
Real-Time COVID-19 Infection Risk Assessment and Mitigation based on Public-Domain Data.
Proceedings of the IEEE/ACM HPC for Urgent Decision Making, 2021
Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021
Work-In-Progress: Fault Tolerance in a Two-State Regularity-Based Checkpointing System.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021
2020
Work-In-Progress: Fault Tolerance in a Two-State Checkpointing Regularity-Based System.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Work-In-Progress: Designing a Server-Side Progressive JPEG Encoder for Real-Time Applications.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the 16th IEEE International Conference on Control & Automation, 2020
2019
Math. Comput. Sci., 2019
Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Work-in-Progress: Reducing Response Time of Static Priority Task Sets by Varying Offsets.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019
2018
Bounding execution resources for the task scheduling problem in cyber-physical systems.
SIGBED Rev., 2018
Int. J. Parallel Emergent Distributed Syst., 2018
Technological advances in wireless sensor networks enabling diverse Internet of Things applications.
Int. J. Distributed Sens. Networks, 2018
Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
2017
Toward a Practical Regularity-based Model: The Impact of Evenly Distributed Temporal Resource Partitions.
ACM Trans. Embed. Comput. Syst., 2017
Sensors, 2017
Real-Time Multiprocessor Scheduling Algorithm Based on Information Theory Principles.
IEEE Embed. Syst. Lett., 2017
Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Finding a Steady State Point for Fixed Priority Independent Periodic Real-Time Tasks with Arbitrary Given Release Offsets.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the Advances in Computer Science and Ubiquitous Computing, 2017
Proceedings of the 51st Annual Conference on Information Sciences and Systems, 2017
2016
IEEE Trans. Computers, 2016
IEEE Trans. Computers, 2016
Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD).
SIGBED Rev., 2016
A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform.
SIGBED Rev., 2016
Microprocess. Microsystems, 2016
LBBA: An efficient online benefit-aware multiprocessor scheduling for QoS via online choice of approximation algorithms.
Future Gener. Comput. Syst., 2016
IEEE Embed. Syst. Lett., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and Its Static Timing Analysis.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Poster Abstract: Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 13th International Conference on Embedded Software and Systems, 2016
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016
2015
Solving Energy-Aware Real-Time Tasks Scheduling Problem with Shuffled Frog Leaping Algorithm on Heterogeneous Platforms.
Sensors, 2015
Int. J. Embed. Real Time Commun. Syst., 2015
Comput. Sci. Inf. Syst., 2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
2014
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems.
IEEE Embed. Syst. Lett., 2014
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014
2013
Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures.
SIGBED Rev., 2013
An auto-scaling mechanism for virtual resources to support mobile, pervasive, real-time healthcare applications in cloud computing.
IEEE Netw., 2013
J. Comput. Syst. Sci., 2013
Proceedings of the Research in Adaptive and Convergent Systems, 2013
Variable voltage scheduling with the priority-based functional reactive programming language.
Proceedings of the Research in Adaptive and Convergent Systems, 2013
2012
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform.
Int. J. Grid Util. Comput., 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the Research in Applied Computation Symposium, 2012
Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm.
Proceedings of the Research in Applied Computation Symposium, 2012
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP.
Proceedings of the Research in Applied Computation Symposium, 2012
Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012
A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012
Proceedings of the 2012 IEEE International Conference on Cluster Computing Workshops, 2012
Energy efficient hybrid display and predictive models for embedded and mobile systems.
Proceedings of the 15th International Conference on Compilers, 2012
2011
A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network.
IEEE Syst. J., 2011
J. Syst. Archit., 2011
Assigning real-time tasks to heterogeneous processors by applying ant colony optimization.
J. Parallel Distributed Comput., 2011
IEEE Embed. Syst. Lett., 2011
Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective.
IEEE Embed. Syst. Lett., 2011
Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration.
Proceedings of the IEEE 10th International Conference on Trust, 2011
Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata.
Proceedings of the IEEE 10th International Conference on Trust, 2011
Proceedings of the IEEE 10th International Conference on Trust, 2011
Proceedings of the IEEE 10th International Conference on Trust, 2011
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011
Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs.
Proceedings of the Global Communications Conference, 2011
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms.
Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
IEEE Trans. Consumer Electron., 2009
IEEE Trans. Computers, 2009
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
An Evaluation of the Dynamic and Static Multiprocessor Priority Ceiling Protocol and the Multiprocessor Stack Resource Policy in an SMP System.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis.
Proceedings of the International Conference on Embedded Software and Systems, 2009
Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
J. Signal Process. Syst., 2008
SIGBED Rev., 2008
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.
Proceedings of the SYNASC 2008, 2008
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, 2008
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-time Mobile Applications.
J. VLSI Signal Process., 2007
Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications.
J. VLSI Signal Process., 2007
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007
2006
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
IEEE Trans. Computers, 2006
A survey of formal verification methods and tools for embedded and real-time systems.
Int. J. Embed. Syst., 2006
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
2005
Applying Ant Colony Optimization to the partitioned scheduling problem for heterogeneous multiprocessors.
SIGBED Rev., 2005
Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
2004
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng., 2004
IEEE Trans. Knowl. Data Eng., 2004
What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics.
Proceedings of the ICINCO 2004, 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy.
J. VLSI Signal Process., 2003
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003
2002
Real-time systems - scheduling, analysis, and verification.
Wiley, ISBN: 978-0-471-18406-5, 2002
2001
A Context Switch Reduction Technique for Real-time Task Synchronization.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
IEEE Trans. Software Eng., 2000
IEEE Trans. Knowl. Data Eng., 2000
Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000
Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks.
Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000
E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System.
Proceedings of the ICEIS 2000, 2000
1999
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Analysis and Verification of Real-Time Systems.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999
1998
IEEE Trans. Knowl. Data Eng., 1998
1997
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks.
Proceedings of the 22nd IEEE Conference on Local Computer Networks (LCN '97), 1997
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997
Proceedings of the Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997
1996
Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems, 1996
Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures.
Proceedings of the 1996 International Conference on Parallel Processing, 1996
Proceedings of the COMPSAC '96, 1996
1995
IEEE Trans. Knowl. Data Eng., 1995
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995
Proceedings of the Image Analysis Applications and Computer Graphics, 1995
Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution.
Proceedings of the 1995 International Conference on Parallel Processing, 1995
1994
Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs.
Proceedings of the 1994 International Conference on Parallel Processing, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng., 1993
A New Complexity Metric for OPS5 Rule-Based Systems.
Proceedings of the SEKE'93, 1993
Proceedings of the Seventh International Parallel Processing Symposium, 1993
1992
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992
1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
1990
Proceedings of the Real-Time Systems Symposium, 1990