Sciweavers

15635 search results - page 423 / 3127
» A Designing Model of XML-Dataweb
Sort
View
ICSE
2005
IEEE-ACM
16 years 6 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
ETFA
2005
IEEE
16 years 13 days ago
Modelling of distributed system in one single simulation model: a way to study communications within distributed systems
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
G. Christine, G. Emilie
ENTCS
2010
84views more  ENTCS 2010»
15 years 6 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
16 years 13 days ago
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, S...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Stability of model predictive control based on reduced-order models
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
Svein Hovland, Christian Løvaas, Jan Tommy ...