Sign in
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.
Pedro López-García
Luthfi Darmawan
Francisco 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