Login / Signup
Dynamic Behavior Specification and Dynamic Mapping for Real-Time Embedded Systems: HOPES Approach.
Hanwoong Jung
Chanhee Lee
Shin-Haeng Kang
Sungchan Kim
Hyunok Oh
Soonhoi Ha
Published in:
ACM Trans. Embed. Comput. Syst. (2014)
Keyphrases
</>
dynamic behavior
real time embedded systems
dynamic networks
speed control
high level
neural network
data sets
biological systems
cooperative
knowledge base
specification language
computer vision
formal verification
genetic algorithm
dynamic reconfiguration
information retrieval
database
high level declarative