Login / Signup
Caixu Zhao
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 4
Top Topics
Timed Automata
Petri Net
Active Rules
Execution Model
Top Venues
IEEE Embed. Syst. Lett.
HPCC/SmartCity/DSS
EMSOFT
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Bo Zhang
,
Caixu Zhao
,
Xi Li
External Timed I/O Semantics Preserving Utilization Optimization for LET-Based Effect Chain.
IEEE Embed. Syst. Lett.
15 (4) (2023)
Bo Wan
,
Xi Li
,
Bo Zhang
,
Caixu Zhao
,
Xianglan Chen
,
Chao Wang
,
Xuehai Zhou
DCW: A Reactive and Predictable Programming Framework for LET-Based Distributed Real-Time Systems.
ACM Trans. Design Autom. Electr. Syst.
24 (3) (2019)
Kaiqi Zhou
,
Bo Wan
,
X. I. Li
,
B. O. Zhang
,
Caixu Zhao
,
Chao Wang
Supporting Predictable Servant-Based Execution Model on Multicore Platforms.
HPCC/SmartCity/DSS
(2018)
Bo Wan
,
Bo Zhang
,
Xi Li
,
Kaiqi Zhou
,
Caixu Zhao
,
Chao Wang
,
Xuehai Zhou
: a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progress.
EMSOFT
(2018)