Albert Mo Kim Cheng

83 papers A* 1A 14B 18C 1Misc 1Journal 27Unranked 19

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Demo Abstract: Collaborative Real-Time Scheduling (CRTS) Algorithm for AGV Transportation System within a CPS Architecture. IoTDI Himansu Shaw, Albert Mo Kim Cheng
2023	—	`conf`	Demo Abstract: Implementing a COVID-19 Risk Assessment System for User-Informed Travel Planning in Harris County. IoTDI Albert Mo Kim Cheng, Jude Nwankpa
2023	—	`conf`	Poster Abstract: Implementing Dynamic User Equilibrium in a Scaled City Environment with Duckietown and SUMO. IoTDI Thomas Carroll, Albert Mo Kim Cheng
2022	J	`jnl`	Regularity-Based Virtualization Under the ARINC 653 Standard for Embedded Systems. IEEE Trans. Computers Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng, Bozheng Liu
2021	B	`conf`	ARINC 653-inspired regularity-based resource partitioning on xen. LCTES Pavan Kumar Paluri, Guangli Dai, Albert Mo Kim Cheng
2021	B	`conf`	Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks. RTCSA Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng
2019	A	`conf`	Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis. RTSS Michael Yantosca, Albert Mo Kim Cheng
2019	A	`conf`	Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems. RTSS Victor M. Lopez Rodriguez, Albert Mo Kim Cheng, Binh Doan
2019	A	`conf`	Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion. RTSS Guangli Dai, Pavan Kumar Paluri, Thomas Carmichael, Albert Mo Kim Cheng, Risto Miikkulainen
2019	A	`conf`	Work-in-Progress: Reducing Response Time of Static Priority Task Sets by Varying Offsets. RTSS Aaron Wong, Albert Mo Kim Cheng
2019	A	`conf`	Work-in-Progress: Simplifying CPS Development with Real-Time Virtual Resources. RTSS Albert Mo Kim Cheng
2018	—	`conf`	Real-Time Security Through a TEE. DSN Workshops Roberto Duenez, Albert Mo Kim Cheng
2018	A	`conf`	Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing. RTSS Albert Mo Kim Cheng, Panruo Wu
2015	J	`jnl`	Dynamic load balancing technology for cloud-oriented CDN. Comput. Sci. Inf. Syst. Hui He, Yana Feng, Zhigang Li, Zhenguang Zhu, Weizhe Zhang, Albert Mo Kim Cheng
2014	—	`conf`	Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture. MCPS Yong woon Ahn, Albert Mo Kim Cheng
2014	J	`jnl`	Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems. IEEE Embed. Syst. Lett. Albert Mo Kim Cheng, Ramesh S.
2013	J	`jnl`	Autonomic computing architecture for real-time medical application running on virtual private cloud infrastructures. SIGBED Rev. Yong woon Ahn, Albert Mo Kim Cheng
2011	J	`jnl`	A Fair Transmission Opportunity by Detecting and Punishing the Malicious Wireless Stations in IEEE 802.11e EDCA Network. IEEE Syst. J. Yong woon Ahn, Jinsuk Baek, Albert Mo Kim Cheng, Paul S. Fisher, Minho Jo
2011	J	`jnl`	Assigning real-time tasks to heterogeneous processors by applying ant colony optimization. J. Parallel Distributed Comput. Hua Chen, Albert Mo Kim Cheng, Ying-Wei Kuo
2010	B	`conf`	Optimal Scheduling of Urgent Preemptive Tasks. RTCSA Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne
2010	A	`conf`	Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms. ISLPED Jian (Denny) Lin, Wei Song, Albert Mo Kim Cheng
2009	J	`jnl`	A multiplayer real-time game protocol architecture for reducing network latency. IEEE Trans. Consumer Electron. Yong woon Ahn, Albert Mo Kim Cheng, Jinsuk Baek, Paul S. Fisher
2009	J	`jnl`	Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers Stefan Andrei, Albert Mo Kim Cheng
2009	B	`conf`	Power-Aware Scheduling for Multiple Feasible Interval Jobs. RTCSA Jian (Denny) Lin, Albert Mo Kim Cheng
2009	B	`conf`	Real-time Task Assignment with Replication on Multiprocessor Platforms. ICPADS Jian (Denny) Lin, Albert Mo Kim Cheng
2009	B	`conf`	Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm. RTCSA Jim Ras, Albert Mo Kim Cheng
2008	J	`jnl`	A Dynamic Voltage Scaling Algorithm for Dynamic Workloads. J. Signal Process. Syst. Albert Mo Kim Cheng, Yan Wang
2008	—	`ch.`	Embedded Operating Systems. Wiley Encyclopedia of Computer Science and Engineering Albert Mo Kim Cheng
2008	J	`jnl`	Maximizing job benefits on multiprocessor systems using a greedy algorithm. SIGBED Rev. Behnaz Sanati, Albert Mo Kim Cheng
2008	Misc	`conf`	Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC Stefan Andrei, Albert Mo Kim Cheng
2008	B	`conf`	Real-Time Task Assignment in Rechargeable Multiprocessor Systems. RTCSA Jian (Denny) Lin, Albert Mo Kim Cheng
2007	J	`jnl`	Priority-driven Coding and Transmission of Progressive JPEG Images for Real-Time Applications. J. VLSI Signal Process. Albert Mo Kim Cheng, Feng Shang
2006	J	`jnl`	A survey of formal verification methods and tools for embedded and real-time systems. Int. J. Embed. Syst. Albert Mo Kim Cheng
2006	J	`jnl`	Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
2006	A	`conf`	Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS Stefan Andrei, Albert Mo Kim Cheng
2006	B	`conf`	Optimization of Real-Time Systems Timing Specifications. RTCSA Stefan Andrei, Albert Mo Kim Cheng
2006	J	`jnl`	Predictive thermal management for hard real-time tasks. SIGBED Rev. Albert Mo Kim Cheng, Chen Feng
2005	B	`conf`	Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. RTCSA Albert Mo Kim Cheng, Feng Shang
2005	J	`jnl`	Reducing Encoder Bit-Rate Variation in MPEG Video. J. VLSI Signal Process. Albert Mo Kim Cheng, Rajat Agarwal
2005	B	`conf`	Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
2005	A	`conf`	Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
2004	J	`jnl`	A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. Albert Mo Kim Cheng, Hsiu-yen Tsai
2004	B	`conf`	A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. COMPSAC Albert Mo Kim Cheng, Rong Wang
2004	J	`jnl`	Optimizing Real-Time Equational Rule-Based Systems. IEEE Trans. Software Eng. Yun-Hong Lee, Albert Mo Kim Cheng
2004	J	`jnl`	Self-Stabilizing Real-Time OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. Albert Mo Kim Cheng, Seiya Fujii
2004	J	`jnl`	Shortening Matching Time in OPS5 Production Systems. IEEE Trans. Software Eng. Jeong A. Kang, Albert Mo Kim Cheng
2004	—	`conf`	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) Albert Mo Kim Cheng
2003	—	`conf`	Real-Time Scheduling of Hierarchical Reward-Based Tasks. IEEE Real Time Technology and Applications Symposium Ming Zu, Albert Mo Kim Cheng
2003	J	`jnl`	Real-Time Traffic Scheduling and Routing in Packet-Switched Networks Using a Least-Laxity-First Strategy. J. VLSI Signal Process. Albert Mo Kim Cheng, Sudhir M. Rao
2002	J	`jnl`	HAL: A Faster Match Algorithm. IEEE Trans. Knowl. Data Eng. Pou-yung Lee, Albert Mo Kim Cheng
2002	—	`book`	Real-time systems - scheduling, analysis, and verification. Albert Mo Kim Cheng
2001	A	`conf`	A Context Switch Reduction Technique for Real-time Task Synchronization. IPDPS Fan Jiang, Albert Mo Kim Cheng
2001	B	`conf`	Reducing Matching Time for OPS5 Production Systems. COMPSAC Jeong A. Kang, Albert Mo Kim Cheng
2000	A	`conf`	Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. IPDPS Albert Mo Kim Cheng, Seiya Fujii
2000	—	`conf`	Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. IEEE Real Time Technology and Applications Symposium Yun-Hong Lee, Albert Mo Kim Cheng
2000	—	`conf`	E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System. ICEIS Albert Mo Kim Cheng
2000	J	`jnl`	Guest Editors' Introduction-Workshop on Software and Performance. IEEE Trans. Software Eng. Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
2000	J	`jnl`	Guest Editors' Introduction: Workshop on Software and Performance. IEEE Trans. Software Eng. Albert Mo Kim Cheng, Paul C. Clements, C. Murray Woodside
2000	B	`conf`	Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks. LCN Sangman Bak, Albert Mo Kim Cheng, Jorge Arturo Cobb, Ernst L. Leiss
2000	J	`jnl`	Response Time Analysis of OPS5 Production Systems. IEEE Trans. Knowl. Data Eng. Albert Mo Kim Cheng, Jeng-Rung Chen
2000	A	`conf`	Scheduling and Routing of Real-Time Multimedia Traffic in Packet-Switched Networks. IEEE International Conference on Multimedia and Expo (I) Sudhir M. Rao, Albert Mo Kim Cheng
1999	—	`conf`	Analysis and Verification of Real-Time Systems. ICEIS Albert Mo Kim Cheng
1999	—	`conf`	Reducing Variation in Bit-Rate Produced by Encoder in MPEG Video. ICMCS, Vol. 2 Rajat Agarwal, Albert Mo Kim Cheng
1999	—	`conf`	Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics. IEEE Real Time Technology and Applications Symposium Lorraine E. P. Rice, Albert Mo Kim Cheng
1998	J	`jnl`	Optimization of Rule-Based Systems Using State Space Graphs. IEEE Trans. Knowl. Data Eng. Blaz Zupan, Albert Mo Kim Cheng
1997	B	`conf`	An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. ICCCN Xiao Chen, Albert Mo Kim Cheng
1997	B	`conf`	An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. LCN Chun Wong, Albert Mo Kim Cheng
1997	A	`conf`	Reducing Match Time Variance in Production Systems with HAL. CIKM Pou-yung Lee, Albert Mo Kim Cheng
1996	—	`conf`	Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures. ICPP, Vol. 1 Albert Mo Kim Cheng, Sharon X. Gu
1996	B	`conf`	Measuring the Structural Complexity of OPS5 Rule-Based Programs. COMPSAC Albert Mo Kim Cheng
1996	—	`conf`	Parallel and Distributed Real-Time Systems (Abstract). PDIS Albert Mo Kim Cheng
1995	—	`conf`	An Imprecise Real-Time Video Transmission Algorithm. ICSC Albert Mo Kim Cheng, Xiaofen Huang
1995	—	`conf`	Applying imprecise algorithms to real-time image and video transmissio. IEEE Real Time Technology and Applications Symposium Xiaofen Huang, Albert Mo Kim Cheng
1995	—	`conf`	Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. ICPP (3) Chang-yu Wang, Albert Mo Kim Cheng
1995	J	`jnl`	Response Time Analysis of EQL Real-Time Rule-Based Systems. IEEE Trans. Knowl. Data Eng. Jeng-Rung Chen, Albert Mo Kim Cheng
1994	—	`conf`	A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. ICPP (3) Jeng-Rung Chen, Albert Mo Kim Cheng
1994	B	`conf`	Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. ICTAI Jeng-Rung Chen, Albert Mo Kim Cheng
1994	A*	`conf`	Termination Analysis of OPS5 Expert Systems. AAAI Hsiu-yen Tsai, Albert Mo Kim Cheng
1993	C	`conf`	A New Complexity Metric for OPS5 Rule-Based Systems. SEKE Albert Mo Kim Cheng
1993	J	`jnl`	Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang
1993	—	`conf`	Parallel Execution of Real-Time Rule-Based Systems. IPPS Albert Mo Kim Cheng
1992	B	`conf`	Self-Stabilizing Real-Time Rule-Based Systems. SRDS Albert Mo Kim Cheng
1990	A	`conf`	MRL: A Real-Time Rule-Based Production System. RTSS C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng