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 |