Whole-Systems Energy Transparency

  • Kafle, Bishoksan (Projektdeltager)

    Projekter: ProjektForskning

    Projektdetaljer

    Beskrivelse

    ENTRA is a 3-year research project funded by the EU 7th Framework Programme Future and Emerging Technologies (FET). The project runs from the 1st October 2012 to the 30th September 2015 and aims to promote “energy-aware” software development using advanced program analysis and modelling of energy consumption in computer systems. The project will facilitate predictions of energy consumption to be made early in the software design phase, thus enabling the development of greener IT products.
    AkronymENTRA
    StatusAfsluttet
    Effektiv start/slut dato01/10/201230/09/2015

    Finansiering

    • EU FP7

    Publikationer

    • 3 Konferencebidrag i proceedings
    • 1 Tidsskriftartikel

    Constraint Specialisation in Horn Clause Verification

    Kafle, B. & Gallagher, J. P., 4 jan. 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (red.). New York: Association for Computing Machinery, s. 85-90 6 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil

    Tree automata-based refinement with application to Horn clause verification

    Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (red.). Springer, Bind 8931. s. 209-226 18 s. (Lecture Notes in Computer Science; Nr. 8931).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil

    Analysis and Transformation Tools for Constrained Horn Clause Verification

    Kafle, B. & Gallagher, J. P., 21 jul. 2014, I : Theory and Practice of Logic Programming. 14, 4-5, s. 90-101 12 s., 4-5.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Fil

    Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

    Kafle, B. & Gallagher, J. P., 2 dec. 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (red.). EPTCS, Bind 169. s. 53-67 15 s. 7

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil