1861 search results - page 5 / 373 » Performance modeling of component assemblies |
MSOM
2010
14 years 8 months ago
2010
: In a decentralized assembly supply chain, independent suppliers produce a set of complementary components from which an assembler assembles a final product and sells it to the ma...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
ASM
2010
ASM
15 years 4 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
ADT
2005
14 years 9 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...