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, Andrew M. Wallace, Iain Wallace

Browse the full SAC paper archive.