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
Official URL: http://dx.doi.org/10.1145/1244002.1244285
Actions (Repository Editors)
 |
Item Control Page |