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

Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, Iain Wallace

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Visual tracking requires sophisticated algorithms working in real-time, and often space-limited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive development costs, we propose a high-level programming approach married with predictable and compositional performance metrics. This enables the combination of independently developed program components into coherent software architecture, with certified resource use guarantee. Here, we present our approach and discuss its application to the development and resource analysis of a space bound mean shift algorithm for motion tracking, using the new embedded system-oriented language Hume. Copyright 2007 ACM.

Original languageEnglish
Title of host publicationProceedings of the 2007 ACM Symposium on Applied Computing
Pages1307-1314
Number of pages8
DOIs
Publication statusPublished - 2007
Event2007 ACM Symposium on Applied Computing - Seoul, Korea, Republic of
Duration: 11 Mar 200715 Mar 2007

Conference

Conference2007 ACM Symposium on Applied Computing
CountryKorea, Republic of
CitySeoul
Period11/03/0715/03/07

Keywords

  • Embedded systems
  • Functional programming
  • Motion tracking
  • Resource bounds

Fingerprint Dive into the research topics of 'Towards resource-certified software: A formal cost model for time and its application to an image-processing example'. Together they form a unique fingerprint.

  • Cite this

    Bonenfant, A., Chen, Z., Hammond, K., Michaelson, G., Wallace, A., & Wallace, I. (2007). Towards resource-certified software: A formal cost model for time and its application to an image-processing example. In Proceedings of the 2007 ACM Symposium on Applied Computing (pp. 1307-1314) https://doi.org/10.1145/1244002.1244285