Towards Resource-Certified Software: A Formal Cost Model for Time and its Application to an Image-Processing Example

被引:0
|
作者
Bonenfant, Armelle [1 ]
Chen, Zezhi [2 ]
Hammond, Kevin [1 ]
Michaelson, Greg [2 ]
Wallace, Andy [3 ]
Wallace, Iain [3 ]
机构
[1] Univ St Andrews, Sch Comp Sci, St Andrews, Fife, Scotland
[2] Heriot Watt Univ, Comp Sci, Edinburgh, Midlothian, Scotland
[3] Heriot Watt Univ, Elect & Comp Engn, Edinburgh, Midlothian, Scotland
来源
APPLIED COMPUTING 2007, VOL 1 AND 2 | 2007年
关键词
Embedded systems; resource bounds; motion tracking; functional programming;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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.
引用
收藏
页码:1307 / +
页数:3
相关论文
共 5 条
  • [1] THE STUDY OF LOGARITHMIC IMAGE-PROCESSING MODEL AND ITS APPLICATION TO IMAGE-ENHANCEMENT
    DENG, G
    CAHILL, LW
    TOBIN, GR
    IEEE TRANSACTIONS ON IMAGE PROCESSING, 1995, 4 (04) : 506 - 512
  • [2] ARGUS - A PC BASED IMAGE-PROCESSING WORKSTATION - ITS SOFTWARE AND SOME APPLICATION EXAMPLES
    AMBROZY, G
    CSEKE, I
    FAZEKAS, Z
    ZOLD, S
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 135 - 138
  • [3] A Formal Model of Cloud-Deployed Software and its Application to Workflow Processing
    Johnsen, Einar Broch
    Pun, Ka I.
    Tarifa, S. Lizeth Tapia
    2017 25TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2017, : 29 - +
  • [4] A LOW-COST SYSTEM FOR DIGITAL IMAGE-PROCESSING OF MOVING IMAGES IN REAL-TIME - APPLICATION TO X-RAY FLUOROSCOPY
    GOMEZ, LP
    MEJUTO, J
    VIDAL, JJ
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1992, 39 (1-2) : 43 - 49
  • [5] Hidden Markov Model Based Time-Series Images Clustering Algorithm and its Application in Sports Image Processing
    Ding, Yazhi
    Ma, Rong
    RECENT ADVANCES IN ELECTRICAL & ELECTRONIC ENGINEERING, 2016, 9 (01) : 44 - 52