Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
Saved in:
| Title: | Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. |
|---|---|
| Authors: | LOPEZ-GARCIA, P.1,2 pedro.lopez@imdea.org, DARMAWAN, L.1 luthfi.darmawan@imdea.org, KLEMEN, M.1,3 maximiliano.klemen@imdea.org, LIQAT, U.1,3, BUENO, F.3 bueno@fi.upm.es, HERMENEGILDO, M. V.1,3 manuel.hermenegildo@imdea.org |
| Source: | Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p167-223. 57p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068418000042 |
