Efficient computation of state space over approximation of preemptive real time systems.
Abdelli AbdelkrimDahbia YahiatenePublished in: AICCSA (2008)
Keyphrases
- efficient computation
- real time systems
- state space
- computational efficiency
- real time
- heuristic search
- embedded systems
- scheduling problem
- distributed systems
- dynamic programming
- timing constraints
- window search
- reinforcement learning
- optimal policy
- markov decision processes
- real time database systems
- real time embedded
- object oriented programming language
- architectural model
- similarity measure
- scheduling algorithm
- np hard
- data sets
- partially observable
- database