3921 search results - page 104 / 785 » Transforming Models with ATL |
104
Voted
ECEASST
2010
14 years 7 months ago
2010
In recent years, model-driven approaches and processes have1 established themselves as pragmatic and feasible solutions with tangible2 advantages. Transformations play a central ro...
107
click to vote
ASIAN
1999
Springer
15 years 5 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
124
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
105
Voted
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
108
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...