View in EDS PDF Full Text

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

Saved in:
Bibliographic Details
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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: msf
DbLabel: Mathematics Source
An: 129602169
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22LOPEZ-GARCIA%2C+P%2E%22">LOPEZ-GARCIA, P.</searchLink><relatesTo>1,2</relatesTo><i> pedro.lopez@imdea.org</i><br /><searchLink fieldCode="AR" term="%22DARMAWAN%2C+L%2E%22">DARMAWAN, L.</searchLink><relatesTo>1</relatesTo><i> luthfi.darmawan@imdea.org</i><br /><searchLink fieldCode="AR" term="%22KLEMEN%2C+M%2E%22">KLEMEN, M.</searchLink><relatesTo>1,3</relatesTo><i> maximiliano.klemen@imdea.org</i><br /><searchLink fieldCode="AR" term="%22LIQAT%2C+U%2E%22">LIQAT, U.</searchLink><relatesTo>1,3</relatesTo><br /><searchLink fieldCode="AR" term="%22BUENO%2C+F%2E%22">BUENO, F.</searchLink><relatesTo>3</relatesTo><i> bueno@fi.upm.es</i><br /><searchLink fieldCode="AR" term="%22HERMENEGILDO%2C+M%2E+V%2E%22">HERMENEGILDO, M. V.</searchLink><relatesTo>1,3</relatesTo><i> manuel.hermenegildo@imdea.org</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Theory+%26+Practice+of+Logic+Programming%22">Theory & Practice of Logic Programming</searchLink>. Mar2018, Vol. 18 Issue 2, p167-223. 57p.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=msf&AN=129602169
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1017/S1471068418000042
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 57
        StartPage: 167
    Titles:
      – TitleFull: Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: LOPEZ-GARCIA, P.
      – PersonEntity:
          Name:
            NameFull: DARMAWAN, L.
      – PersonEntity:
          Name:
            NameFull: KLEMEN, M.
      – PersonEntity:
          Name:
            NameFull: LIQAT, U.
      – PersonEntity:
          Name:
            NameFull: BUENO, F.
      – PersonEntity:
          Name:
            NameFull: HERMENEGILDO, M. V.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2018
              Type: published
              Y: 2018
          Identifiers:
            – Type: issn-print
              Value: 14710684
          Numbering:
            – Type: volume
              Value: 18
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Theory & Practice of Logic Programming
              Type: main
ResultId 1