Albert Mo Kim Cheng

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 13

Top Topics

Risk Assessment

Autonomic Computing

Top Venues

IEEE Embed. Syst. Lett.

Publications

Himansu Shaw, Albert Mo Kim Cheng
Demo Abstract: Collaborative Real-Time Scheduling (CRTS) Algorithm for AGV Transportation System within a CPS Architecture. IoTDI (2023)
Thomas Carroll, Albert Mo Kim Cheng
Poster Abstract: Implementing Dynamic User Equilibrium in a Scaled City Environment with Duckietown and SUMO. IoTDI (2023)
Albert Mo Kim Cheng, Jude Nwankpa
Demo Abstract: Implementing a COVID-19 Risk Assessment System for User-Informed Travel Planning in Harris County. IoTDI (2023)
Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng, Bozheng Liu
Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded Systems. IEEE Trans. Computers 71 (10) (2022)
Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng
Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks. RTCSA (2021)
Pavan Kumar Paluri, Guangli Dai, Albert Mo Kim Cheng
ARINC 653-inspired regularity-based resource partitioning on xen. LCTES (2021)
Guangli Dai, Pavan Kumar Paluri, Thomas Carmichael, Albert Mo Kim Cheng, Risto Miikkulainen
Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion. RTSS (2019)
Albert Mo Kim Cheng
Work-in-Progress: Simplifying CPS Development with Real-Time Virtual Resources. RTSS (2019)
Michael Yantosca, Albert Mo Kim Cheng
Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis. RTSS (2019)
Victor M. Lopez Rodriguez, Albert Mo Kim Cheng, Binh Doan
Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems. RTSS (2019)
Aaron Wong, Albert Mo Kim Cheng
Work-in-Progress: Reducing Response Time of Static Priority Task Sets by Varying Offsets. RTSS (2019)
Albert Mo Kim Cheng, Panruo Wu
Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing. RTSS (2018)
Roberto Duenez, Albert Mo Kim Cheng
Real-Time Security Through a TEE. DSN Workshops (2018)
Hui He, Yana Feng, Zhigang Li, Zhenguang Zhu, Weizhe Zhang, Albert Mo Kim Cheng
Dynamic load balancing technology for cloud-oriented CDN. Comput. Sci. Inf. Syst. 12 (2) (2015)
Yong woon Ahn, Albert Mo Kim Cheng
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. MCPS (2014)
Albert Mo Kim Cheng, Ramesh S.
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. IEEE Embed. Syst. Lett. 6 (1) (2014)
Yong woon Ahn, Albert Mo Kim Cheng
Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures. SIGBED Rev. 10 (2) (2013)
Yong woon Ahn, Jinsuk Baek, Albert Mo Kim Cheng, Paul S. Fisher, Minho Jo
A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network. IEEE Syst. J. 5 (4) (2011)
Hua Chen, Albert Mo Kim Cheng, Ying-Wei Kuo
Assigning real-time tasks to heterogeneous processors by applying ant colony optimization. J. Parallel Distributed Comput. 71 (1) (2011)
Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne
Optimal Scheduling of Urgent Preemptive Tasks. RTCSA (2010)
Jian (Denny) Lin, Wei Song, Albert Mo Kim Cheng
Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms. ISLPED (2010)
Jian (Denny) Lin, Albert Mo Kim Cheng
Real-time Task Assignment with Replication on Multiprocessor Platforms. ICPADS (2009)
Jian (Denny) Lin, Albert Mo Kim Cheng
Power-Aware Scheduling for Multiple Feasible Interval Jobs. RTCSA (2009)
Jim Ras, Albert Mo Kim Cheng
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm. RTCSA (2009)
Yong woon Ahn, Albert Mo Kim Cheng, Jinsuk Baek, Paul S. Fisher
A multiplayer real-time game protocol architecture for reducing network latency. IEEE Trans. Consumer Electron. 55 (4) (2009)
Stefan Andrei, Albert Mo Kim Cheng
Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58 (12) (2009)
Jian (Denny) Lin, Albert Mo Kim Cheng
Real-Time Task Assignment in Rechargeable Multiprocessor Systems. RTCSA (2008)
Albert Mo Kim Cheng, Yan Wang
A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. J. Signal Process. Syst. 52 (1) (2008)
Behnaz Sanati, Albert Mo Kim Cheng
Maximizing job benefits on multiprocessor systems using a greedy algorithm. SIGBED Rev. 5 (2) (2008)
Stefan Andrei, Albert Mo Kim Cheng
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC (2008)
Albert Mo Kim Cheng, Feng Shang
Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. J. VLSI Signal Process. 47 (2) (2007)
Stefan Andrei, Albert Mo Kim Cheng
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS (2006)
Stefan Andrei, Albert Mo Kim Cheng
Optimization of Real-Time Systems Timing Specifications. RTCSA (2006)
Albert Mo Kim Cheng, Chen Feng
Predictive thermal management for hard real-time tasks. SIGBED Rev. 3 (1) (2006)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55 (7) (2006)
Albert Mo Kim Cheng
A survey of formal verification methods and tools for embedded and real-time systems. Int. J. Embed. Syst. 2 (3/4) (2006)
Albert Mo Kim Cheng, Rajat Agarwal
Reducing Encoder Bit-Rate Variation in MPEG Video. J. VLSI Signal Process. 40 (2) (2005)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA (2005)
Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Albert Mo Kim Cheng, Feng Shang
Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. RTCSA (2005)
Jeong A. Kang, Albert Mo Kim Cheng
Shortening Matching Time in OPS5 Production Systems. IEEE Trans. Software Eng. 30 (7) (2004)
Albert Mo Kim Cheng, Seiya Fujii
Self-Stabilizing Real-Time OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 16 (12) (2004)
Albert Mo Kim Cheng
What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics. ICINCO (Invited Speakers) (2004)
Yun-Hong Lee, Albert Mo Kim Cheng
Optimizing Real-Time Equational Rule-Based Systems. IEEE Trans. Software Eng. 30 (2) (2004)
Albert Mo Kim Cheng, Rong Wang
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. COMPSAC (2004)
Albert Mo Kim Cheng, Hsiu-yen Tsai
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 16 (2) (2004)
Ming Zu, Albert Mo Kim Cheng
Real-Time Scheduling of Hierarchical Reward-Based Tasks. IEEE Real Time Technology and Applications Symposium (2003)
Albert Mo Kim Cheng, Sudhir M. Rao
Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy. J. VLSI Signal Process. 34 (1-2) (2003)
Pou-yung Lee, Albert Mo Kim Cheng
HAL: A Faster Match Algorithm. IEEE Trans. Knowl. Data Eng. 14 (5) (2002)
Jeong A. Kang, Albert Mo Kim Cheng
Reducing Matching Time for OPS5 Production Systems. COMPSAC (2001)
Fan Jiang, Albert Mo Kim Cheng
A Context Switch Reduction Technique for Real-time Task Synchronization. IPDPS (2001)
Albert Mo Kim Cheng, Jeng-Rung Chen
Response Time Analysis of OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 12 (3) (2000)
Sudhir M. Rao, Albert Mo Kim Cheng
Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks. IEEE International Conference on Multimedia and Expo (I) (2000)
Albert Mo Kim Cheng, Seiya Fujii
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. IPDPS (2000)
Yun-Hong Lee, Albert Mo Kim Cheng
Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. IEEE Real Time Technology and Applications Symposium (2000)
Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
Guest Editors' Introduction: Workshop on Software and Performance. IEEE Trans. Software Eng. 26 (12) (2000)
Sangman Bak, Albert Mo Kim Cheng, Jorge Arturo Cobb, Ernst L. Leiss
Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks. LCN (2000)
Albert Mo Kim Cheng
E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. ICEIS (2000)
Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
Guest Editors' Introduction-Workshop on Software and Performance. IEEE Trans. Software Eng. 26 (11) (2000)
Lorraine E. P. Rice, Albert Mo Kim Cheng
Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics. IEEE Real Time Technology and Applications Symposium (1999)
Rajat Agarwal, Albert Mo Kim Cheng
Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. ICMCS, Vol. 2 (1999)
Albert Mo Kim Cheng
Analysis and Verification of Real-Time Systems. ICEIS (1999)
Blaz Zupan, Albert Mo Kim Cheng
Optimization of Rule-Based Systems Using State Space Graphs. IEEE Trans. Knowl. Data Eng. 10 (2) (1998)
Pou-yung Lee, Albert Mo Kim Cheng
Reducing Match Time Variance in Production Systems with HAL. CIKM (1997)
Chun Wong, Albert Mo Kim Cheng
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. LCN (1997)
Xiao Chen, Albert Mo Kim Cheng
An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. ICCCN (1997)
Albert Mo Kim Cheng, Sharon X. Gu
Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures. ICPP, Vol. 1 (1996)
Albert Mo Kim Cheng
Measuring the Structural Complexity of OPS5 Rule-Based Programs. COMPSAC (1996)
Albert Mo Kim Cheng
Parallel and Distributed Real-Time Systems (Abstract). PDIS (1996)
Chang-Yu Wang, Albert Mo Kim Cheng
Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. ICPP (3) (1995)
Albert Mo Kim Cheng, Xiaofen Huang
An Imprecise Real-Time Video Transmission Algorithm. ICSC (1995)
Jeng-Rung Chen, Albert Mo Kim Cheng
Response Time Analysis of EQL Real-Time Rule-Based Systems. IEEE Trans. Knowl. Data Eng. 7 (1) (1995)
Xiaofen Huang, Albert Mo Kim Cheng
Applying imprecise algorithms to real-time image and video transmissio. IEEE Real Time Technology and Applications Symposium (1995)
Jeng-Rung Chen, Albert Mo Kim Cheng
Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. ICTAI (1994)
Hsiu-yen Tsai, Albert Mo Kim Cheng
Termination Analysis of OPS5 Expert Systems. AAAI (1994)
Jeng-Rung Chen, Albert Mo Kim Cheng
A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. ICPP (3) (1994)
Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19 (9) (1993)
Albert Mo Kim Cheng
A New Complexity Metric for OPS5 Rule-Based Systems. SEKE (1993)
Albert Mo Kim Cheng
Parallel Execution of Real-Time Rule-Based Systems. IPPS (1993)
Albert Mo Kim Cheng
Self-Stabilizing Real-Time Rule-Based Systems. SRDS (1992)
C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng
MRL: A Real-Time Rule-Based Production System. RTSS (1990)