Login / Signup
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.
Zhennan Fei
Knut Åkesson
Spyros A. Reveliotis
Published in:
CDC (2014)
Keyphrases
</>
resource allocation
resource requirements
resource usage
computer systems
resource management
optimal resource allocation
resource allocation problems
software development
allocation problems
dynamic resource allocation
grid environment
resource consumption
resource availability