3888 search results - page 103 / 778 » Change-Driven Model Transformations |
151
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
119
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
151
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
131
click to vote
IRFC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...