Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers.
Yonghui LiBenny AkessonKai LampkaKees GoossensPublished in: RTAS (2016)
Keyphrases
- real time
- control system
- low cost
- real time database systems
- limited memory
- scheduling problem
- multi threaded
- dynamic environments
- real time systems
- scheduling algorithm
- reinforcement learning
- control strategy
- timing constraints
- dynamic aspects
- shop floor
- real time control
- formal verification
- control loop
- resource consumption
- memory space
- memory usage
- main memory
- operating system
- high speed
- response time
- lower bound
- neural network