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

Actions (Repository Editors)

Item Control Page Item Control Page