|
|
JAIST Repository >
著者: "Zhang, Haitao"
10 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2012 | Bounded Model Checking for Concurrent Behavior with Scheduler | ZHANG, Haitao |
| Dec-2014 | DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems | CHENG, Zhuo; ZHANG, Haitao; 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 |
| Sep-2015 | OSEK/VDXアプリケーションのためのモデル検査技術に関する研究 | Zhang, Haitao; ちょう, かいとう; 张, 海涛 |
| 2016 | A case study: SOFL + model checking for OSEK/VDX application | Cheng, Zhuo; Zhang, Haitao; 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 |
| 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 |
|
