Filters








7,436 Hits in 2.4 sec

Generic Model Transformations: Write Once, Reuse Everywhere [chapter]

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2011 Lecture Notes in Computer Science  
Taking inspiration from generic programming, in this paper we define model transformation templates.  ...  The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL.  ...  Here we were able to follow the motto "write once, reuse everywhere" by designing a suitable concept and defining the transformation over the concept.  ... 
doi:10.1007/978-3-642-21732-6_5 fatcat:aet5a6vbtbgfnpiblndwoduaxi

Modeling and Code Generation of Android Applications Using Acceleo

Hanane BENOUDA, Redouane ESSBAI, Mostafa AZIZI, Mimoun MOUSSAOUI
2016 International Journal of Software Engineering and Its Applications  
Model Driven Architecture approach expects to replace the slogan "Write once, Run everywhere" by "Model once, Generate anywhere".  ...  Its object is to make automatic transformations of models up to the generation of the code which implements the software.  ...  Their paper describes the approach based on the analysis and design of the PIM model by using UML diagram, and then enriched with stereotypes to get the model PSM, once the PIM to PSM transformation is  ... 
doi:10.14257/ijseia.2016.10.3.08 fatcat:yusttdmk4rb6rfpaozdvug2eru

Localized model transformations for building large-scale transformations

Anne Etien, Alexis Muller, Thomas Legrand, Richard F. Paige
2013 Journal of Software and Systems Modeling  
Model transformation is a critical part of the use of MDE.  ...  We present an approach to designing large model transformations for large languages, based on the principle of separation of concerns.  ...  In the MemoryMapping transformation, the memory concept is everywhere.  ... 
doi:10.1007/s10270-013-0379-8 fatcat:rwpbcge5gnbw5axrmtxwfle4ba

Unitary subsector of generalized minimal models

Connor Behan
2018 Physical Review D  
We revisit the line of non-unitary theories that interpolate between the Virasoro minimal models.  ...  However, there is a pleasing non-generic property that holds for generalized minimal models; × contains more operators than σ × σ.  ...  We will need both of these methods when we prove positivity in the generalized minimal models.  ... 
doi:10.1103/physrevd.97.094020 fatcat:c7qjlqmkibhvjor3de5vgb24gu

13 Transforming Archaeology, Transforming Materiality

Rosemary A. Joyce
2015 Archeological Papers of the American Anthropological Association  
He identifies the resulting map as the disconnected dots of his general model: "In mapping as in travel, the trail left as the trace of a gesture is converted into the equivalent of a dotted line" (Ingold  ...  He writes that "De Certeau's trace is inscribed through the act of walking," where walking is understood as a practice through which a person "transforms each spatial signifier into something else," so  ... 
doi:10.1111/apaa.12064 fatcat:nfykzvkuqbbw3ep5vaedn64xye

More Legal Transformations for Locality [chapter]

Cédric Bastoul, Paul Feautrier
2004 Lecture Notes in Computer Science  
Generating code having the best locality is a direct application of this result.  ...  A typical solution is to focus on program parts where the dependences are simple enough to enable any transformation.  ...  Thus there is reuse generated by the reference B[j], and we can exploit it thank to a transformation matrix built with an orthogonal vector to the reuse direction, e.g. [0 1] and its completion to a unimodular  ... 
doi:10.1007/978-3-540-27866-5_36 fatcat:gzsjs4nmjvet5pw4s7b6qqanwy

Deep Variational Transfer: Transfer Learning through Semi-supervised Deep Generative Models [article]

Marouan Belhaj, Pavlos Protopapas, Weiwei Pan
2018 arXiv   pre-print
In this paper, we propose Deep Variational Transfer (DVT), a variational autoencoder that transfers knowledge across domains using a shared latent Gaussian mixture model.  ...  examples of the same class into the same latent Gaussian Mixture component, independently from their domain; (ii) predict the class of unsupervised examples from different domains and use them to better model  ...  We now describe DVT generative and inference models for a single domain. Generative model We propose a probabilistic model that describes the data as being generated from a latent Gaussian Mixture.  ... 
arXiv:1812.03123v1 fatcat:w6xyeguqevbxnekvqisubiyx3u

Automatic Ada Code Generation Using a Model-Driven Engineering Approach [chapter]

Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla
2007 Lecture Notes in Computer Science  
These models will then be used as inputs for another tool which will automatically generate the corresponding Ada code, including a simulation program to test the correctness and performance of the implemented  ...  After defining a modelling language (meta-model) for statemachines, a graphical tool will be presented which is aimed at easing the description and validation of state-machine models.  ...  Once models are close enough to implementation, they can be transformed into a textual representation (e.g. code), using a Model-to-Text (M2T) transformation.  ... 
doi:10.1007/978-3-540-73230-3_13 fatcat:zpdyd7z6sffnrfvyb27bcjgpya

ADJUSTING A PROGRAM TRANSFORMATION FOR LEGALITY

CÉDRIC BASTOUL, PAUL FEAUTRIER
2005 Parallel Processing Letters  
Generating code having the best properties is a direct application of this result.  ...  Two directions are explored: first when transformation properties can be explicitly expressed and second when they are implicit as in the data locality transformation case.  ...  Thus there is reuse generated by the reference B[j], and we can exploit it thank to a transformation matrix built with an orthogonal vector to the reuse direction, e.g. [0 1] and its completion to a unimodular  ... 
doi:10.1142/s0129626405002027 fatcat:6hxhftghofb23don26izdzqqae

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas [chapter]

Hugo Pacheco, Alcino Cunha
2012 Lecture Notes in Computer Science  
Lenses are one of the most popular approaches to define bidirectional transformations between data models.  ...  However, writing a lens transformation typically implies describing the concrete steps that convert values in a source schema to values in a target schema.  ...  XML transformers, to write "out of the box" views of XML Schemas.  ... 
doi:10.1007/978-3-642-30476-7_6 fatcat:c4ui7q5cujhonhqbozpy5jdfou

Specification transformers: a predicate transformer approach to composition

Michel Charpentier, K. Mani Chandy
2004 Acta Informatica  
Explorations of general theories of composition can help identify fundamental issues common to many problem domains. The theory presented here is based on predicate transformers.  ...  The paper studies compositional systems in general without making assumptions that components are computer programs.  ...  Therefore, it has to be done only once and will be reused each time the allocator component is reused. This is an important benefit since such progress proofs are usually difficult.  ... 
doi:10.1007/s00236-003-0130-y fatcat:rxa47tvutfejpg5bvogzoppsoq

Flexible Model-to-Model Transformation Templates: An Application to ATL

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2012 Journal of Object Technology  
Once such a binding is established, our approach automatically instantiates a concrete transformation from the template (step 2), which can be executed on regular instance models of the bound meta-models  ...  A crucial issue to increase the reuse opportunities of a transformation template is to  ...  In summary, in this case study we were able to follow the motto "write once, reuse everywhere" by designing a suitable concept and defining the transformation over the concept.  ... 
doi:10.5381/jot.2012.11.2.a4 fatcat:rheoehjhpvgflaqthyrizammku

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

Peter Baumgartner, Renate A. Schmidt
2019 Journal of automated reasoning  
This paper discusses several ways of enhancing the paradigm of bottom-up model generation, with the two main contributions being a new range-restriction transformation and generalized blocking techniques  ...  Overall, the results show bottom-up model generation methods are good for disproving theorems and generating models for satisfiable problems, but less efficient for unsatisfiable problems.  ...  It follows from how the transformations work that the generated models are quasi-Herbrand models, in the following sense.  ... 
doi:10.1007/s10817-019-09515-1 fatcat:6y2brjuhebhwfnafzgomblrqpe

Synthesizing transformations for locality enhancement of imperfectly-nested loop nests

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali
2000 Proceedings of the 14th international conference on Supercomputing - ICS '00  
The product space is then transformed further to enhance locality, after which fully permutable loops are tiled, and code is generated.  ...  We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops.  ...  The iterations of the loop nest are modeled as points in an integer lattice, and linear loop transformations are modeled as nonsingular matrices mapping one lattice to another.  ... 
doi:10.1145/335231.335245 dblp:conf/ics/AhmedMP00 fatcat:kwkqtl4zujbq7izrjrrmaafpim

Synthesizing transformations for locality enhancement of imperfectly-nested loop nests

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali
2014 25th Anniversary International Conference on Supercomputing Anniversary Volume -  
The product space is then transformed further to enhance locality, after which fully permutable loops are tiled, and code is generated.  ...  We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops.  ...  The iterations of the loop nest are modeled as points in an integer lattice, and linear loop transformations are modeled as nonsingular matrices mapping one lattice to another.  ... 
doi:10.1145/2591635.2667179 fatcat:x3uqhtqh55exzd6guuapwahiui
« Previous Showing results 1 — 15 out of 7,436 results