Sciweavers

3914 search results - page 241 / 783
» Automating SLA modeling
Sort
View
MODELS
2010
Springer
13 years 6 months ago
A Comparison of Model Migration Tools
Abstract. Modelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid re...
Louis M. Rose, Markus Herrmannsdoerfer, James R. W...
DAC
2004
ACM
14 years 9 months ago
Statistical timing analysis based on a timing yield model
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
Farid N. Najm, Noel Menezes
CADE
2004
Springer
14 years 8 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
PRIMA
2009
Springer
14 years 2 months ago
Gaia Agents Implementation through Models Transformation
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
Nikolaos I. Spanoudakis, Pavlos Moraitis
ISQED
2007
IEEE
151views Hardware» more  ISQED 2007»
14 years 2 months ago
Wavelet-Based Passivity Preserving Model Order Reduction for Wideband Interconnect Characterization
Model order reduction plays a key role in determining VLSI system performance and the optimization of interconnects. In this paper, we develop an accurate and provably passive met...
Mehboob Alam, Arthur Nieuwoudt, Yehia Massoud