Login / Signup

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.

Pedro López-GarcíaLuthfi DarmawanFrancisco Bueno
Published in: ICLP (Technical Communications) (2010)
Keyphrases
  • resource usage
  • resource management
  • resource allocation
  • resource consumption
  • hardware designs
  • real time
  • digital libraries
  • computing environments
  • resource sharing