Real-Time Imaging最新文献_第10页

Guest editor's introduction: special issue on software engineering of real-time imaging systems 编者按:特邀编辑简介:实时成像系统软件工程专刊

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/j.rti.2003.09.004

Phillip A. Laplante

引用次数: 1

Leveraging object-orientation for real-time imaging systems 利用面向对象的实时成像系统

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/j.rti.2003.09.003

Colin J Neill

引用次数: 3

Title Page- Contents and Index to Volume 9-- Alter hard copy attached and supply press proof 标题页-第9卷的内容和索引-附上修改的硬拷贝并提供印刷证明

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/S1077-2014(03)00120-7

引用次数: 0

A component-based design and compositional verification of a fault-tolerant multimedia communication protocol 基于组件的容错多媒体通信协议设计与组合验证

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/j.rti.2003.09.009

Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal

{"title":"A component-based design and compositional verification of a fault-tolerant multimedia communication protocol","authors":"Anil Hanumantharaya, Purnendu Sinha, Anjali Agarwal","doi":"10.1016/j.rti.2003.09.009","DOIUrl":"10.1016/j.rti.2003.09.009","url":null,"abstract":"<div><p><span>Component-based software engineering is increasingly being adopted in developing a wide range of applications that have high dependability requirements. Continuing along with our ongoing efforts in developing a framework integrating the concepts of component-based design for fault-tolerance and category-theory-based modular composition, in this paper, we present a component-based design of a fault-tolerant multimedia protocol and composition of resulting components through correct-by-construction approach. Essentially, we show how a fault-intolerant program is transformed into a fault-tolerant program with components providing for dependability, namely, detectors and </span>correctors. We first show the correctness of the fault-tolerant program, and then to achieve a rigorous composition out of the fault-intolerant program and fault-tolerant components, we utilize concepts of category theory to develop component-based fault-tolerant program. We illustrate the overall development of a fault-tolerant program with a case study of the label distribution protocol (LDP). The compositional specification and its correctness for the FT-LDP has been realized through a mechanized formal tool called Specware.</p></div>","PeriodicalId":101062,"journal":{"name":"Real-Time Imaging","volume":"9 6","pages":"Pages 401-422"},"PeriodicalIF":0.0,"publicationDate":"2003-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.rti.2003.09.009","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72851573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Index to Volume 9 -Autogenerate from corrected SGML file- Alter hard copy attached- Supply press proof 第9卷的索引-从更正的SGML文件自动生成-附加更改硬拷贝-提供出版社证明

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/S1077-2014(03)00122-0

引用次数: 0

Data memory power optimization and performance exploration of embedded systems for implementing motion estimation algorithms 实现运动估计算法的嵌入式系统的数据存储器功率优化和性能探索

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/j.rti.2003.09.006

K. Tatas , M. Dasygenis , N. Kroupis , A. Argyriou , D. Soudris , A. Thanailakis

引用次数: 2

Kalman filter recipes for real-time image processing 实时图像处理的卡尔曼滤波配方

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/j.rti.2003.09.005

Michael Piovoso, Phillip A. Laplante

{"title":"Kalman filter recipes for real-time image processing","authors":"Michael Piovoso, Phillip A. Laplante","doi":"10.1016/j.rti.2003.09.005","DOIUrl":"10.1016/j.rti.2003.09.005","url":null,"abstract":"<div><p>Kalman filters are an important technique for building fault-tolerance into a wide range of systems, including real-time imaging. From a software engineering perspective, however, it is not easy to build Kalman filters. Each has to be custom designed and most software engineers are not sufficiently grounded in the necessary systems theory to perform this design.</p><p>The contributions of this paper, therefore, are a set of recipes for implementation of the Kalman filter to a variety of real-time imaging settings, the presentation of a set of object-oriented requirements, and a design for a class of Kalman filters suitable for real-time image processing.</p><p>First, we describe the Kalman filter and motivate its use as a mechanism for fault-tolerant computing and sensor fusion. Next, the details of using Kalman filters in imaging applications are discussed and several associated algorithms presented. Then, the advantages of using object-oriented specification, design and languages for the implementation of Kalman filters are explored. Finally, we present a specification and design for a class of Kalman filters, which is suitable for coding. This work extends significantly upon that first appearing in 2003 at an SPIE conference (Laplante and Neill, proceedings of the real-time imaging conference, SPIE, Santa Clara, January 2003, pp. 22–29).</p></div>","PeriodicalId":101062,"journal":{"name":"Real-Time Imaging","volume":"9 6","pages":"Pages 433-439"},"PeriodicalIF":0.0,"publicationDate":"2003-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.rti.2003.09.005","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74917432","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 41

Contents of Volume 9- Autogenerate from corrected SGML files - alter hard copy attached - supply press proof 第9卷的内容-从更正的SGML文件自动生成-更改硬拷贝附件-提供出版社证明

Real-Time Imaging Pub Date : 2003-12-01 DOI: 10.1016/S1077-2014(03)00121-9

引用次数: 0

Enhanced multiscale skeletons 增强的多尺度骨架

Real-Time Imaging Pub Date : 2003-10-01 DOI: 10.1016/j.rti.2003.08.002

Luciano da Fontoura Costa

引用次数: 4

Video analysis of human dynamics—a survey 人体动力学的视频分析——一项调查

Real-Time Imaging Pub Date : 2003-10-01 DOI: 10.1016/j.rti.2003.08.001

Jessica JunLin Wang, Sameer Singh

引用次数: 181