Angel: Resource Unification in a.64-bit Microkernel.

Kevin Murray Tim Wilkinson Tom Stiemerling Paul H. J. Kelly

Published in: HICSS (2) (1994)

Keyphrases

higher order
resource allocation
resource management
theorem proving
resource selection
resource constraints
expert systems
bit vector
bit vectors
computer vision
information systems
decision trees
resource sharing
resource requirements
resource usage