3888 search results - page 141 / 778 » Change-Driven Model Transformations |
121
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Nonlinear registration is mostly performed after initialization by a global, linear transformation (in this work, we focus on similarity transformations), computed by a linear reg...
145
Voted
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
119
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
152
click to vote
LANMR
2007
15 years 6 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
133
click to vote
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...