Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000042
Abstract: Abstract Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We present a configurable framework for static resource usage verification where specifications can include data… read more here.
Keywords: resource usage; energy; framework; resource ... See more keywords