Login / Signup
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.
Anna Philippou
Insup Lee
Oleg Sokolsky
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
formal analysis
resource allocation
resource constraints
resource requirements
scheduling problem
formal methods
scheduling algorithm
electricity markets
hierarchical structure
information systems
lightweight
resource management
agent model