Albert Mo Kim Cheng

Albert M. K. Cheng

2008
55	EE	Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng: On-Line Burst Header Scheduling in Optical Burst Switching Networks. AINA 2008: 363-369
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. Symposium on Reliable Distributed Systems 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

Coauthor Index

1	Rajat Agarwal	[21] [42]
2	Stefan Andrei	[43] [45] [47] [48] [49] [53]
3	Sangman Bak	[26]
4	James C. Browne	[3]
5	Jeng-Rung Chen	[6] [7] [9] [25]
6	Xiao Chen	[17]
7	Yuhua Chen	[55]
8	Wei-Ngan Chin	[43] [45] [47]
9	Paul C. Clements	[23] [24]
10	Jorge Arturo Cobb	[26]
11	Seiya Fujii	[27] [39]
12	Sharon X. Gu	[14]
13	Xiaofen Huang	[10] [11]
14	Fan Jiang	[31]
15	Jeong A. Kang	[32] [36]
16	Pou-yung Lee	[18] [33]
17	Yun-Hong Lee	[28] [37]
18	Ernst L. Leiss	[26]
19	Jian (Denny) Lin	[50] [55]
20	Mihai Lupu	[45] [47]
21	Aloysius K. Mok	[1] [3]
22	Sudhir M. Rao	[29] [34]
23	Lorraine E. P. Rice	[20]
24	Feng Shang	[44] [51]
25	Hsiu-yen Tsai	[8] [38]
26	C.-K. Wang	[1]
27	Chang-Yu Wang	[12]
28	Rong Wang	[41]
29	Rwo-Hsi Wang	[3]
30	Yan Wang	[54]
31	Chun Wong	[16]
32	C. Murray Woodside	[23] [24]
33	Zhubin Zhang	[52]
34	Yongxin Zhu	[43]
35	Ming Zu	[35]
36	Blaz Zupan	[19]

Colors in the list of coauthors