Albert Mo Kim Cheng
Affiliations: University of Houston, USA
According to our database^{1},
Albert Mo Kim Cheng
authored at least 180 papers
between 1990 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
WorkinProgress Abstract: A New Criterion for Job Switching in SemiClairvoyant Systems.
Proceedings of the 27th IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2021
Enhanced Schedulability Tests for RealTime RegularityBased Virtualized Systems with Dependent and SelfSuspension Tasks.
Proceedings of the 27th IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2021
WorkInProgress: Fault Tolerance in a TwoState RegularityBased Checkpointing System.
Proceedings of the 27th IEEE RealTime and Embedded Technology and Applications Symposium, 2021
Proceedings of the 27th IEEE RealTime and Embedded Technology and Applications Symposium, 2021
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021
2020
WorkInProgress: Fault Tolerance in a TwoState Checkpointing RegularityBased System.
Proceedings of the 41st IEEE RealTime Systems Symposium, 2020
WorkInProgress: Designing a ServerSide Progressive JPEG Encoder for RealTime Applications.
Proceedings of the 41st IEEE RealTime Systems Symposium, 2020
Intrusion Detection Using Principal Component Analysis and Support Vector Machines.
Proceedings of the 16th IEEE International Conference on Control & Automation, 2020
2019
Math. Comput. Sci., 2019
WorkinProgress: ARTIC: An Adaptive RealTime Imprecise Computation Pipeline for Audio Analysis.
Proceedings of the IEEE RealTime Systems Symposium, 2019
WorkinProgress: Reducing Response Time of Static Priority Task Sets by Varying Offsets.
Proceedings of the IEEE RealTime Systems Symposium, 2019
WorkinProgress: Combining Two Security Methods to Detect Versatile Integrity Attacks in CyberPhysical Systems.
Proceedings of the IEEE RealTime Systems Symposium, 2019
WorkinProgress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion.
Proceedings of the IEEE RealTime Systems Symposium, 2019
Proceedings of the IEEE RealTime Systems Symposium, 2019
Proceedings of the 25th IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2019
2018
Bounding execution resources for the task scheduling problem in cyberphysical systems.
SIGBED Rev., 2018
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
WorkinProgress: Incorporating DeadlineBased Scheduling in Tasking Programming Model for ExtremeScale Parallel Computing.
Proceedings of the 2018 IEEE RealTime Systems Symposium, 2018
Proceedings of the 21st IEEE International Symposium on RealTime Distributed Computing, 2018
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
2017
Toward a Practical Regularitybased Model: The Impact of Evenly Distributed Temporal Resource Partitions.
ACM Trans. Embed. Comput. Syst., 2017
Sensors, 2017
RealTime 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 RealTime Distributed Computing, 2017
Finding a Steady State Point for Fixed Priority Independent Periodic RealTime Tasks with Arbitrary Given Release Offsets.
Proceedings of the 20th IEEE International Symposium on RealTime 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 realtime software transactional memorylazy conflict detection (STMLCD).
SIGBED Rev., 2016
SIGBED Rev., 2016
A new scheduling algorithm for nonpreemptive independent tasks on a multiprocessor platform.
SIGBED Rev., 2016
Microprocess. Microsystems, 2016
LBBA: An efficient online benefitaware multiprocessor scheduling for QoS via online choice of approximation algorithms.
Future Gener. Comput. Syst., 2016
Partitioning RealTime Tasks With Replications on Multiprocessor Embedded Systems.
IEEE Embed. Syst. Lett., 2016
Resource Bounding for NonPreemptive Task Scheduling on a Multiprocessor Platform.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
A Scratchpad MemoryBased Execution Platform for Functional Reactive Systems and Its Static Timing Analysis.
Proceedings of the 22nd IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2016
Proceedings of the 2016 IEEE RealTime and Embedded Technology and Applications Symposium (RTAS), 2016
Poster Abstract: Online SemiPartitioned Multiprocessor Scheduling of Soft RealTime Periodic Tasks for QoS Optimization.
Proceedings of the 2016 IEEE RealTime 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 RealTime and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 2016 IEEE RealTime 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 CyberPhysical Systems, 2016
2015
Solving EnergyAware RealTime 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 NonWorkConserving Model for PFRP Fixed Priority Task Scheduling.
Proceedings of the 2015 IEEE RealTime Systems Symposium, 2015
Proceedings of the 2015 IEEE RealTime Systems Symposium, 2015
Schedulability Analysis for RealTime PFRP Tasks under Fixed Priority Scheduling.
Proceedings of the 21st IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2015
2014
Int. J. Embed. Syst., 2014
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of CyberPhysical Systems.
IEEE Embed. Syst. Lett., 2014
A HeuristicBased Approach for Reducing the Power Consumption of RealTime Embedded Systems.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
An efficient scheduling algorithm of nonpreemptive independent tasks for biomedical systems.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014
Automatic Resource Scaling for Medical CyberPhysical Systems Running in Private Cloud Computing Architecture.
Proceedings of the 5th Workshop on Medical CyberPhysical Systems, 2014
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
Efficient Online BenefitAware 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 RealTime 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 realtime medical application running on virtual private cloud infrastructures.
SIGBED Rev., 2013
An autoscaling mechanism for virtual resources to support mobile, pervasive, realtime healthcare applications in cloud computing.
IEEE Netw., 2013
J. Comput. Syst. Sci., 2013
Towards optimal priority assignments for the transactional event handlers of PFRP.
Proceedings of the Research in Adaptive and Convergent Systems, 2013
Variable voltage scheduling with the prioritybased functional reactive programming language.
Proceedings of the Research in Adaptive and Convergent Systems, 2013
2012
An efficient scheduling algorithm for the nonpreemptive 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 RealTime Systems Symposium, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and RealTime 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 (PFRP) paradigm.
Proceedings of the Research in Applied Computation Symposium, 2012
Time petri nets for schedulability analysis of the transactional event handlers of PFRP.
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 Realtime Multimedia, 2012
A Queueing Theory Based Approach to QoSDriven 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 realtime 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 RealTime Schedulability Perspective.
IEEE Embed. Syst. Lett., 2011
Release Offset Bounds for Response Time Analysis of PFRP 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 Nonpreemptive 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 RealTime Computing Systems and Applications, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/ServiceOriented RealTime Distributed Computing, 2011
Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCABased 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 RealTime Computing Systems and Applications, 2010
Realenergy: a new framework and a case study to evaluate poweraware realtime 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 AbortandRestart 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 AbortandRestart Event Handlers of the PriorityBased Functional Reactive Programming (PFRP) Paradigm.
Proceedings of the 15th IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2009
Proceedings of the 15th IEEE International Conference on Embedded and RealTime 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 RealTime and Embedded Technology and Applications Symposium, 2009
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
Design Framework for SelfStabilizing RealTime Systems Based on RealTime Objects and Prototype Implementation with Analysis.
Proceedings of the International Conference on Embedded Software and Systems, 2009
RealTime 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 CyberPhysical System Specifications with MultiEvent 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 RealTime 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 Realtime Mobile Applications.
J. VLSI Signal Process., 2007
Prioritydriven Coding and Transmission of Progressive JPEG Images for RealTime Applications.
J. VLSI Signal Process., 2007
Proceedings of the 28th IEEE RealTime Systems Symposium (RTSS 2007), 2007
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007
2006
Automatic Debugging of RealTime Systems Based on Incremental Satisfiability Counting.
IEEE Trans. Computers, 2006
SIGBED Rev., 2006
A survey of formal verification methods and tools for embedded and realtime systems.
Int. J. Embed. Syst., 2006
Faster Verification of RTLSpecified Systems via Decomposition and Constraint Extension.
Proceedings of the 27th IEEE RealTime Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and RealTime Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and RealTime Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
2005
J. VLSI Signal Process., 2005
SIGBED Rev., 2005
SIGBED Rev., 2005
Applying Ant Colony Optimization to the partitioned scheduling problem for heterogeneous multiprocessors.
SIGBED Rev., 2005
PriorityDriven Coding of Progressive JPEG Images for Transmission in RealTime Applications.
Proceedings of the 11th IEEE International Conference on Embedded and RealTime Computing Systems and Applications (RTCSA 2005), 2005
RuntimeCoordinated Scalable Incremental Checksum Testing of Combinational Circuits.
Proceedings of the 11th IEEE International Conference on Embedded and RealTime Computing Systems and Applications (RTCSA 2005), 2005
Systematic Debugging of RealTime Systems based on Incremental Satisfiability Counting.
Proceedings of the 11th IEEE RealTime and Embedded Technology and Applications Symposium (RTAS 2005), 2005
2004
IEEE Trans. Software Eng., 2004
IEEE Trans. Software Eng., 2004
A GraphBased Approach for Timing Analysis and Refinement of OPS5 KnowledgeBased Systems.
IEEE Trans. Knowl. Data Eng., 2004
IEEE Trans. Knowl. Data Eng., 2004
What's Real in "RealTime Control Systems"?  Applying Formal Verification Methods and RealTime RuleBased 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
RealTime Traffic Scheduling and Routing in PacketSwitched Networks Using a LeastLaxityFirst Strategy.
J. VLSI Signal Process., 2003
Proceedings of the 9th IEEE RealTime and Embedded Technology and Applications Symposium (RTAS 2003), 2003
2002
IEEE Trans. Knowl. Data Eng., 2002
Realtime systems  scheduling, analysis, and verification.
Wiley, ISBN: 9780471184065, 2002
2001
A Context Switch Reduction Technique for Realtime Task Synchronization.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS01), 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 RealTime Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels.
Proceedings of the 21st IEEE RealTime Systems Symposium (RTSS 2000), 2000
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000
LoadBalanced Routing and Scheduling for RealTime Traffic in PacketSwitch Networks.
Proceedings of the Proceedings 27th Conference on Local Computer Networks, 2000
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000
Scheduling and Routing of RealTime Multimedia Traffic in PacketSwitched Networks.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000
ECommerce and Its RealTime Requirements: Modelling ECommerce as a RealTime System.
Proceedings of the ICEIS 2000, 2000
1999
Proceedings of the Fifth IEEE RealTime Technology and Applications Symposium, 1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Analysis and Verification of RealTime 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 realtime 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 RealTime Database Systems with MultipleDisk 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 RealTime Technology and Applications Symposium, 1995
Proceedings of the Image Analysis Applications and Computer Graphics, 1995
Increasing Production System Parallelism via Synchronization Minimazation and CheckAhead Conflict Resolution.
Proceedings of the 1995 International Conference on Parallel Processing, 1995
1994
Predicting the Response Time of RealTime RuleBased Programs with VariableExpression Assignments.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL RuleBased 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 RealTime RuleBased Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng., 1993
A New Complexity Metric for OPS5 RuleBased 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 RealTime Systems Symposium, 1990