The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Albert Mo Kim Cheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hsiu-yen Tsai, Albert Mo Kim Cheng
    Termination Analysis of OPS5 Expert Systems. [Citation Graph (3, 0)][DBLP]
    AAAI, 1994, pp:193-198 [Conf]
  2. 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. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:9, pp:863-885 [Journal]
  3. C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng
    MRL: A Real-Time Rule-Based Production System. [Citation Graph (1, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1990, pp:267-277 [Conf]
  4. Jeng-Rung Chen, Albert Mo Kim Cheng
    Response Time Analysis of EQL Real-Time Rule-Based Systems. [Citation Graph (1, 10)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:1, pp:26-43 [Journal]
  5. Pou-yung Lee, Albert Mo Kim Cheng
    Reducing Match Time Variance in Production Systems with HAL. [Citation Graph (0, 0)][DBLP]
    CIKM, 1997, pp:309-316 [Conf]
  6. Albert Mo Kim Cheng
    Measuring the Structural Complexity of OPS5 Rule-Based Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:522-0 [Conf]
  7. Albert Mo Kim Cheng, Rong Wang
    A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:167-172 [Conf]
  8. Jeong A. Kang, Albert Mo Kim Cheng
    Reducing Matching Time for OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:429-0 [Conf]
  9. Xiao Chen, Albert Mo Kim Cheng
    An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1997, pp:390-397 [Conf]
  10. Albert Mo Kim Cheng
    E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2000, pp:0-8 [Conf]
  11. Albert Mo Kim Cheng
    Analysis and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:0- [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ICINCO (Invited Speakers), 2004, pp:23-27 [Conf]
  13. Rajat Agarwal, Albert Mo Kim Cheng
    Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 2, 1999, pp:6-10 [Conf]
  14. Sudhir M. Rao, Albert Mo Kim Cheng
    Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks. [Citation Graph (0, 0)][DBLP]
    IEEE International Conference on Multimedia and Expo (I), 2000, pp:545-548 [Conf]
  15. Jeng-Rung Chen, Albert Mo Kim Cheng
    A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. [Citation Graph (0, 0)][DBLP]
    ICPP (3), 1994, pp:17-20 [Conf]
  16. Albert Mo Kim Cheng, Sharon X. Gu
    Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures. [Citation Graph (0, 0)][DBLP]
    ICPP, Vol. 1, 1996, pp:204-211 [Conf]
  17. Chang-Yu Wang, Albert Mo Kim Cheng
    Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    ICPP (3), 1995, pp:85-92 [Conf]
  18. Albert Mo Kim Cheng, Xiaofen Huang
    An Imprecise Real-Time Video Transmission Algorithm. [Citation Graph (0, 0)][DBLP]
    ICSC, 1995, pp:491-492 [Conf]
  19. Jeng-Rung Chen, Albert Mo Kim Cheng
    Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:297-303 [Conf]
  20. Albert Mo Kim Cheng
    Parallel Execution of Real-Time Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:779-786 [Conf]
  21. Albert Mo Kim Cheng, Seiya Fujii
    Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2000, pp:399-404 [Conf]
  22. Fan Jiang, Albert Mo Kim Cheng
    A Context Switch Reduction Technique for Real-time Task Synchronization. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:31- [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    LCN, 2000, pp:634-643 [Conf]
  24. Chun Wong, Albert Mo Kim Cheng
    An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. [Citation Graph (0, 0)][DBLP]
    LCN, 1997, pp:420-431 [Conf]
  25. Albert Mo Kim Cheng
    Parallel and Distributed Real-Time Systems (Abstract). [Citation Graph (0, 0)][DBLP]
    PDIS, 1996, pp:3- [Conf]
  26. Xiaofen Huang, Albert Mo Kim Cheng
    Applying imprecise algorithms to real-time image and video transmissio. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1995, pp:96-0 [Conf]
  27. Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
    Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:519-528 [Conf]
  28. Yun-Hong Lee, Albert Mo Kim Cheng
    Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2000, pp:145-0 [Conf]
  29. Ming Zu, Albert Mo Kim Cheng
    Real-Time Scheduling of Hierarchical Reward-Based Tasks. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2003, pp:2-9 [Conf]
  30. Lorraine E. P. Rice, Albert Mo Kim Cheng
    Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1999, pp:255-0 [Conf]
  31. Stefan Andrei, Albert Mo Kim Cheng
    Optimization of Real-Time Systems Timing Specifications. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2006, pp:68-76 [Conf]
  32. Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
    Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:357-360 [Conf]
  33. Albert Mo Kim Cheng, Feng Shang
    Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:129-134 [Conf]
  34. Stefan Andrei, Albert Mo Kim Cheng
    Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. [Citation Graph (0, 0)][DBLP]
    RTSS, 2006, pp:67-76 [Conf]
  35. Albert Mo Kim Cheng
    A New Complexity Metric for OPS5 Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:244-247 [Conf]
  36. Albert Mo Kim Cheng
    Self-Stabilizing Real-Time Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1992, pp:172-179 [Conf]
  37. Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
    Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:7, pp:830-842 [Journal]
  38. Albert Mo Kim Cheng, Jeng-Rung Chen
    Response Time Analysis of OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2000, v:12, n:3, pp:391-409 [Journal]
  39. Albert Mo Kim Cheng, Seiya Fujii
    Self-Stabilizing Real-Time OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:12, pp:1543-1554 [Journal]
  40. Albert Mo Kim Cheng, Hsiu-yen Tsai
    A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2004, v:16, n:2, pp:271-288 [Journal]
  41. Pou-yung Lee, Albert Mo Kim Cheng
    HAL: A Faster Match Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2002, v:14, n:5, pp:1047-1058 [Journal]
  42. Blaz Zupan, Albert Mo Kim Cheng
    Optimization of Rule-Based Systems Using State Space Graphs. [Citation Graph (0, 9)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1998, v:10, n:2, pp:238-254 [Journal]
  43. Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
    Guest Editors' Introduction-Workshop on Software and Performance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:11, pp:1025-1026 [Journal]
  44. Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
    Guest Editors' Introduction: Workshop on Software and Performance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:12, pp:1121- [Journal]
  45. Jeong A. Kang, Albert Mo Kim Cheng
    Shortening Matching Time in OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:448-457 [Journal]
  46. Yun-Hong Lee, Albert Mo Kim Cheng
    Optimizing Real-Time Equational Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:2, pp:112-125 [Journal]
  47. Albert Mo Kim Cheng, Feng Shang
    Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    VLSI Signal Processing, 2007, v:47, n:2, pp:169-182 [Journal]

  48. Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms. [Citation Graph (, )][DBLP]


  49. Real-Time Task Assignment in Rechargeable Multiprocessor Systems. [Citation Graph (, )][DBLP]


  50. Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm. [Citation Graph (, )][DBLP]


  51. Power-Aware Scheduling for Multiple Feasible Interval Jobs. [Citation Graph (, )][DBLP]


  52. Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002