State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling.
Tzilla ElradN. Krishna KumarPublished in: ICPP (2) (1990)
Keyphrases
- state space
- concurrent programs
- concurrent processes
- heuristic search
- high level
- scheduling problem
- concurrent programming
- reinforcement learning
- dynamic programming
- optimal policy
- resource allocation
- search space
- state abstraction
- markov decision processes
- planning problems
- web applications
- process algebra
- machine learning