Albert Mo Kim Cheng

Chaitanya Belwal, Albert M. K. Cheng, Bo Liu: Feasibility interval for the transactional event handlers of P-FRP. J. Comput. Syst. Sci. 79(5): 530-541 (2013)

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform. IJGUC 3(4): 215-223 (2012)

Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, Khoa Le, Yuanfeng Wen: Energy efficient hybrid display and predictive models for embedded and mobile systems. CASES 2012: 121-130

Weizhe Zhang, Tianyu Han, Yuanjing Zhang, Albert M. K. Cheng: Performance Prediction for MPI Parallel Jobs. CLUSTER Workshops 2012: 136-142

Yuanfeng Wen, Beihong Jin, Keqin Li, Albert M. K. Cheng, Wenjing Fang: A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs. CSE 2012: 594-601

Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng, Feng Yang, Abhinav Kohar: Support for power efficient mobile video playback on simultaneous hybrid display. ESTImedia 2012: 87-96

Weizhe Zhang, Hongli Zhang, Huixiang Chen, Qizhen Zhang, Albert M. K. Cheng: Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment. IPDPS Workshops 2012: 2247-2253

Albert M. K. Cheng, Homa Niktab, Michael Walston: Timing Analysis of Small Aircraft Transportation System (SATS). RTCSA 2012: 58-67

Yu Li, Albert M. K. Cheng, Aloysius K. Mok: Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA 2012: 368-377

Yu Li, Albert M. K. Cheng: Static Approximation Algorithms for Regularity-based Resource Partitioning. RTSS 2012: 137-148

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy McNicholl: Toward an Optimal Power-Aware Scheduling Technique. SYNASC 2012: 135-142

Chaitanya Belwal, Albert M. K. Cheng: Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective. Embedded Systems Letters 3(1): 37-41 (2011)

Chaitanya Belwal, Albert M. K. Cheng: Scheduling Conditions for Real-Time Software Transactional Memory. Embedded Systems Letters 3(3): 93-96 (2011)

Hua Chen, Albert Mo Kim Cheng, Ying-Wei Kuo: Assigning real-time tasks to heterogeneous processors by applying ant colony optimization. J. Parallel Distrib. Comput. 71(1): 132-142 (2011)

Jian (Denny) Lin, Albert M. K. Cheng: Energy reduction for scheduling a set of multiple feasible interval jobs. Journal of Systems Architecture - Embedded Systems Design 57(6): 663-673 (2011)

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 Systems Journal 5(4): 486-494 (2011)

Chaitanya Belwal, Albert M. K. Cheng: Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors. EUC 2011: 47-54

Chaitanya Belwal, Albert M. K. Cheng: A Utilization Based Sufficient Condition for P-FRP. EUC 2011: 237-242

Chaitanya Belwal, Albert M. K. Cheng: Generating Bounded Task Periods for Experimental Schedulability Analysis. EUC 2011: 249-254

Yong woon Ahn, Chaitanya Belwal, Albert M. K. Cheng, Jinsuk Baek: Improving QoS for ECG Data Transmission with Enhanced Admission Control in EDCA-Based WLANs. GLOBECOM 2011: 1-5

Chaitanya Belwal, Albert M. K. Cheng: Determining Actual Response Time in P-FRP Using Idle-Period Game Board. ISORC 2011: 136-143

Chaitanya Belwal, Albert M. K. Cheng: Determining Actual Response Time in P-FRP. PADL 2011: 250-264

Chaitanya Belwal, Albert M. K. Cheng: An Extensible Framework for Real-Time Task Generation and Simulation. RTCSA (1) 2011: 259-263

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu: Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. SYNASC 2011: 93-100

Jim Ras, Albert M. K. Cheng: Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing. CIT 2010: 1954-1961

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: 153-158

Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne: Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386

Jim Ras, Albert M. K. Cheng: A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. SIGAda 2010: 13-22

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252

Stefan Andrei, Albert Mo Kim Cheng: Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58(12): 1640-1653 (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 Electronics 55(4): 1883-1889 (2009)

Jian (Denny) Lin, Albert M. K. Cheng, Rashmi Kumar: Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries. AINA 2009: 82-89

Albert M. K. Cheng, Sushil S. Digewade: Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis. ICESS 2009: 499-504

Jian (Denny) Lin, Albert Mo Kim Cheng: Real-time Task Assignment with Replication on Multiprocessor Platforms. ICPADS 2009: 399-406

Jim Ras, 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 Real-Time and Embedded Technology and Applications Symposium 2009: 13-22

Jian (Denny) Lin, Albert Mo Kim Cheng: Power-Aware Scheduling for Multiple Feasible Interval Jobs. RTCSA 2009: 191-200

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: 305-314

Behnaz Sanati, Albert Mo Kim Cheng: Maximizing job benefits on multiprocessor systems using a greedy algorithm. SIGBED Review 5(2): 3 (2008)

Albert Mo Kim Cheng, Yan Wang: A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. Signal Processing Systems 52(1): 45-57 (2008)

Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng: On-Line Burst Header Scheduling in Optical Burst Switching Networks. AINA 2008: 363-369

Albert M. K. Cheng: Cyber-Physical Medical and Medication Systems. ICDCS Workshops 2008: 529-532

Jian (Denny) Lin, Albert Mo Kim Cheng: Real-Time Task Assignment in Rechargeable Multiprocessor Systems. RTCSA 2008: 279-284

Jim Ras, Albert M. K. Cheng: Real-time synchronization on distributed architecture with Ada-2005. SIGAda 2008: 75-84

Stefan Andrei, Albert Mo Kim Cheng: Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC 2008: 475-479

Albert Mo Kim Cheng: Embedded Operating Systems. Wiley Encyclopedia of Computer Science and Engineering 2008

Albert M. K. Cheng, Zhubin Zhang: Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-time Mobile Applications. VLSI Signal Processing 47(2): 103-115 (2007)

Albert Mo Kim Cheng, Feng Shang: Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. VLSI Signal Processing 47(2): 169-182 (2007)

Sumit Gupta, Rong Zheng, Albert M. K. Cheng: ANDES: an Anomaly Detection System for Wireless Sensor Networks. MASS 2007: 1-9

Stefan Andrei, Albert M. K. Cheng: Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342

Albert Mo Kim Cheng: A survey of formal verification methods and tools for embedded and real-time systems. IJES 2(3/4): 184-195 (2006)

Albert Mo Kim Cheng, Chen Feng: Predictive thermal management for hard real-time tasks. SIGBED Review 3(1): 35-40 (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): 830-842 (2006)

Weizhe Zhang, Albert M. K. Cheng, Mingzeng Hu: Multisite co-allocation algorithms for computational grid. IPDPS 2006

Stefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76

Jian (Denny) Lin, Albert M. K. Cheng: Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems. RTCSA 2006: 402-410

Stefan Andrei, Albert Mo Kim Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76

Yan Wang, Albert M. K. Cheng: A dynamic-mode DVS algorithm under dynamic workloads. SIGBED Review 2(2): 3-6 (2005)

Hua Chen, Albert M. K. Cheng: Applying Ant Colony Optimization to the partitioned scheduling problem for heterogeneous multiprocessors. SIGBED Review 2(2): 11-14 (2005)

Albert M. K. Cheng: Introduction to the special issue. SIGBED Review 2(2) (2005)

Albert Mo Kim Cheng, Rajat Agarwal: Reducing Encoder Bit-Rate Variation in MPEG Video. VLSI Signal Processing 40(2): 261-271 (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: 519-528

Albert Mo Kim Cheng, Feng Shang: Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. RTCSA 2005: 129-134

Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360

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): 271-288 (2004)

Albert Mo Kim Cheng, Seiya Fujii: Self-Stabilizing Real-Time OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 16(12): 1543-1554 (2004)

Yun-Hong Lee, Albert Mo Kim Cheng: Optimizing Real-Time Equational Rule-Based Systems. IEEE Trans. Software Eng. 30(2): 112-125 (2004)

Jeong A. Kang, Albert Mo Kim Cheng: Shortening Matching Time in OPS5 Production Systems. IEEE Trans. Software Eng. 30(7): 448-457 (2004)

Albert Mo Kim Cheng, Rong Wang: A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. COMPSAC 2004: 167-172

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: 23-27

Albert Mo Kim Cheng, Sudhir M. Rao: Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy. VLSI Signal Processing 34(1-2): 139-148 (2003)

Ming Zu, Albert Mo Kim Cheng: Real-Time Scheduling of Hierarchical Reward-Based Tasks. IEEE Real Time Technology and Applications Symposium 2003: 2-9

Albert Mo Kim Cheng: Real-time systems - scheduling, analysis, and verification. Wiley 2002, isbn 978-0-471-18406-5, pp. I-XXIII, 1-524

Pou-yung Lee, Albert Mo Kim Cheng: HAL: A Faster Match Algorithm. IEEE Trans. Knowl. Data Eng. 14(5): 1047-1058 (2002)

Jeong A. Kang, Albert Mo Kim Cheng: Reducing Matching Time for OPS5 Production Systems. COMPSAC 2001: 429-

Fan Jiang, Albert Mo Kim Cheng: A Context Switch Reduction Technique for Real-time Task Synchronization. IPDPS 2001: 31

Albert Mo Kim Cheng, Jeng-Rung Chen: Response Time Analysis of OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 12(3): 391-409 (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): 1025-1026 (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): 1121 (2000)

Albert Mo Kim Cheng: E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. ICEIS 2000: IS 3-8

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: 545-548

Albert Mo Kim Cheng, Seiya Fujii: Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. IPDPS 2000: 399-404

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: 634-643

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: 145-

Lawrence K. Miller, Albert M. K. Cheng: Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels. RTSS 2000: 249-258

Albert Mo Kim Cheng: Analysis and Verification of Real-Time Systems. ICEIS 1999: ILT 10

Rajat Agarwal, Albert Mo Kim Cheng: Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. ICMCS, Vol. 2 1999: 6-10

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: 255-

Blaz Zupan, Albert Mo Kim Cheng: Optimization of Rule-Based Systems Using State Space Graphs. IEEE Trans. Knowl. Data Eng. 10(2): 238-254 (1998)

Pou-yung Lee, Albert Mo Kim Cheng: Reducing Match Time Variance in Production Systems with HAL. CIKM 1997: 309-316

Xiao Chen, Albert Mo Kim Cheng: An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. ICCCN 1997: 390-397

Chun Wong, Albert Mo Kim Cheng: An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. LCN 1997: 420-431

Albert Mo Kim Cheng: Measuring the Structural Complexity of OPS5 Rule-Based Programs. COMPSAC 1996: 522-527

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: 204-211

Albert Mo Kim Cheng: Parallel and Distributed Real-Time Systems (Abstract). PDIS 1996: 3

Jeng-Rung Chen, Albert Mo Kim Cheng: Response Time Analysis of EQL Real-Time Rule-Based Systems. IEEE Trans. Knowl. Data Eng. 7(1): 26-43 (1995)

Chang-Yu Wang, Albert Mo Kim Cheng: Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. ICPP (3) 1995: 85-92

Albert Mo Kim Cheng, Xiaofen Huang: An Imprecise Real-Time Video Transmission Algorithm. ICSC 1995: 491-492

Xiaofen Huang, Albert Mo Kim Cheng: Applying imprecise algorithms to real-time image and video transmissio. IEEE Real Time Technology and Applications Symposium 1995: 96-

Hsiu-yen Tsai, Albert Mo Kim Cheng: Termination Analysis of OPS5 Expert Systems. AAAI 1994: 193-198

Jeng-Rung Chen, Albert Mo Kim Cheng: A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. ICPP (3) 1994: 17-20

Jeng-Rung Chen, Albert Mo Kim Cheng: Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. ICTAI 1994: 297-303

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): 863-885 (1993)

Albert Mo Kim Cheng: Parallel Execution of Real-Time Rule-Based Systems. IPPS 1993: 779-786

Albert Mo Kim Cheng: A New Complexity Metric for OPS5 Rule-Based Systems. SEKE 1993: 244-247

Albert Mo Kim Cheng: Self-Stabilizing Real-Time Rule-Based Systems. SRDS 1992: 172-179

C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng: MRL: A Real-Time Rule-Based Production System. RTSS 1990: 267-276