Interpreting energy profiles with CEGAR

Steven te Brinke

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    23 Downloads (Pure)
    Original languageUndefined
    Title of host publicationProceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages1221-1222
    Number of pages2
    ISBN (Print)978-1-4503-2469-4
    DOIs
    Publication statusPublished - Mar 2014
    Event29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of
    Duration: 24 Mar 201428 Mar 2014
    Conference number: 29

    Publication series

    Name
    PublisherACM

    Conference

    Conference29th Annual ACM Symposium on Applied Computing, SAC 2014
    Abbreviated titleSAC
    CountryKorea, Republic of
    CityGyeongju
    Period24/03/1428/03/14

    Keywords

    • minimal abstraction
    • EWI-24204
    • CR-D.2.2
    • Modularity
    • METIS-303982
    • Resource-utilization model
    • IR-88974
    • CEGAR
    • Model Checking
    • Energy-aware software

    Cite this

    te Brinke, S. (2014). Interpreting energy profiles with CEGAR. In Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014 (pp. 1221-1222). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2554850.2555194