Login / Signup
A general framework for static profiling of parametric resource usage.
Pedro López-García
Maximiliano Klemen
Umer Liqat
Manuel V. Hermenegildo
Published in:
Theory Pract. Log. Program. (2016)
Keyphrases
</>
resource usage
resource management
resource allocation
resource consumption
real time
resource sharing
databases