Interpreting energy profiles with CEGAR

Steven te Brinke

doi:10.1145/2554850.2555194

Interpreting energy profiles with CEGAR

Steven te Brinke

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

58 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	1221-1222
Number of pages	2
ISBN (Print)	978-1-4503-2469-4
DOIs	https://doi.org/10.1145/2554850.2555194
Publication status	Published - Mar 2014
Event	29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of Duration: 24 Mar 2014 → 28 Mar 2014 Conference number: 29

Publication series

Name
Publisher	ACM

Conference

Conference	29th Annual ACM Symposium on Applied Computing, SAC 2014
Abbreviated title	SAC
Country/Territory	Korea, Republic of
City	Gyeongju
Period	24/03/14 → 28/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

Access to Document

10.1145/2554850.2555194

src-jouleunit

Cite this

@inproceedings{13ca7a621cbc41f3ad0a7f1169f425e0,

title = "Interpreting energy profiles with CEGAR",

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

author = "{te Brinke}, Steven",

note = "eemcs-eprint-24204 ; 29th Annual ACM Symposium on Applied Computing, SAC 2014 ; Conference date: 24-03-2014 Through 28-03-2014",

year = "2014",

month = mar,

doi = "10.1145/2554850.2555194",

language = "Undefined",

isbn = "978-1-4503-2469-4",

publisher = "Association for Computing Machinery",

pages = "1221--1222",

booktitle = "Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014",

address = "United States",

}

TY - GEN

T1 - Interpreting energy profiles with CEGAR

AU - te Brinke, Steven

N1 - Conference code: 29

PY - 2014/3

Y1 - 2014/3

KW - minimal abstraction

KW - EWI-24204

KW - CR-D.2.2

KW - Modularity

KW - METIS-303982

KW - Resource-utilization model

KW - IR-88974

KW - CEGAR

KW - Model Checking

KW - Energy-aware software

U2 - 10.1145/2554850.2555194

DO - 10.1145/2554850.2555194

M3 - Conference contribution

SN - 978-1-4503-2469-4

SP - 1221

EP - 1222

BT - Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014

PB - Association for Computing Machinery

CY - New York

T2 - 29th Annual ACM Symposium on Applied Computing, SAC 2014

Y2 - 24 March 2014 through 28 March 2014

ER -