Whole-Systems Energy Transparency

Publikationer

Publikationer pr. år 2015 2016 2017

• 6 Konferencebidrag i proceedings
• 4 Tidsskriftartikel
• 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2017

  Constraint specialisation in Horn clause verification

  Kafle, B. & Gallagher, J. P., 1 apr. 2017, I: Science of Computer Programming. 137, s. 125-140 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

  Kafle, B. & Gallagher, J. P., jan. 2017, I: Computer Languages, Systems and Structures. 47, Part 1, s. 2-18 17 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
• 2016

  ENTRA: Whole-systems energy transparency

  Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, I: Microprocessors and Microsystems. 47, Part B, s. 278-286 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

• Probabilistic Resource Analysis by Program Transformation

  Kirkeby, M. H. & Rosendahl, M., 2016, I: Lecture Notes in Computer Science. 9964, s. 60-80 21 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review