Verifying parallel programs with resource allocation.
Susan S. OwickiPublished in: Mathematical Studies of Information Processing (1978)
Keyphrases
- resource allocation
- resource management
- resource allocation problems
- optimal resource allocation
- allocation strategies
- allocation problems
- game theory
- resource requirements
- scarce resources
- resource allocation decisions
- computer programs
- social welfare
- resource availability
- dynamic resource allocation
- combinatorial auctions
- resource usage
- management system
- distributed resource allocation