| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Scheduling Conditions for Real-Time Software Transactional Memory. |
Embedded Systems Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective. |
Embedded Systems Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Determining Actual Response Time in P-FRP. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
An Extensible Framework for Real-Time Task Generation and Simulation. |
RTCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Determining Actual Response Time in P-FRP Using Idle-Period Game Board. |
ISORC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
A Utilization Based Sufficient Condition for P-FRP. |
EUC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors. |
EUC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya Belwal, Albert M. K. Cheng |
Generating Bounded Task Periods for Experimental Schedulability Analysis. |
EUC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu |
An Efficient Scheduling Algorithm for the Multiprocessor Platform. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Ras, Albert M. K. Cheng |
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Ras, Albert M. K. Cheng |
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
leakage-aware, power-aware scheduling algorithms, dynamic voltage scaling, real-time and embedded systems |
| 1 | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne |
Optimal Scheduling of Urgent Preemptive Tasks. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
urgent task, polynomial-time algorithm, optimal scheduling |
| 1 | Jian (Denny) Lin, Albert M. K. Cheng, Rashmi Kumar |
Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries. |
AINA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Efficient Verification and Optimization of Real-Time Logic-Specified Systems. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian (Denny) Lin, Albert Mo Kim Cheng |
Real-time Task Assignment with Replication on Multiprocessor Platforms. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian (Denny) Lin, Albert Mo Kim Cheng |
Power-Aware Scheduling for Multiple Feasible Interval Jobs. |
RTCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert M. K. Cheng |
Cyber-Physical Medical and Medication Systems. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng |
On-Line Burst Header Scheduling in Optical Burst Switching Networks. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Ras, Albert M. K. Cheng |
Real-time synchronization on distributed architecture with Ada-2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
dpcp, dsrp, edf, ada, pcp, rms, srp |
| 1 | Albert Mo Kim Cheng, Yan Wang |
A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. |
Signal Processing Systems |
2008 |
DBLP DOI BibTeX RDF |
dynamic workloads, scheduling, real-time systems, dynamic voltage scaling (DVS), power-aware computing |
| 1 | Albert Mo Kim Cheng |
Embedded Operating Systems. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian (Denny) Lin, Albert Mo Kim Cheng |
Real-Time Task Assignment in Rechargeable Multiprocessor Systems. |
RTCSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert M. K. Cheng, Zhubin Zhang |
Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-time Mobile Applications. |
VLSI Signal Processing |
2007 |
DBLP DOI BibTeX RDF |
adaptive proxy caching, mobile networking, web servers, temporal coherency, soft real-time systems |
| 1 | Sumit Gupta, Rong Zheng, Albert M. K. Cheng |
ANDES: an Anomaly Detection System for Wireless Sensor Networks. |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Albert M. K. Cheng |
Verifying Linear Real-Time Logic Specifications. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Feng Shang |
Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. |
VLSI Signal Processing |
2007 |
DBLP DOI BibTeX RDF |
video systems, JPEG/MPEG compression standards, real-time scheduling, image systems |
| 1 | Jian (Denny) Lin, Albert M. K. Cheng |
Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng |
A survey of formal verification methods and tools for embedded and real-time systems. |
IJES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimization of Real-Time Systems Timing Specifications. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal method, timing constraint |
| 1 | Stefan Andrei, Albert Mo Kim Cheng |
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Rajat Agarwal |
Reducing Encoder Bit-Rate Variation in MPEG Video. |
VLSI Signal Processing |
2005 |
DBLP DOI BibTeX RDF |
bit-rate variation, quality-of-service, multimedia, MPEG, real-time video transmission |
| 1 | Albert Mo Kim Cheng, Feng Shang |
Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu |
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeong A. Kang, Albert Mo Kim Cheng |
Shortening Matching Time in OPS5 Production Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun-Hong Lee, Albert Mo Kim Cheng |
Optimizing Real-Time Equational Rule-Based Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
EQL language, real-time rule-based systems, graphs, runtime optimization |
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, expert systems, Timing analysis, response time, rule-based systems, production systems, OPS5, KBS |
| 1 | Albert Mo Kim Cheng, Seiya Fujii |
Self-Stabilizing Real-Time OPS5 Production Systems. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5 |
| 1 | Albert Mo Kim Cheng, Rong Wang |
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
least-laxity, first scheduling, LLF, real-time scheduling, buffer management, packet routing, packet-switched networks, end-to-end delay, multimedia traffic |
| 1 | Ming Zu, Albert Mo Kim Cheng |
Real-Time Scheduling of Hierarchical Reward-Based Tasks. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pou-yung Lee, Albert Mo Kim Cheng |
HAL: A Faster Match Algorithm. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
combinatorial explosion problem, algorithms, knowledge-based systems, expert systems, NP-completeness, Matching, database systems, production systems |
| 1 | Albert Mo Kim Cheng |
Real-time systems - scheduling, analysis, and verification. |
|
2002 |
RDF |
|
| 1 | Fan Jiang, Albert Mo Kim Cheng |
A Context Switch Reduction Technique for Real-time Task Synchronization. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jeong A. Kang, Albert Mo Kim Cheng |
Reducing Matching Time for OPS5 Production Systems. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside |
Guest Editors' Introduction: Workshop on Software and Performance. (PDF / PS) |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside |
Guest Editors' Introduction-Workshop on Software and Performance. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Jeng-Rung Chen |
Response Time Analysis of OPS5 Production Systems. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
real-time decision systems, special forms, verification, static analysis, response time, Computer-aided software engineering, rule-based programs, OPS |
| 1 | Albert Mo Kim Cheng |
E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng, Seiya Fujii |
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. (PDF / PS) |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5 |
| 1 | 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. (PDF / PS) |
LCN |
2000 |
DBLP DOI BibTeX RDF |
load-balanced routing, shortest-path routing protocols, least-laxity scheduling algorithm, scheduling, protocols, computer networks, computer networks, packet switching, routing algorithm, scheduling algorithm, buffer overflow, telecommunication network routing, telecommunication traffic, packet loss, time-delay, packet-switch networks, end-to-end delay, bottlenecks, real-time traffic, network throughput, traffic load, data packets |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yun-Hong Lee, Albert Mo Kim Cheng |
Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
real-time rule-based expert system, EQL, response time upper bound, predicate dependency list, optimization, timing analysis |
| 1 | Albert Mo Kim Cheng |
Analysis and Verification of Real-Time Systems. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rajat Agarwal, Albert Mo Kim Cheng |
Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. (PDF / PS) |
ICMCS, Vol. 2 |
1999 |
DBLP DOI BibTeX RDF |
load variation, delay, video, encoder, MPEG, buffer, slice, CBR, VBR, bit rate |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaz Zupan, Albert Mo Kim Cheng |
Optimization of Rule-Based Systems Using State Space Graphs. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
real-time decision systems, state-space graphs, optimization, synthesis, response time, Computer-aided software engineering, rule-based programs |
| 1 | Chun Wong, Albert Mo Kim Cheng |
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. (PDF / PS) |
LCN |
1997 |
DBLP DOI BibTeX RDF |
imprecise transmission, TIFF image file pre-processing, TIFF image file post-processing, congested real-time ATM networks, acceptable image quality, cell-loss rate, transmission overhead, image file content, fixed image files, ATM cells, received image quality, recovered image quality, real-time systems, network congestion, data recovery, image degradation, computational overhead |
| 1 | Xiao Chen, Albert Mo Kim Cheng |
An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pou-yung Lee, Albert Mo Kim Cheng |
Reducing Match Time Variance in Production Systems with HAL. |
CIKM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng |
Parallel and Distributed Real-Time Systems (Abstract). |
PDIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng |
Measuring the Structural Complexity of OPS5 Rule-Based Programs. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jeng-Rung Chen, Albert Mo Kim Cheng |
Response Time Analysis of EQL Real-Time Rule-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
real-time decision systems, special forms, verification, response time, Computer aided software engineering, rule-based programs |
| 1 | Albert Mo Kim Cheng, Xiaofen Huang |
An Imprecise Real-Time Video Transmission Algorithm. |
ICSC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang-Yu Wang, Albert Mo Kim Cheng |
Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. |
ICPP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiaofen Huang, Albert Mo Kim Cheng |
Applying imprecise algorithms to real-time image and video transmissio. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
imprecise algorithms, real-time image transmission, multimedia information transmission, processing power, imprecise computation model, real-time systems, time, computer networks, computer network, video coding, quality, multimedia systems, multimedia communication, multimedia computing, video transmission, network bandwidth |
| 1 | Jeng-Rung Chen, Albert Mo Kim Cheng |
A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. |
ICPP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jeng-Rung Chen, Albert Mo Kim Cheng |
Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hsiu-yen Tsai, Albert Mo Kim Cheng |
Termination Analysis of OPS5 Expert Systems. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1993 |
DBLP DOI BibTeX RDF |
real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems |
| 1 | Albert Mo Kim Cheng |
Parallel Execution of Real-Time Rule-Based Systems. |
IPPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng |
A New Complexity Metric for OPS5 Rule-Based Systems. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Albert Mo Kim Cheng |
Self-Stabilizing Real-Time Rule-Based Systems. |
SRDS |
1992 |
DBLP BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")