Sciweavers

623 search results - page 17 / 125
» Performance Prediction for Component Compositions
Sort
View
ICIP
2000
IEEE
16 years 4 months ago
On the Performance of Temporal Error Concealment for Long-Term Motion-Compensated Prediction
This paper investigates the performance of different temporal concealment techniques when incorporated within a long-term motion compensated video codec. In particular, the paper ...
Mohammed E. Al-Mualla, Cedric Nishan Canagarajah, ...
QOSA
2009
Springer
15 years 10 months ago
Adaptive Application Composition in Quantum Chemistry
Abstract. Component interfaces, as advanced by the Common Component Architecture (CCA), enable easy access to complex software packages for high-performance scientific computing. ...
Li Li, Joseph P. Kenny, Meng-Shiou Wu, Kevin A. Hu...
EUROMICRO
2006
IEEE
15 years 9 months ago
Real-Time Modelling of Distributed Component-Based Applications
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
Patricia López Martínez, Julio L. Me...
IEE
2010
136views more  IEE 2010»
15 years 1 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
115
Voted
COMPOS
1997
Springer
15 years 7 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy