Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems.
Jonghun ParkSpyros A. ReveliotisPublished in: IEEE Trans. Robotics Autom. (2000)
Keyphrases
- resource allocation
- resource usage
- resource allocation problems
- resource management
- resource requirements
- scarce resources
- allocation strategies
- resource allocation decisions
- distributed systems
- game theory
- resource sharing
- dynamic resource allocation
- allocate resources
- state space
- temporal constraints
- response time
- supply chain
- management system