Albert M. K. Cheng
List of publications from the
| 2008 |
|---|
| 59 | EE | Jian (Denny) Lin,
Yuhua Chen,
Albert M. K. Cheng:
On-Line Burst Header Scheduling in Optical Burst Switching Networks.
AINA 2008: 363-369 |
| 58 | EE | Albert M. K. Cheng:
Cyber-Physical Medical and Medication Systems.
ICDCS Workshops 2008: 529-532 |
| 57 | EE | Jian (Denny) Lin,
Albert Mo Kim Cheng:
Real-Time Task Assignment in Rechargeable Multiprocessor Systems.
RTCSA 2008: 279-284 |
| 56 | EE | Jim Ras,
Albert M. K. Cheng:
Real-time synchronization on distributed architecture with Ada-2005.
SIGAda 2008: 75-84 |
| 55 | EE | Albert Mo Kim Cheng:
Embedded Operating Systems.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 54 | EE | Albert Mo Kim Cheng,
Yan Wang:
A Dynamic Voltage Scaling Algorithm for Dynamic Workloads.
Signal Processing Systems 52(1): 45-57 (2008) |
| 2007 |
|---|
| 53 | EE | Stefan Andrei,
Albert M. K. Cheng:
Verifying Linear Real-Time Logic Specifications.
RTSS 2007: 333-342 |
| 52 | EE | 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) |
| 51 | EE | 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) |
| 2006 |
|---|
| 50 | EE | Jian (Denny) Lin,
Albert M. K. Cheng:
Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems.
RTCSA 2006: 402-410 |
| 49 | EE | Stefan Andrei,
Albert Mo Kim Cheng:
Optimization of Real-Time Systems Timing Specifications.
RTCSA 2006: 68-76 |
| 48 | EE | Stefan Andrei,
Albert Mo Kim Cheng:
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.
RTSS 2006: 67-76 |
| 47 | EE | 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) |
| 46 | EE | 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) |
| 2005 |
|---|
| 45 | EE | 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 |
| 44 | EE | Albert Mo Kim Cheng,
Feng Shang:
Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications.
RTCSA 2005: 129-134 |
| 43 | EE | Stefan Andrei,
Wei-Ngan Chin,
Albert Mo Kim Cheng,
Yongxin Zhu:
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.
RTCSA 2005: 357-360 |
| 42 | EE | Albert Mo Kim Cheng,
Rajat Agarwal:
Reducing Encoder Bit-Rate Variation in MPEG Video.
VLSI Signal Processing 40(2): 261-271 (2005) |
| 2004 |
|---|
| 41 | EE | Albert Mo Kim Cheng,
Rong Wang:
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation.
COMPSAC 2004: 167-172 |
| 40 | | 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 |
| 39 | EE | Albert Mo Kim Cheng,
Seiya Fujii:
Self-Stabilizing Real-Time OPS5 Production Systems.
IEEE Trans. Knowl. Data Eng. 16(12): 1543-1554 (2004) |
| 38 | EE | 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) |
| 37 | EE | Yun-Hong Lee,
Albert Mo Kim Cheng:
Optimizing Real-Time Equational Rule-Based Systems.
IEEE Trans. Software Eng. 30(2): 112-125 (2004) |
| 36 | EE | Jeong A. Kang,
Albert Mo Kim Cheng:
Shortening Matching Time in OPS5 Production Systems.
IEEE Trans. Software Eng. 30(7): 448-457 (2004) |
| 2003 |
|---|
| 35 | EE | Ming Zu,
Albert Mo Kim Cheng:
Real-Time Scheduling of Hierarchical Reward-Based Tasks.
IEEE Real Time Technology and Applications Symposium 2003: 2-9 |
| 34 | EE | 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) |
| 2002 |
|---|
| 33 | EE | Pou-yung Lee,
Albert Mo Kim Cheng:
HAL: A Faster Match Algorithm.
IEEE Trans. Knowl. Data Eng. 14(5): 1047-1058 (2002) |
| 2001 |
|---|
| 32 | EE | Jeong A. Kang,
Albert Mo Kim Cheng:
Reducing Matching Time for OPS5 Production Systems.
COMPSAC 2001: 429- |
| 31 | | Fan Jiang,
Albert Mo Kim Cheng:
A Context Switch Reduction Technique for Real-time Task Synchronization.
IPDPS 2001: 31 |
| 2000 |
|---|
| 30 | | Albert Mo Kim Cheng:
E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System.
ICEIS 2000: IS 3-8 |
| 29 | | 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 |
| 28 | EE | 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- |
| 27 | EE | Albert Mo Kim Cheng,
Seiya Fujii:
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems.
IPDPS 2000: 399-404 |
| 26 | EE | 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 |
| 25 | EE | Albert Mo Kim Cheng,
Jeng-Rung Chen:
Response Time Analysis of OPS5 Production Systems.
IEEE Trans. Knowl. Data Eng. 12(3): 391-409 (2000) |
| 24 | EE | 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) |
| 23 | EE | 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) |
| 1999 |
|---|
| 22 | | Albert Mo Kim Cheng:
Analysis and Verification of Real-Time Systems.
ICEIS 1999: ILT 10 |
| 21 | EE | Rajat Agarwal,
Albert Mo Kim Cheng:
Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video.
ICMCS, Vol. 2 1999: 6-10 |
| 20 | EE | 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- |
| 1998 |
|---|
| 19 | EE | 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) |
| 1997 |
|---|
| 18 | EE | Pou-yung Lee,
Albert Mo Kim Cheng:
Reducing Match Time Variance in Production Systems with HAL.
CIKM 1997: 309-316 |
| 17 | EE | Xiao Chen,
Albert Mo Kim Cheng:
An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission.
ICCCN 1997: 390-397 |
| 16 | EE | 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 |
| 1996 |
|---|
| 15 | EE | Albert Mo Kim Cheng:
Measuring the Structural Complexity of OPS5 Rule-Based Programs.
COMPSAC 1996: 522- |
| 14 | | 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 |
| 13 | EE | Albert Mo Kim Cheng:
Parallel and Distributed Real-Time Systems (Abstract).
PDIS 1996: 3 |
| 1995 |
|---|
| 12 | | Chang-Yu Wang,
Albert Mo Kim Cheng:
Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution.
ICPP (3) 1995: 85-92 |
| 11 | | Albert Mo Kim Cheng,
Xiaofen Huang:
An Imprecise Real-Time Video Transmission Algorithm.
ICSC 1995: 491-492 |
| 10 | EE | 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- |
| 9 | EE | 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) |
| 1994 |
|---|
| 8 | | Hsiu-yen Tsai,
Albert Mo Kim Cheng:
Termination Analysis of OPS5 Expert Systems.
AAAI 1994: 193-198 |
| 7 | | 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 |
| 6 | | 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 |
| 1993 |
|---|
| 5 | | Albert Mo Kim Cheng:
Parallel Execution of Real-Time Rule-Based Systems.
IPPS 1993: 779-786 |
| 4 | | Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems.
SEKE 1993: 244-247 |
| 3 | EE | 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) |
| 1992 |
|---|
| 2 | | Albert Mo Kim Cheng:
Self-Stabilizing Real-Time Rule-Based Systems.
SRDS 1992: 172-179 |
| 1990 |
|---|
| 1 | | C.-K. Wang,
Aloysius K. Mok,
Albert Mo Kim Cheng:
MRL: A Real-Time Rule-Based Production System.
IEEE Real-Time Systems Symposium 1990: 267-277 |
