![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Albert Mo Kim Cheng
Person information
- affiliation: University of Houston, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c136]Carlos A. Rincon C., Daniel Rivas, Albert M. K. Cheng:
Entropy-based scheduling performance in real-time multiprocessor systems. CISS 2023: 1-5 - [c135]Vlad Radulescu
, Albert M. K. Cheng
, Stefan Andrei
:
Work-in-Progress: Flexible bus arbitration in mixed criticality systems. EMSOFT 2023: 11-12 - [c134]Javier Enrique Méndez Gómez
, Albert M. K. Cheng
, Santiago Muñoz
:
FACSAT: Conception as a cyber-physical system for satellite observation of the Earth: Automated mission planning and scheduling. ICCPS 2023: 241-242 - [c133]Thomas Carroll
, Albert Mo Kim Cheng
:
Poster Abstract: Implementing Dynamic User Equilibrium in a Scaled City Environment with Duckietown and SUMO. IoTDI 2023: 469-471 - [c132]Albert Mo Kim Cheng
, Jude Nwankpa
:
Demo Abstract: Implementing a COVID-19 Risk Assessment System for User-Informed Travel Planning in Harris County. IoTDI 2023: 491-493 - [c131]Himansu Shaw
, Albert Mo Kim Cheng
:
Demo Abstract: Collaborative Real-Time Scheduling (CRTS) Algorithm for AGV Transportation System within a CPS Architecture. IoTDI 2023: 494-495 - [c130]Albert M. K. Cheng:
Work in Progress: Response Time Analysis of Real-Time Quantum Computing Systems. RTAS 2023: 329-332 - 2022
- [j58]Albert M. K. Cheng, Qixin Wang:
Special issue on advances in scheduling resource partitions and real-time computer vision. Real Time Syst. 58(4): 399-400 (2022) - [j57]Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng:
Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasks. Real Time Syst. 58(4): 401-429 (2022) - [j56]Guangli Dai
, Pavan Kumar Paluri
, Albert Mo Kim Cheng
, Bozheng Liu:
Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded Systems. IEEE Trans. Computers 71(10): 2592-2605 (2022) - [c129]Thomas Carroll, Albert M. K. Cheng, Guangli Dai:
Work In Progress: A Solution Based on Dynamic User Equilibrium Toward the Selfless Traffic Routing Model. RTAS 2022: 313-316 - [c128]Javier Enrique Méndez Gómez
, Albert M. K. Cheng:
Work-in-Progress: Real-Time On-board Processing for Cloud Detection in FACSAT-2 Multispectral Satellite Imagery. RTSS 2022: 499-502 - [c127]Jiwoo Lee, Albert M. K. Cheng
, Guangli Dai:
Work-in-Progress: Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task Model. RTSS 2022: 507-510 - 2021
- [c126]Pavan Kumar Paluri
, Guangli Dai
, Albert Mo Kim Cheng
:
ARINC 653-inspired regularity-based resource partitioning on xen. LCTES 2021: 134-145 - [c125]Elena Torre, Albert M. K. Cheng
, Guangli Dai, Pavan Kumar Paluri:
Work-In-Progress: Fault Tolerance in a Two-State Regularity-Based Checkpointing System. RTAS 2021: 505-508 - [c124]Sayeda Farzana Aktar, Stefan Andrei, Albert M. K. Cheng:
Work in Progress: Heart Disease Detection Methodology using E-Stethoscope. RTAS 2021: 513-516 - [c123]Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng:
Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks. RTCSA 2021: 51-60 - [c122]Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng:
Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems. RTCSA 2021: 198-200 - [c121]Albert M. K. Cheng:
Real-Time COVID-19 Infection Risk Assessment and Mitigation based on Public-Domain Data. UrgentHPC@SC 2021: 29-35 - [c120]Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu:
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform. SYNASC 2021: 83-90 - 2020
- [c119]Anukriti Mishra, Albert M. K. Cheng
, Yunpeng Zhang:
Intrusion Detection Using Principal Component Analysis and Support Vector Machines. ICCA 2020: 907-912 - [c118]Elena Torre, Albert M. K. Cheng
:
Work-In-Progress: Fault Tolerance in a Two-State Checkpointing Regularity-Based System. RTSS 2020: 375-378 - [c117]Andrew Louie, Albert M. K. Cheng
:
Work-In-Progress: Designing a Server-Side Progressive JPEG Encoder for Real-Time Applications. RTSS 2020: 379-382
2010 – 2019
- 2019
- [j55]Stefan Andrei, Albert M. K. Cheng
, Vlad Radulescu:
Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm. Math. Comput. Sci. 13(4): 489-515 (2019) - [c116]Albert M. K. Cheng
, Guangli Dai
, Pavan Kumar Paluri
, Mansoor Ansari, Darrel Knape, Yu Li:
Fault-Tolerant Regularity-Based Real-Time Virtual Resources. RTCSA 2019: 1-12 - [c115]Guangli Dai
, Pavan Kumar Paluri
, Thomas Carmichael, Albert Mo Kim Cheng
, Risto Miikkulainen:
Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion. RTSS 2019: 548-551 - [c114]Albert Mo Kim Cheng
:
Work-in-Progress: Simplifying CPS Development with Real-Time Virtual Resources. RTSS 2019: 564-567 - [c113]Michael Yantosca, Albert Mo Kim Cheng
:
Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis. RTSS 2019: 588-591 - [c112]Aaron Wong, Albert Mo Kim Cheng
:
Work-in-Progress: Reducing Response Time of Static Priority Task Sets by Varying Offsets. RTSS 2019: 592-595 - [c111]Victor M. Lopez Rodriguez, Albert Mo Kim Cheng
, Binh Doan:
Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems. RTSS 2019: 596-599 - 2018
- [j54]Seongeun Yoo
, Albert M. K. Cheng
, Pohkit Chong, Tomás Sánchez López, Taehong Kim
:
Technological advances in wireless sensor networks enabling diverse Internet of Things applications. Int. J. Distributed Sens. Networks 14(3) (2018) - [j53]Jian (Denny) Lin, Albert M. K. Cheng
, Gokhan Gercek:
Approximation algorithms in partitioning real-time tasks with replications. Int. J. Parallel Emergent Distributed Syst. 33(2): 211-232 (2018) - [j52]Jian (Denny) Lin, Albert M. K. Cheng:
P-FRP task scheduling with preemption threshold. SIGBED Rev. 15(4): 15-19 (2018) - [j51]Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng:
Bounding execution resources for the task scheduling problem in cyber-physical systems. SIGBED Rev. 15(4): 20-28 (2018) - [c110]Roberto Duenez, Albert Mo Kim Cheng
:
Real-Time Security Through a TEE. DSN Workshops 2018: 185-186 - [c109]Carlos A. Rincon C., Albert M. K. Cheng
:
SITSA-RT: An Information Theory Inspired Real-Time Multiprocessor Scheduler. ISORC 2018: 156-163 - [c108]Albert Mo Kim Cheng
, Panruo Wu
:
Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing. RTSS 2018: 131-134 - 2017
- [j50]Carlos A. Rincon C.
, Xingliang Zou, Albert M. K. Cheng
:
Real-Time Multiprocessor Scheduling Algorithm Based on Information Theory Principles. IEEE Embed. Syst. Lett. 9(4): 93-96 (2017) - [j49]Zhengxian Wei, Min Song, Guisheng Yin, Houbing Song, Hongbin Wang, Xuefei Ma
, Albert M. K. Cheng
:
Data Access Based on a Guide Map of the Underwater Wireless Sensor Network. Sensors 17(10): 2374 (2017) - [j48]Yu Li, Albert M. K. Cheng
:
Toward a Practical Regularity-based Model: The Impact of Evenly Distributed Temporal Resource Partitions. ACM Trans. Embed. Comput. Syst. 16(4): 111:1-111:25 (2017) - [c107]Carlos A. Rincon C., Albert M. K. Cheng
:
Using information theory principles to schedule real-time tasks. CISS 2017: 1-6 - [c106]Min Song, Ying Song, Zhengxian Wei, Hongbin Wang, Albert M. K. Cheng
:
The Testing Execution Mechanism on Internetware Oriented Flow Dynamic Building. CSA/CUTE 2017: 603-609 - [c105]Xingliang Zou, Albert M. K. Cheng
, Carlos A. Rincon C., Yu Jiang:
Multi-mode P-FRP Task Scheduling. ISORC 2017: 150-157 - [c104]Yue Qin, Xingliang Zou, Albert M. K. Cheng
, Yu Jiang:
Finding a Steady State Point for Fixed Priority Independent Periodic Real-Time Tasks with Arbitrary Given Release Offsets. ISORC 2017: 203-206 - [c103]Carlos A. Rincon C., Jehan-François Pâris, Ricardo Vilalta, Albert M. K. Cheng, Darrell D. E. Long:
Disk failure prediction in heterogeneous environments. SPECTS 2017: 1-7 - 2016
- [j47]Jian (Denny) Lin
, Albert M. K. Cheng
, Gokhan Gercek:
Partitioning Real-Time Tasks With Replications on Multiprocessor Embedded Systems. IEEE Embed. Syst. Lett. 8(4): 89-92 (2016) - [j46]Behnaz Sanati, Albert M. K. Cheng
:
LBBA: An efficient online benefit-aware multiprocessor scheduling for QoS via online choice of approximation algorithms. Future Gener. Comput. Syst. 59: 125-135 (2016) - [j45]Weizhe Zhang, Albert M. K. Cheng
, Marc Geilen
:
Special Issue on Real-Time Scheduling on Heterogeneous Multi-core Processors. Microprocess. Microsystems 47: 90-92 (2016) - [j44]Qiang Zhou, Yakun Li, Xingliang Zou, Albert M. K. Cheng, Yu Jiang:
Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD). SIGBED Rev. 13(2): 14-19 (2016) - [j43]Danielle Underwood, Albert M. K. Cheng:
Timing analysis of P-FRP systems. SIGBED Rev. 13(2): 20-23 (2016) - [j42]Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda:
A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform. SIGBED Rev. 13(2): 24-29 (2016) - [j41]Weizhe Zhang
, Albert M. K. Cheng
, Jaspal Subhlok:
DwarfCode: A Performance Prediction Tool for Parallel Applications. IEEE Trans. Computers 65(2): 495-507 (2016) - [j40]Yu Li, Albert M. K. Cheng
:
Transparent Real-Time Task Scheduling on Temporal Resource Partitions. IEEE Trans. Computers 65(5): 1646-1655 (2016) - [c102]Xingliang Zou, Albert M. K. Cheng
, Yu Jiang:
P-FRP task scheduling: A survey. DCPS 2016: 1-8 - [c101]Xingliang Zou, Albert M. K. Cheng
, Yu Jiang:
A Non-Work-Conserving Model for P-FRP Fixed Priority Scheduling. ICESS 2016: 12-17 - [c100]Xingliang Zou, Albert M. K. Cheng:
Poster Abstract: Memory-Aware Response Time Analysis for P-FRP Tasks. RTAS 2016: 56 - [c99]Carlos A. Rincon C., Albert M. K. Cheng:
Poster Abstract: Preliminary Performance Evaluation of HEF Scheduling Algorithm. RTAS 2016: 59 - [c98]Jiaming Lv, Yu Jiang, Xingliang Zou, Albert M. K. Cheng:
Poster Abstract: Using Linked List in Exact Schedulability Tests for Fixed Priority Scheduling. RTAS 2016: 60 - [c97]Behnaz Sanati, Albert M. K. Cheng:
Poster Abstract: Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization. RTAS 2016: 61 - [c96]Zeinab Kazemi, Albert M. K. Cheng
:
A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and Its Static Timing Analysis. RTCSA 2016: 176-181 - [c95]Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
:
Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform. SYNASC 2016: 157-164 - 2015
- [j39]Hui He, Yana Feng, Zhigang Li, Zhenguang Zhu, Weizhe Zhang, Albert Mo Kim Cheng
:
Dynamic load balancing technology for cloud-oriented CDN. Comput. Sci. Inf. Syst. 12(2): 765-786 (2015) - [j38]Jian (Denny) Lin, Albert M. K. Cheng
, Doug Steel, Michael Yu-Chi Wu, Nanfei Sun:
Scheduling Mixed-Criticality Real-Time Tasks in a Fault-Tolerant System. Int. J. Embed. Real Time Commun. Syst. 6(2): 65-86 (2015) - [j37]Weizhe Zhang, Enci Bai, Hui He, Albert M. K. Cheng
:
Solving Energy-Aware Real-Time Tasks Scheduling Problem with Shuffled Frog Leaping Algorithm on Heterogeneous Platforms. Sensors 15(6): 13778-13804 (2015) - [c94]Yu Jiang, Albert M. K. Cheng
, Xingliang Zou:
Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling. RTCSA 2015: 31-40 - [c93]Xingliang Zou, Albert M. K. Cheng
, Yu Jiang:
Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling. RTSS 2015: 373 - [c92]Carlos A. Rincon C., Albert M. K. Cheng
:
Using Entropy as a Parameter to Schedule Real-Time Tasks. RTSS 2015: 375 - [c91]Stefan Andrei, Albert M. K. Cheng
, Vlad Radulescu:
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. SYNASC 2015: 153-159 - 2014
- [j36]Albert Mo Kim Cheng
, Ramesh S.:
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. IEEE Embed. Syst. Lett. 6(1): 2-3 (2014) - [j35]Chaitanya Belwal, Yuanfeng Wen, Albert M. K. Cheng
:
Utilisation bounds of P-FRP tasks. Int. J. Embed. Syst. 6(1): 61-72 (2014) - [c90]Albert M. K. Cheng
:
An undergraduate cyber-physical systems course. CyPhy 2014: 31-34 - [c89]Behnaz Sanati, Albert M. K. Cheng
:
Efficient Online Benefit-Aware Multiprocessor Scheduling Using an Online Choice of Approximation Algorithms. HPCC/CSS/ICESS 2014: 595-602 - [c88]Yu Jiang, Qiang Zhou, Xingliang Zou, Albert M. K. Cheng
:
Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets. HPCC/CSS/ICESS 2014: 611-614 - [c87]Xingliang Zou, Albert M. K. Cheng
, Yu Li, Yu Jiang:
A Temporal Partition-Based Linux CPU Scheduler. HPCC/CSS/ICESS 2014: 705-708 - [c86]Yong woon Ahn, Albert Mo Kim Cheng
:
Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. MCPS 2014: 58-65 - [c85]Stefan Andrei, Albert M. K. Cheng
, Vlad Radulescu:
An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems. NEWCAS 2014: 424-427 - [c84]Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
:
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. SYNASC 2014: 172-179 - 2013
- [j34]Chaitanya Belwal, Albert M. K. Cheng
, Bo Liu:
Feasibility interval for the transactional event handlers of P-FRP. J. Comput. Syst. Sci. 79(5): 530-541 (2013) - [j33]Yong woon Ahn, Albert M. K. Cheng
, Jinsuk Baek, Minho Jo
, Hsiao-Hwa Chen:
An auto-scaling mechanism for virtual resources to support mobile, pervasive, real-time healthcare applications in cloud computing. IEEE Netw. 27(5): 62-68 (2013) - [j32]Yong woon Ahn, Albert Mo Kim Cheng:
Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures. SIGBED Rev. 10(2): 15 (2013) - [c83]Yuanfeng Wen, Chaitanya Belwal, Albert M. K. Cheng
:
Towards optimal priority assignments for the transactional event handlers of P-FRP. RACS 2013: 428-433 - [c82]Chaitanya Belwal, Albert M. K. Cheng
, Jim Ras, Yuanfeng Wen:
Variable voltage scheduling with the priority-based functional reactive programming language. RACS 2013: 440-445 - 2012
- [j31]Stefan Andrei, Albert M. K. Cheng
, Gheorghe Grigoras, Vlad Radulescu:
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform. Int. J. Grid Util. Comput. 3(4): 215-223 (2012) - [c81]Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng
, Khoa Le:
Energy efficient hybrid display and predictive models for embedded and mobile systems. CASES 2012: 121-130 - [c80]Weizhe Zhang, Tianyu Han, Yuanjing Zhang, Albert M. K. Cheng
:
Performance Prediction for MPI Parallel Jobs. CLUSTER Workshops 2012: 136-142 - [c79]Yuanfeng Wen, Beihong Jin, Keqin Li, Albert M. K. Cheng
, Wenjing Fang:
A Queueing Theory Based Approach to QoS-Driven Adaptation for Service Discovery over MANETs. CSE 2012: 594-601 - [c78]Yuanfeng Wen, Ziyi Liu, Weidong Shi, Yifei Jiang, Albert M. K. Cheng
, Feng Yang, Abhinav Kohar:
Support for power efficient mobile video playback on simultaneous hybrid display. ESTIMedia 2012: 87-96 - [c77]Weizhe Zhang, Hongli Zhang, Huixiang Chen, Qizhen Zhang, Albert M. K. Cheng
:
Improving the QoS of Web Applications across Multiple Virtual Machines in Cloud Computing Environment. IPDPS Workshops 2012: 2247-2253 - [c76]Chaitanya Belwal, Albert M. K. Cheng
, Yuanfeng Wen:
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP. RACS 2012: 257-262 - [c75]Chaitanya Belwal, Albert M. K. Cheng
, Yuanfeng Wen:
Response time bounds for event handlers in the priority based functional reactive programming (P-FRP) paradigm. RACS 2012: 282-287 - [c74]Yuanfeng Wen, Albert M. K. Cheng
, Chaitanya Belwal:
Worst case response time for real-time software transactional memory. RACS 2012: 459-460 - [c73]Albert M. K. Cheng
, Homa Niktab, Michael Walston
:
Timing Analysis of Small Aircraft Transportation System (SATS). RTCSA 2012: 58-67 - [c72]Yu Li, Albert M. K. Cheng
, Aloysius K. Mok:
Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA 2012: 368-377 - [c71]Yu Li, Albert M. K. Cheng
:
Static Approximation Algorithms for Regularity-based Resource Partitioning. RTSS 2012: 137-148 - [c70]Stefan Andrei, Albert M. K. Cheng
, Vlad Radulescu, Timothy H. McNicholl:
Toward an Optimal Power-Aware Scheduling Technique. SYNASC 2012: 135-142 - 2011
- [j30]Chaitanya Belwal, Albert M. K. Cheng
:
Lazy Versus Eager Conflict Detection in Software Transactional Memory: A Real-Time Schedulability Perspective. IEEE Embed. Syst. Lett. 3(1): 37-41 (2011) - [j29]Chaitanya Belwal, Albert M. K. Cheng
:
Scheduling Conditions for Real-Time Software Transactional Memory. IEEE Embed. Syst. Lett. 3(3): 93-96 (2011) - [j28]Hua Chen, Albert Mo Kim Cheng
, Ying-Wei Kuo:
Assigning real-time tasks to heterogeneous processors by applying ant colony optimization. J. Parallel Distributed Comput. 71(1): 132-142 (2011) - [j27]Jian (Denny) Lin, Albert M. K. Cheng
:
Energy reduction for scheduling a set of multiple feasible interval jobs. J. Syst. Archit. 57(6): 663-673 (2011) - [j26]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 Syst. J. 5(4): 486-494 (2011) - [c69]Chaitanya Belwal, Albert M. K. Cheng
:
Partitioned Scheduling of P-FRP in Symmetric Homogenous Multiprocessors. EUC 2011: 47-54 - [c68]Chaitanya Belwal, Albert M. K. Cheng
:
A Utilization Based Sufficient Condition for P-FRP. EUC 2011: 237-242 - [c67]Chaitanya Belwal, Albert M. K. Cheng
:
Generating Bounded Task Periods for Experimental Schedulability Analysis. EUC 2011: 249-254 - [c66]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 - [c65]Chaitanya Belwal, Albert M. K. Cheng
:
Determining Actual Response Time in P-FRP Using Idle-Period Game Board. ISORC 2011: 136-143 - [c64]Chaitanya Belwal, Albert M. K. Cheng
:
Determining Actual Response Time in P-FRP. PADL 2011: 250-264 - [c63]Chaitanya Belwal, Albert M. K. Cheng
:
An Extensible Framework for Real-Time Task Generation and Simulation. RTCSA (1) 2011: 259-263 - [c62]Stefan Andrei, Albert M. K. Cheng
, Vlad Radulescu:
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. SYNASC 2011: 93-100 - [c61]Chaitanya Belwal, Albert M. K. Cheng
, Walid Taha:
Release Offset Bounds for Response Time Analysis of P-FRP Using Exhaustive Enumeration. TrustCom 2011: 950-957 - [c60]Chaitanya Belwal, Albert M. K. Cheng
:
Feasibility Interval for the Transactional Event Handlers of P-FRP. TrustCom 2011: 966-973 - [c59]Chaitanya Belwal, Albert M. K. Cheng
:
A Sufficient Schedulability Test for Real-Time Software Transactional Memory. TrustCom 2011: 1060-1067 - [c58]Chaitanya Belwal, Albert M. K. Cheng
:
Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata. TrustCom 2011: 1091-1098 - 2010
- [c57]Jim Ras, Albert M. K. Cheng
:
Response Time Analysis of the Abort-and-Restart Model under Symmetric Multiprocessing. CIT 2010: 1954-1961 - [c56]Jim Ras, Albert M. K. Cheng
:
On the Toyota's Throttle Control Problem. GreenCom/CPSCom 2010: 889-894 - [c55]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 - [c54]Stefan Andrei, Albert Mo Kim Cheng
, Martin C. Rinard, Lawrence Osborne:
Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386 - [c53]Jim Ras, Albert M. K. Cheng
:
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. SIGAda 2010: 13-22 - [c52]Stefan Andrei, Albert M. K. Cheng
, Gheorghe Grigoras, Vlad Radulescu:
An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252
2000 – 2009
- 2009
- [j25]Stefan Andrei, Albert Mo Kim Cheng
:
Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58(12): 1640-1653 (2009) - [j24]Yong woon Ahn, Albert Mo Kim Cheng
, Jinsuk Baek, Paul S. Fisher:
A multiplayer real-time game protocol architecture for reducing network latency. IEEE Trans. Consumer Electron. 55(4): 1883-1889 (2009) - [c51]Jian (Denny) Lin, Albert M. K. Cheng
, Rashmi Kumar:
Real-Time Task Assignment in Heterogeneous Distributed Systems with Rechargeable Batteries. AINA 2009: 82-89 - [c50]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 - [c49]Jian (Denny) Lin, Albert Mo Kim Cheng
:
Real-time Task Assignment with Replication on Multiprocessor Platforms. ICPADS 2009: 399-406 - [c48]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 - [c47]Jian (Denny) Lin, Albert Mo Kim Cheng
:
Power-Aware Scheduling for Multiple Feasible Interval Jobs. RTCSA 2009: 191-200 - [c46]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 - 2008
- [j23]Behnaz Sanati, Albert Mo Kim Cheng:
Maximizing job benefits on multiprocessor systems using a greedy algorithm. SIGBED Rev. 5(2): 3 (2008) - [j22]Albert Mo Kim Cheng
, Yan Wang:
A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. J. Signal Process. Syst. 52(1): 45-57 (2008) - [c45]Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng
:
On-Line Burst Header Scheduling in Optical Burst Switching Networks. AINA 2008: 363-369 - [c44]Albert M. K. Cheng
:
Cyber-Physical Medical and Medication Systems. ICDCS Workshops 2008: 529-532 - [c43]Jian (Denny) Lin, Albert Mo Kim Cheng
:
Real-Time Task Assignment in Rechargeable Multiprocessor Systems. RTCSA 2008: 279-284 - [c42]Jim Ras, Albert M. K. Cheng
:
Real-time synchronization on distributed architecture with Ada-2005. SIGAda 2008: 75-84 - [c41]Stefan Andrei, Albert Mo Kim Cheng
:
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC 2008: 475-479 - [p1]Albert Mo Kim Cheng:
Embedded Operating Systems. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j21]Albert M. K. Cheng
, Zhubin Zhang:
Improving Web Server Performance with Adaptive Proxy Caching in Soft Real-time Mobile Applications. J. VLSI Signal Process. 47(2): 103-115 (2007) - [j20]Albert Mo Kim Cheng
, Feng Shang:
Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. J. VLSI Signal Process. 47(2): 169-182 (2007) - [c40]Sumit Gupta, Rong Zheng, Albert M. K. Cheng
:
ANDES: an Anomaly Detection System for Wireless Sensor Networks. MASS 2007: 1-9 - [c39]Stefan Andrei, Albert M. K. Cheng
:
Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342 - 2006
- [j19]Albert Mo Kim Cheng
:
A survey of formal verification methods and tools for embedded and real-time systems. Int. J. Embed. Syst. 2(3/4): 184-195 (2006) - [j18]Albert Mo Kim Cheng, Chen Feng:
Predictive thermal management for hard real-time tasks. SIGBED Rev. 3(1): 35-40 (2006) - [j17]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) - [c38]Weizhe Zhang, Albert M. K. Cheng
, Mingzeng Hu:
Multisite co-allocation algorithms for computational grid. IPDPS 2006 - [c37]Stefan Andrei, Albert Mo Kim Cheng:
Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76 - [c36]Jian (Denny) Lin, Albert M. K. Cheng:
Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems. RTCSA 2006: 402-410 - [c35]Stefan Andrei, Albert Mo Kim Cheng
:
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76 - 2005
- [j16]Hua Chen, Albert M. K. Cheng:
Applying Ant Colony Optimization to the partitioned scheduling problem for heterogeneous multiprocessors. SIGBED Rev. 2(2): 11-14 (2005) - [j15]Albert M. K. Cheng:
Introduction to the special issue. SIGBED Rev. 2(2) (2005) - [j14]Yan Wang, Albert M. K. Cheng:
A dynamic-mode DVS algorithm under dynamic workloads. SIGBED Rev. 2(2): 3-6 (2005) - [j13]Albert Mo Kim Cheng
, Rajat Agarwal:
Reducing Encoder Bit-Rate Variation in MPEG Video. J. VLSI Signal Process. 40(2): 261-271 (2005) - [c34]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 - [c33]Albert Mo Kim Cheng
, Feng Shang:
Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. RTCSA 2005: 129-134 - [c32]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng
, Yongxin Zhu:
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360 - 2004
- [j12]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) - [j11]Albert Mo Kim Cheng
, Seiya Fujii:
Self-Stabilizing Real-Time OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 16(12): 1543-1554 (2004) - [j10]Yun-Hong Lee, Albert Mo Kim Cheng
:
Optimizing Real-Time Equational Rule-Based Systems. IEEE Trans. Software Eng. 30(2): 112-125 (2004) - [j9]Jeong A. Kang, Albert Mo Kim Cheng
:
Shortening Matching Time in OPS5 Production Systems. IEEE Trans. Software Eng. 30(7): 448-457 (2004) - [c31]Albert Mo Kim Cheng, Rong Wang:
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. COMPSAC 2004: 167-172 - [c30]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 - 2003
- [j8]Albert Mo Kim Cheng
, Sudhir M. Rao:
Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy. J. VLSI Signal Process. 34(1-2): 139-148 (2003) - [c29]Ming Zu, Albert Mo Kim Cheng
:
Real-Time Scheduling of Hierarchical Reward-Based Tasks. IEEE Real Time Technology and Applications Symposium 2003: 2-9 - 2002
- [b1]Albert Mo Kim Cheng:
Real-time systems - scheduling, analysis, and verification. Wiley 2002, ISBN 978-0-471-18406-5, pp. I-XXIII, 1-524 - [j7]Pou-yung Lee, Albert Mo Kim Cheng
:
HAL: A Faster Match Algorithm. IEEE Trans. Knowl. Data Eng. 14(5): 1047-1058 (2002) - 2001
- [c28]Jeong A. Kang, Albert Mo Kim Cheng
:
Reducing Matching Time for OPS5 Production Systems. COMPSAC 2001: 429- - [c27]Fan Jiang, Albert Mo Kim Cheng:
A Context Switch Reduction Technique for Real-time Task Synchronization. IPDPS 2001: 31 - 2000
- [j6]Albert Mo Kim Cheng
, Jeng-Rung Chen:
Response Time Analysis of OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. 12(3): 391-409 (2000) - [j5]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) - [j4]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) - [c26]Albert Mo Kim Cheng:
E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. ICEIS 2000: IS 3-8 - [c25]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 - [c24]Albert Mo Kim Cheng, Seiya Fujii:
Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. IPDPS 2000: 399-404 - [c23]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 - [c22]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-154 - [c21]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. RTSS 2000: 249-258
1990 – 1999
- 1999
- [c20]Albert Mo Kim Cheng:
Analysis and Verification of Real-Time Systems. ICEIS 1999: ILT 10 - [c19]Rajat Agarwal, Albert Mo Kim Cheng:
Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. ICMCS, Vol. 2 1999: 6-10 - [c18]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
- [j3]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
- [c17]Pou-yung Lee, Albert Mo Kim Cheng
:
Reducing Match Time Variance in Production Systems with HAL. CIKM 1997: 309-316 - [c16]Xiao Chen, Albert Mo Kim Cheng:
An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. ICCCN 1997: 390-397 - [c15]Chun Wong, Albert Mo Kim Cheng:
An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. LCN 1997: 420-429 - 1996
- [c14]Albert Mo Kim Cheng:
Measuring the Structural Complexity of OPS5 Rule-Based Programs. COMPSAC 1996: 522-527 - [c13]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 - [c12]Albert Mo Kim Cheng:
Parallel and Distributed Real-Time Systems (Abstract). PDIS 1996: 3 - 1995
- [j2]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) - [c11]Chang-Yu Wang, Albert Mo Kim Cheng:
Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. ICPP (3) 1995: 85-92 - [c10]Albert Mo Kim Cheng
, Xiaofen Huang:
An Imprecise Real-Time Video Transmission Algorithm. ICSC 1995: 491-492 - [c9]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-101 - 1994
- [c8]Hsiu-yen Tsai, Albert Mo Kim Cheng:
Termination Analysis of OPS5 Expert Systems. AAAI 1994: 193-198 - [c7]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 - [c6]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
- [j1]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) - [c5]Albert Mo Kim Cheng
:
Parallel Execution of Real-Time Rule-Based Systems. IPPS 1993: 779-786 - [c4]Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems. SEKE 1993: 244-247 - 1992
- [c3]Albert Mo Kim Cheng
:
Self-Stabilizing Real-Time Rule-Based Systems. SRDS 1992: 172-179 - 1991
- [c2]Albert M. K. Cheng:
Implementing a tool for timing analysis of real-time production systems. ICTAI 1991: 526-527 - 1990
- [c1]C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng
:
MRL: A Real-Time Rule-Based Production System. RTSS 1990: 267-276
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint