| | |
Albert M. K. Cheng
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 88 |      | Chaitanya Belwal, Albert M. K. Cheng: A Utilization Based Sufficient Condition for P-FRP. EUC 2011: 237-242 |
| 87 | | Chaitanya Belwal, Albert M. K. Cheng: Generating Bounded Task Periods for Experimental Schedulability Analysis. EUC 2011: 249-254 |
| 86 | | Chaitanya Belwal, Albert M. K. Cheng: Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors. EUC 2011: 47-54 |
| 85 | | 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 |
| 84 | | Chaitanya Belwal, Albert M. K. Cheng: Determining Actual Response Time in P-FRP Using Idle-Period Game Board. ISORC 2011: 136-143 |
| 83 | | Chaitanya Belwal, Albert M. K. Cheng: Determining Actual Response Time in P-FRP. PADL 2011: 250-264 |
| 82 | | Chaitanya Belwal, Albert M. K. Cheng: An Extensible Framework for Real-Time Task Generation and Simulation. RTCSA (1) 2011: 259-263 |
| 81 | | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu: Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. SYNASC 2011: 93-100 |
| 80 | | 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) |
| 79 | | Chaitanya Belwal, Albert M. K. Cheng: Scheduling Conditions for Real-Time Software Transactional Memory. Embedded Systems Letters 3(3): 93-96 (2011) |
| 78 | | 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) |
| 77 | | 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) |
| 76 | | 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) |
| 2010 | ||
| 75 | | Jim Ras, Albert M. K. Cheng: Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing. CIT 2010: 1954-1961 |
| 74 | | 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 |
| 73 | | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne: Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386 |
| 72 | | Jim Ras, Albert M. K. Cheng: A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. SIGAda 2010: 13-22 |
| 71 | | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252 |
| 2009 | ||
| 70 | | Jian (Denny) Lin, Albert M. K. Cheng, Rashmi Kumar: Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries. AINA 2009: 82-89 |
| 69 | | 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 |
| 68 | | Jian (Denny) Lin, Albert Mo Kim Cheng: Real-time Task Assignment with Replication on Multiprocessor Platforms. ICPADS 2009: 399-406 |
| 67 | | 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 |
| 66 | | Jian (Denny) Lin, Albert Mo Kim Cheng: Power-Aware Scheduling for Multiple Feasible Interval Jobs. RTCSA 2009: 191-200 |
| 65 | | 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 |
| 64 | | Stefan Andrei, Albert Mo Kim Cheng: Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58(12): 1640-1653 (2009) |
| 2008 | ||
| 63 | | Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng: On-Line Burst Header Scheduling in Optical Burst Switching Networks. AINA 2008: 363-369 |
| 62 | | Albert M. K. Cheng: Cyber-Physical Medical and Medication Systems. ICDCS Workshops 2008: 529-532 |
| 61 | | Jian (Denny) Lin, Albert Mo Kim Cheng: Real-Time Task Assignment in Rechargeable Multiprocessor Systems. RTCSA 2008: 279-284 |
| 60 | | Jim Ras, Albert M. K. Cheng: Real-time synchronization on distributed architecture with Ada-2005. SIGAda 2008: 75-84 |
| 59 | | Stefan Andrei, Albert Mo Kim Cheng: Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC 2008: 475-479 |
| 58 | | Albert Mo Kim Cheng: Embedded Operating Systems. Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 57 | | Albert Mo Kim Cheng, Yan Wang: A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. Signal Processing Systems 52(1): 45-57 (2008) |
| 2007 | ||
| 56 | | Sumit Gupta, Rong Zheng, Albert M. K. Cheng: ANDES: an Anomaly Detection System for Wireless Sensor Networks. MASS 2007: 1-9 |
| 55 | | Stefan Andrei, Albert M. K. Cheng: Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342 |
| 54 | | 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) |
| 53 | | 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 | ||
| 52 | | Jian (Denny) Lin, Albert M. K. Cheng: Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems. RTCSA 2006: 402-410 |
| 51 | | Stefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76 |
| 50 | | Stefan Andrei, Albert Mo Kim Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76 |
| 49 | | 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) |
| 48 | | 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 | ||
| 47 | | 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 |
| 46 | | Albert Mo Kim Cheng, Feng Shang: Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. RTCSA 2005: 129-134 |
| 45 | | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360 |
| 44 | | Albert Mo Kim Cheng, Rajat Agarwal: Reducing Encoder Bit-Rate Variation in MPEG Video. VLSI Signal Processing 40(2): 261-271 (2005) |
| 2004 | ||
| 43 | | Albert Mo Kim Cheng, Rong Wang: A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. COMPSAC 2004: 167-172 |
| 42 |  | 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 |
| 41 | | Albert Mo Kim Cheng, Seiya Fujii: Self-Stabilizing Real-Time OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 16(12): 1543-1554 (2004) |
| 40 | | 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) |
| 39 | | Yun-Hong Lee, Albert Mo Kim Cheng: Optimizing Real-Time Equational Rule-Based Systems. IEEE Trans. Software Eng. 30(2): 112-125 (2004) |
| 38 | | Jeong A. Kang, Albert Mo Kim Cheng: Shortening Matching Time in OPS5 Production Systems. IEEE Trans. Software Eng. 30(7): 448-457 (2004) |
| 2003 | ||
| 37 | | Ming Zu, Albert Mo Kim Cheng: Real-Time Scheduling of Hierarchical Reward-Based Tasks. IEEE Real Time Technology and Applications Symposium 2003: 2-9 |
| 36 | | 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 | ||
| 35 | | Albert Mo Kim Cheng: Real-time systems - scheduling, analysis, and verification. Wiley 2002: I-XXIII, 1-524 |
| 34 | | Pou-yung Lee, Albert Mo Kim Cheng: HAL: A Faster Match Algorithm. IEEE Trans. Knowl. Data Eng. 14(5): 1047-1058 (2002) |
| 2001 | ||
| 33 | | Jeong A. Kang, Albert Mo Kim Cheng: Reducing Matching Time for OPS5 Production Systems. COMPSAC 2001: 429- |
| 32 | | Fan Jiang, Albert Mo Kim Cheng: A Context Switch Reduction Technique for Real-time Task Synchronization. IPDPS 2001: 31 |
| 2000 | ||
| 31 | | Albert Mo Kim Cheng: E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. ICEIS 2000: IS 3-8 |
| 30 | | 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 |
| 29 | | 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- |
| 28 | | 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. IEEE Real-Time Systems Symposium 2000: 249-258 |
| 27 | | Albert Mo Kim Cheng, Seiya Fujii: Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. IPDPS 2000: 399-404 |
| 26 | | 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 | | 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 | | 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 | | 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 | | Rajat Agarwal, Albert Mo Kim Cheng: Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. ICMCS, Vol. 2 1999: 6-10 |
| 20 | | 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 | | 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 | | Pou-yung Lee, Albert Mo Kim Cheng: Reducing Match Time Variance in Production Systems with HAL. CIKM 1997: 309-316 |
| 17 | | Xiao Chen, Albert Mo Kim Cheng: An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. ICCCN 1997: 390-397 |
| 16 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page