Sign in
Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
Jianmin Jiang
Huibiao Zhu
Qin Li
Yongxin Zhao
Lin Zhao
Shi Zhang
Ping Gong
Zhong Hong
Published in:
ACM Trans. Embed. Comput. Syst. (2015)
Keyphrases
</>
reactive systems
model checking
scheduling problem
temporal logic
formal methods
petri net
information flow
state machines
real time systems
resource allocation
concurrent execution
database
scheduling algorithm
intelligent agents
building blocks
low cost
information systems
machine learning