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

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.
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 Item Control Page