Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Dániel Varró, András Pataricza	Generic and Meta-transformations for Model Transformation Engineering.	UML	2004	DBLP DOI BibTeX RDF	meta-transformation, generic transformation, model transformation, metamodeling
28	Albert Cohen 0001, Sylvain Girbal, Olivier Temam	A Polyhedral Approach to Ease the Composition of Program Transformations.	Euro-Par	2004	DBLP DOI BibTeX RDF
28	Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Energy-Optimizing Source Code Transformations for OS-driven Embedded Software.	VLSI Design	2004	DBLP DOI BibTeX RDF
28	Hartmut Ehrig, Julia Padberg	Graph Grammars and Petri Net Transformations.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Tat Kee Tan, Anand Raghunathan, Niraj K. Jha	Software Architectural Transformations: A New Approach to Low Energy Embedded Software.	DATE	2003	DBLP DOI BibTeX RDF
28	Cédric Bastoul, Albert Cohen 0001, Sylvain Girbal, Saurabh Sharma, Olivier Temam	Putting Polyhedral Loop Transformations to Work.	LCPC	2003	DBLP DOI BibTeX RDF
28	Youtao Zhang, Rajiv Gupta 0001	Data Compression Transformations for Dynamically Allocated Data Structures.	CC	2002	DBLP DOI BibTeX RDF
28	Henrik Gustavsson, Brian Lings	CASE-Tool Interchange of Design Transformations.	BNCOD	2001	DBLP DOI BibTeX RDF
28	Hoda Fahmy, Richard C. Holt	Using Graph Rewriting to Specify Software Architectural Transformations.	ASE	2000	DBLP DOI BibTeX RDF
28	Somnath Ghosh, Margaret Martonosi, Sharad Malik	Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity.	ASPLOS	1998	DBLP DOI BibTeX RDF
28	Inki Hong, Darko Kirovski, Miodrag Potkonjak	Potential-Driven Statistical Ordering of Transformations.	DAC	1997	DBLP DOI BibTeX RDF
28	Hirobumi Nishida	Automatic Construction of Structural Models Incorporating Discontinuous Transformations.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	learning, Character recognition, handwriting recognition, shape analysis, structural model, shape transformation
28	Peter Vanbekbergen, Bill Lin 0001, Gert Goossens, Hugo De Man	A generalized state assignment theory for transformations on signal transition graphs.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
28	Reinhold Heckmann	A Functional Language for the Specification of Complex Tree Transformations.	ESOP	1988	DBLP DOI BibTeX RDF
28	Flemming Nielson	Program Transformations in a Denotational Setting.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
27	Martin Palkovic, Francky Catthoor, Henk Corporaal	Trade-offs in loop transformations.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Data transfer and storage exploration, cost components, optimization, loop transformations, trade-offs
27	Elvinia Riccobene, Patrizia Scandurra	Model transformations in the UPES/UPSoC development process for embedded systems.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design
27	Jan Erik Moström, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Kate Sanders 0001, Lynda Thomas, Carol Zander	Computer science student transformations: changes and causes.	ITiCSE	2009	DBLP DOI BibTeX RDF	student biographies, transformations, threshold concepts
27	Emmad Saadeh, Derrick G. Kourie	Composite refactoring using fine-grained transformations.	SAICSIT	2009	DBLP DOI BibTeX RDF	FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive
27	Sjoerd Meijer, Hristo Nikolov, Todor P. Stefanov	On compile-time evaluation of process partitioning transformations for Kahn process networks.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	programming of MPSoC, transformations, Kahn process networks
27	Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune De Sosa	Feature-oriented refinement of models, metamodels and model transformations.	FOSD	2009	DBLP DOI BibTeX RDF	XAK, modeling, models, refinements, model transformations, metamodels, AHEAD
27	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
27	Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard	Towards a Framework for Explicit Platform-Based Transformations.	ISORC	2008	DBLP DOI BibTeX RDF	Platform-Based, SRM, UML, model transformations, MDE, MARTE
27	Calin Glitia, Pierre Boulet	High Level Loop Transformations for Systematic Signal Processing Embedded Applications.	SAMOS	2008	DBLP DOI BibTeX RDF	Multidimensional Dataflow, optimizations, loop transformations
27	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
27	Maciej Paszynski, Anna Paszynska	Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method.	PPAM	2007	DBLP DOI BibTeX RDF	CP-graph grammar, Parallel computations, Finite Element Method, graph transformations, hp adaptivity
27	Ivan Kurtev	State of the Art of QVT: A Model Transformation Language Standard.	AGTIVE	2007	DBLP DOI BibTeX RDF	MDA, Model transformations, MDE, QVT
27	Dong Xu, Wei Chen 0001, Hongxin Zhang 0001, Hujun Bao	Multi-level differential surface representation based on local transformations.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Multi-level editing, Detail representation, Local transformations, Surface reconstruction, Large deformation
27	Igor Ivkovic, Kostas Kontogiannis	A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations.	CSMR	2006	DBLP DOI BibTeX RDF	software architecture refactoring, qualitydriven re-engineering, software evolution, model transformations, UML profiles
27	Giovanni Agosta, Gianluca Palermo, Cristina Silvano	Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems.	SAC	2004	DBLP DOI BibTeX RDF	hardware/software co-exploration, embedded systems, low-power design, source code transformations
27	Michelle Mills Strout, Paul D. Hovland	Metrics and models for reordering transformations.	Memory System Performance	2004	DBLP DOI BibTeX RDF	inspector/executor, locality metrics, run-time reordering transformations, spatial locality graph, temporal locality hypergraph, optimization, data locality
27	Björn Franke, Michael F. P. O'Boyle	Array recovery and high-level transformations for DSP applications.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	Pointer conversion, high-level transformations, embedded processors, dataflow graphs
27	Gerardo Canfora, Luigi Cerulo	A visual approach to define XML to FO transformations.	SEKE	2002	DBLP DOI BibTeX RDF	document presentation, extensible markup, extensible stylesheet language transformations (XSL-T), formatting objects (FO), language (XML), visual languages
27	Konstantina Karagianni, Vassilis Paliouras, George Diamantakos, Thanos Stouraitis	Operation-Saving VLSI Architectures for 3D Geometrical Transformations.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Elementary geometrical transformations, vector unit, VLSI architecture, graphics processor
27	Lionel Villard	Authoring transformations by direct manipulation for adaptable multimedia presentations.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	incremental transformations, XML, XML, multimedia, XSLT, authoring tools, document model
27	Michael R. Blaha, William J. Premerlani	A Catalog of Object Model Transformations.	WCRE	1996	DBLP DOI BibTeX RDF	object model transformations, model optimization, code manipulation, reverse engineering, software development, application, object oriented model, object-oriented methods, model abstraction, OMT, model refinement
27	Björn Lisper	Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.	CAAP	1996	DBLP DOI BibTeX RDF	reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism
27	Arun Balakrishnan, Srimat T. Chakradhar	Software transformations for sequential test generation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	sequential test generation, high fault coverage test sets, testability properties, inverse mapping, software engineering, logic testing, timing, design for testability, sequential circuits, sequential circuits, DFT, software model, software transformations
27	Chien-Min Wang, Sheng-De Wang	Efficient Processor Assignment Algorithms and Loop Transformations for Executing Nested Parallel Loops on Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	processor assignment algorithms, nested parallel loops, performance, parallel algorithms, parallel programming, multiprocessors, program compilers, loop transformations, parallel processors, parallel execution
27	Adrien Bartoli	Groupwise Geometric and Photometric Direct Image Registration.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
27	Behzad Bordbar, Gareth Howells 0001, Michael Evans, Athanasios Staikopoulos	Model Transformation from OWL-S to BPEL Via SiTra.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
27	Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, Eduard Ayguadé	Static and Dynamic Locality Optimizations Using Integer Linear Programming.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	cache miss estimation, compiler optimizations, integer linear programming, Data reuse, cache locality, memory layouts
27	Harpreet S. Sawhney, Rakesh Kumar 0001	True Multi-Image Alignment and Its Application to Mosaicing and Lens Distortion Correction.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	lens distortion correction, Image sequence analysis, video mosaics
27	Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens	On the completeness of object-creating database transformation languages.	J. ACM	1997	DBLP DOI BibTeX RDF	computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation
26	Luca D'Acci	Spatial Distribution of Social Benefit Given by Urban Attractions: A Test of UrAD Model.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Urban transformations, pleasantness of urban life, social benefit, spatial distribution
26	Sumit Gupta, Rajesh K. Gupta 0001, Nikil D. Dutt, Alexandru Nicolau	Coordinated parallelizing compiler optimizations and high-level synthesis.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	dynamic CSE, parallelizing transformations, presynthesis, embedded systems, high-level synthesis, Code motions, common subexpression elimination
26	Byoungro So, Mary W. Hall, Pedro C. Diniz	A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems.	PLDI	2002	DBLP DOI BibTeX RDF	reuse analysis, design space exploration, loop transformations, data dependence analysis
26	Jairo Rocha, Theodosios Pavlidis	A Shape Analysis Model with Applications to a Character Recognition System.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	shape analysis model, multifont printed characters, character shapes, relative distortion, flexible matching, flexible grouping, hand-printed numerals, robustness, image sequences, noise, character recognition, distortion, shape transformations, structural descriptions, minimization problem, character recognition system
26	Elie Richa, Etienne Borde, Laurent Pautet	Translating ATL Model Transformations to Algebraic Graph Transformations.	ICMT	2015	DBLP DOI BibTeX RDF
26	Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan	A practical automatic polyhedral parallelizer and locality optimizer.	PLDI	2008	DBLP DOI BibTeX RDF	tiling, automatic parallelization, loop transformations, affine transformations, locality optimization, polyhedral model
25	Krzysztof Czarnecki 0001, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger	Bidirectional Transformations: A Cross-Discipline Perspective.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
25	Vittorio Cortellessa, Sara Di Gregorio, Antinisca Di Marco	Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?	WOSP	2008	DBLP DOI BibTeX RDF	atlas transformation language (ATL), unified modeling language (UML), model transformation, software performance modeling
25	Pieter Van Gorp	Model-Driven Development of Model Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
25	Perdita Stevens	Towards an Algebraic Theory of Bidirectional Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Claudia Ermel	Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
25	Christian Fuss, Verena E. Tuttlies	Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages.	AGTIVE	2007	DBLP DOI BibTeX RDF
25	Fabian Büttner, Martin Gogolla	Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.	ICGT	2006	DBLP DOI BibTeX RDF
25	Tobias Rötschke	Re-engineering a Medical Imaging System Using Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
25	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
24	Byunghyun Jang, Perhaad Mistry, Dana Schaa, Rodrigo Dominguez, David R. Kaeli	Data transformations enabling loop vectorization on multithreaded data parallel architectures.	PPoPP	2010	DBLP DOI BibTeX RDF	loop vectorization, gpgpu, data transformation
24	Val Tannen	Provenance for database transformations.	EDBT	2010	DBLP DOI BibTeX RDF
24	M. Seetharama Gowda, Jiyuan Tao	Z-transformations on proper and symmetric cones.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C33, 17C55, 15A48, 37B25
24	Iván García-Magariño, Rubén Fuentes-Fernández, Jorge J. Gómez-Sanz	INGENIAS Development Process Assisted with Chains of Transformations.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Transformation By-Example, INGENIAS, Multi-Agent Systems, Model Transformation, Model-Driven Development
24	Yu Sun 0002, Jeff Gray 0001, Jules White	MT-scribe: a tool for recording and inferring model transformations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	mt-scribe, model transformation, demonstration
24	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
24	Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham	Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL.	VLSI Design	2009	DBLP DOI BibTeX RDF
24	Leon Bobrowski, Magdalena Topczewska	Induction of Similarity Measures for Case Based Reasoning Through Separable Data Transformations.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
24	Enrique San Millán, Luis Entrena, José Alberto Espejo	Logic Transformations by Multiple Wire Network Addition.	DSD	2008	DBLP DOI BibTeX RDF
24	Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim	From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
24	Harald Devos, Kristof Beyls, Mark Christiaens, Jan M. Van Campenhout, Erik H. D'Hollander, Dirk Stroobandt	Finding and Applying Loop Transformations for Generating Optimized FPGA Implementations.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
24	Maher Lamari	Towards an automated test generation for the verification of model transformations.	SAC	2007	DBLP DOI BibTeX RDF	MDA (Model Driven Architecture), input test models, model transformation, test case generation, automated verification
24	Perdita Stevens	Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.	MoDELS	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, QVT
24	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann 0001, Gabriele Taentzer	Information Preserving Bidirectional Model Transformations.	FASE	2007	DBLP DOI BibTeX RDF
24	Paulo Carreira 0001, Helena Galhardas, João Pereira 0002, Andrzej Wichert	On Handling One-to-Many Transformations in Relational Systems.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Data Integration, Query optimization, Data Warehousing, Data Cleaning, ETL
24	Tobias Storch	On the impact of objective function transformations on evolutionary and black-box algorithms.	Genet. Program. Evolvable Mach.	2006	DBLP DOI BibTeX RDF	Black-box algorithm, Evolutionary algorithm, Runtime analysis
24	Mark Heffernan, Kent D. Wilken, Ghassan Shobaki	Data-Dependency Graph Transformations for Superblock Scheduling.	MICRO	2006	DBLP DOI BibTeX RDF
24	Stefan Hetzl, Alexander Leitsch	Proof Transformations and Structural Invariance.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
24	Tapio Pahikkala, Jorma Boberg, Aleksandr Mylläri, Tapio Salakoski	Incorporating External Information in Bayesian Classifiers Via Linear Feature Transformations.	FinTAL	2006	DBLP DOI BibTeX RDF
24	Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow	Model Transformations? Transformation Models!	MoDELS	2006	DBLP DOI BibTeX RDF
24	Florent Perronnin, Jean-Luc Dugelay, Kenneth Rose	A Probabilistic Model of Face Mapping with Local Transformations and Its Application to Person Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
24	Mark Heffernan, Kent D. Wilken	Data-Dependency Graph Transformations for Instruction Scheduling.	J. Sched.	2005	DBLP DOI BibTeX RDF	compiler scheduling, graph transformation, instruction scheduling, optimal scheduling
24	Marek Domanski, Krzysztof Rakowski	Error accumulation in multiple cycles of still image compression and color transformations.	ICIP (1)	2005	DBLP DOI BibTeX RDF
24	Swarup Kumar Sahoo, Gagan Agrawal	Data Centric Transformations on Non-Integer Iteration Spaces.	IEEE PACT	2005	DBLP DOI BibTeX RDF
24	K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens	Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code.	DATE	2005	DBLP DOI BibTeX RDF
24	Paulo J. F. Carreira, Helena Galhardas, João Pereira 0002, Antónia Lopes	Data Mapper: An Operator for Expressing One-to-Many Data Transformations.	DaWaK	2005	DBLP DOI BibTeX RDF
24	Tom Mens	On the Use of Graph Transformations for Model Refactoring.	GTTSE	2005	DBLP DOI BibTeX RDF
24	Santiago Meliá, Andreas Kraus, Nora Koch	MDA Transformations Applied to Web Application Development.	ICWE	2005	DBLP DOI BibTeX RDF
24	Taliver Heath, Eduardo Pinheiro, Jerry Hom, Ulrich Kremer, Ricardo Bianchini	Code Transformations for Energy-Efficient Device Management.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
24	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Program transformations for re-engineering C++ components [OOPSLA/GPCE].	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
24	Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre	Using XML Transformations for Enterprise Architectures.	ISoLA	2004	DBLP DOI BibTeX RDF
24	Ladan Tahvildari, Kostas Kontogiannis	Developing a Multi-Objective Decision Approach to Select Source-Code Improving Transformations.	ICSM	2004	DBLP DOI BibTeX RDF
24	Alexander Christoph	Describing Horizontal Model Transformations with Graph Rewriting Rules.	MDAFA	2004	DBLP DOI BibTeX RDF
24	Tony Clark 0001, Andy Evans, Paul Sammut, James S. Willans	Transformation Language Design: A Metamodelling Foundation.	ICGT	2004	DBLP DOI BibTeX RDF
24	Victor De La Luz, Mahmut T. Kandemir, Ismail Kadayif, Ugur Sezer	Generalized Data Transformations for Enhancing Cache Behavior.	DATE	2003	DBLP DOI BibTeX RDF
24	Martin Erwig	Toward the Automatic Derivation of XML Transformations.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
24	Dmitry Kinoshenko, Vladimir Mashtalir, Alexander Orlov, Elena Yegorova	Method of Creating of Functional Invariants under One-Parameter Geometric Image Transformations.	DAGM-Symposium	2003	DBLP DOI BibTeX RDF
24	Vincent Arsigny, Xavier Pennec, Nicholas Ayache	Polyrigid and Polyaffine Transformations: A New Class of Diffeomorphisms for Locally Rigid or Affine Registration.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
24	Francesco Parisi-Presicce	A Formal Framework for Petri Net Class Transformations.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
24	Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta 0001, Alexandru Nicolau	SPARK: A High-Lev l Synthesis Framework For Applying Parallelizing Compiler Transformations.	VLSI Design	2003	DBLP DOI BibTeX RDF
24	Ahmed Bouajjani, Tayssir Touili	Extrapolating Tree Transformations.	CAV	2002	DBLP DOI BibTeX RDF