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

@inproceedings{Bonenfant2007TowardsRS,
  title={Towards resource-certified software: a formal cost model for time and its application to an image-processing example},
  author={Armelle Bonenfant and Zezhi Chen and Kevin Hammond and Greg J. Michaelson and Andrew M. Wallace and Iain Wallace},
  booktitle={SAC},
  year={2007}
}
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… CONTINUE READING