14 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 18-Apr-2013 | Study of temperature control in cyber-physical home system environment | Cheng, Zhuo; Tan, Yasuo; Lim, Azman Osman |
| Aug-2013 | Study of temperature control using cyber-physical system approach in home environment | Shein, Wai Wai; Cheng, Zhuo; Tan, Yasuo; Lim, Azman Osman |
| Oct-2013 | Energy efficient thermal comfort control for cyber-physical home system | Cheng, Zhuo; Shein, Wai Wai; Tan, Yasuo; Lim, Azman Osman |
| Dec-2014 | DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems | CHENG, Zhuo; ZHANG, Haitao; TAN, Yasuo; LIM, Azman Osman |
| Dec-2014 | Fitting method for hybrid temperature control in smart home environment | CHENG, Zhuo; TAN, Yasuo; LIM, Azman Osman |
| May-2015 | Greedy scheduling with feedback control for overloaded real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Azman Osman |
| 2016 | A case study: SOFL + model checking for OSEK/VDX application | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 1-Mar-2016 | rERA: An optimization algorithm of task dependency graph for scheduling | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
| 30-May-2016 | Scheduling overload for real-time systems using SMT solver | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 12-Jun-2016 | SOFL-based dependency graph generation for scheduling | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 26-Jun-2016 | SMT-based scheduling for multiprocessor real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 8-Nov-2016 | Design and evaluation of hybrid temperature control for cyber-physical home systems | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
| 25-Jul-2016 | A framework for scheduling real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 1-May-2017 | SMT-based scheduling for overloaded real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
