Sciweavers

5777 search results - page 23 / 1156
» The palladio component model
Sort
View
DFT
2005
IEEE
90views VLSI» more  DFT 2005»
14 years 1 months ago
On the Modeling and Analysis of Jitter in ATE Using Matlab
This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually an...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
CBSE
2009
Springer
14 years 2 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
MODELS
2007
Springer
14 years 1 months ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...
IFIPTCS
2000
13 years 11 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
CBSE
2009
Springer
13 years 11 months ago
Domain-Specific Software Component Models
We believe that for developing applications in a specific domain, the best kindofsoftwarecomponent model touseis adomain-specificone. Wealso believe that current component models i...
Kung-Kiu Lau, Faris M. Taweel