Towards resource-certified software: a formal cost model for time and its application to an image-processing example.

Research output: Contribution to conference › Paper › peer-review

Original language	English
DOIs	https://doi.org/10.1145/1244002.1244285
Publication status	Published - Mar 2007
Externally published	Yes
Event	ACM Symposium on Applied Computing - Seoul, Korea Duration: 11 Mar 2007 → 15 Mar 2007

Conference	ACM Symposium on Applied Computing
Period	11/03/07 → 15/03/07

Keywords

@conference{9e6f40569fc54b0dac5ec3d506e14193,

title = "Towards resource-certified software: a formal cost model for time and its application to an image-processing example.",

keywords = "Computer science and informatics",

author = "Kevin Hammond and Greg Michaelson and Andy Wallace and Iain Wallace and Armelle Bonenfant and Zezhi Chen",

year = "2007",

month = mar,

doi = "10.1145/1244002.1244285",

language = "English",

note = "ACM Symposium on Applied Computing ; Conference date: 11-03-2007 Through 15-03-2007",

}

TY - CONF

T1 - Towards resource-certified software

T2 - ACM Symposium on Applied Computing

AU - Hammond, Kevin

AU - Michaelson, Greg

AU - Wallace, Andy

AU - Wallace, Iain

AU - Bonenfant, Armelle

AU - Chen, Zezhi

PY - 2007/3

Y1 - 2007/3

KW - Computer science and informatics

U2 - 10.1145/1244002.1244285

DO - 10.1145/1244002.1244285

M3 - Paper

Y2 - 11 March 2007 through 15 March 2007

ER -