Bonenfant, Armelle, Chen, Zezhi, Hammond, Kevin, Michaelson, Greg, Wallace, Andy and Wallace, Iain (2007) Towards resource-certified software: a formal cost model for time and its application to an image-processing example. In: ACM Symposium on Applied Computing; 11-15 Mar 2007, Seoul, Korea. ISBN 1595934804
Full text not available from this archive.
Official URL: http://dx.doi.org/10.1145/1244002.1244285
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Event Title: | ACM Symposium on Applied Computing |
| Research Area: | Computer science and informatics |
| Faculty, School or Research Centre: | Faculty of Computing, Information Systems and Mathematics (until 2011) |
| Depositing User: | Automatic Import Agent |
| Date Deposited: | 06 Dec 2011 13:11 |
| Last Modified: | 06 Dec 2011 13:11 |
| URI: | http://eprints.kingston.ac.uk/id/eprint/19585 |
Actions (Repository Editors)
 |
Item Control Page |