|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7997 occurrences of 3661 keywords
|
|
|
Results
Found 12984 publication records. Showing 12984 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Dániel Varró, András Pataricza |
Generic and Meta-transformations for Model Transformation Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 290-304, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, pp. 292-303, 2004, Springer, 3-540-22924-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India, pp. 261-266, 2004, IEEE Computer Society, 0-7695-2072-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Hartmut Ehrig, Julia Padberg |
Graph Grammars and Petri Net Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 496-536, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 11046-11051, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Cédric Bastoul, Albert Cohen 0001, Sylvain Girbal, Saurabh Sharma, Olivier Temam |
Putting Polyhedral Loop Transformations to Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 209-225, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Youtao Zhang, Rajiv Gupta 0001 |
Data Compression Transformations for Dynamically Allocated Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 14-28, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Henrik Gustavsson, Brian Lings |
CASE-Tool Interchange of Design Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 18th British National Conference on Databases, BNCOD 18, Chilton, UK, July 9-11, 2001, Proceedings, pp. 75-88, 2001, Springer, 3-540-42265-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Hoda Fahmy, Richard C. Holt |
Using Graph Rewriting to Specify Software Architectural Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 187-196, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Somnath Ghosh, Margaret Martonosi, Sharad Malik |
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 228-239, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Inki Hong, Darko Kirovski, Miodrag Potkonjak |
Potential-Driven Statistical Ordering of Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 347-352, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Hirobumi Nishida |
Automatic Construction of Structural Models Incorporating Discontinuous Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(4), pp. 400-411, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 7(1-2), pp. 101-115, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Reinhold Heckmann |
A Functional Language for the Specification of Complex Tree Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 175-190, 1988, Springer, 3-540-19027-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Flemming Nielson |
Program Transformations in a Denotational Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(3), pp. 359-379, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Martin Palkovic, Francky Catthoor, Henk Corporaal |
Trade-offs in loop transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(2), pp. 22:1-22:30, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(1), pp. 35-47, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 181-185, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
student biographies, transformations, threshold concepts |
27 | Emmad Saadeh, Derrick G. Kourie |
Composite refactoring using fine-grained transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2009, Vanderbijlpark, Emfuleni, South Africa, October 12-14, 2009, pp. 22-29, 2009, ACM, 978-1-60558-643-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 31-40, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 87-94, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 45:1-45:43, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 211-218, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings, pp. 187-196, 2008, Springer, 978-3-540-70549-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multidimensional Dataflow, optimizations, loop transformations |
27 | Adrian Rutle, Uwe Wolter, Yngve Lamo |
A diagrammatic approach to model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2008 Euro American conference on Telematics and Information Systems, EATIS 2008, Aracaju, Brazil, September 10-12, 2008, 2008, 978-1-59593-988-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1313-1322, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 377-393, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 22(7), pp. 493-505, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy, pp. 135-144, 2006, IEEE Computer Society, 0-7695-2536-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 891-896, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Memory System Performance ![In: Proceedings of the 2004 workshop on Memory System Performance, Washington, DC, USA, June 8, 2004, pp. 23-34, 2004, ACM, 1-58113-941-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 2(2), pp. 132-162, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 563-570, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(6), pp. 609-622, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2001 ACM Symposium on Document Engineering, Atlanta, Georgia, USA, November 9-10, 2001, pp. 125-134, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 87-, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 165-179, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 266-, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(1), pp. 71-82, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 30(12), pp. 2098-2108, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Behzad Bordbar, Gareth Howells 0001, Michael Evans, Athanasios Staikopoulos |
Model Transformation from OWL-S to BPEL Via SiTra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 43-58, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(9), pp. 922-941, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(3), pp. 235-243, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(2), pp. 272-319, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I, pp. 237-252, 2009, Springer, 978-3-642-02453-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 9(4), pp. 441-470, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 165-176, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(4), pp. 393-404, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformations - 8th International Conference, ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings, pp. 183-198, 2015, Springer, 978-3-319-21154-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan |
A practical automatic polyhedral parallelizer and locality optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 101-113, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 260-283, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008, pp. 127-132, 2008, ACM, 978-1-59593-873-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 517-519, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Perdita Stevens |
Towards an Algebraic Theory of Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 1-17, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig, Claudia Ermel |
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 194-210, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Christian Fuss, Verena E. Tuttlies |
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 442-455, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Fabian Büttner, Martin Gogolla |
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 398-413, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Tobias Rötschke |
Re-engineering a Medical Imaging System Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 185-201, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Cousot |
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 4-5, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 353-354, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
loop vectorization, gpgpu, data transformation |
24 | Val Tannen |
Provenance for database transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings, pp. 1, 2010, ACM, 978-1-60558-945-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | M. Seetharama Gowda, Jiyuan Tao |
Z-transformations on proper and symmetric cones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 117(1-2), pp. 195-221, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 514-521, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 815-816, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mt-scribe, model transformation, demonstration |
24 | Phil McMinn |
Search-based failure discovery using testability transformations to generate pseudo-oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1689-1696, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2009: Improving Productivity through Higher Abstraction, The 22nd International Conference on VLSI Design, New Delhi, India, 5-9 January 2009, pp. 77-82, 2009, IEEE Computer Society, 978-0-7695-3506-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Leon Bobrowski, Magdalena Topczewska |
Induction of Similarity Measures for Case Based Reasoning Through Separable Data Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 127-148, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Enrique San Millán, Luis Entrena, José Alberto Espejo |
Logic Transformations by Multiple Wire Network Addition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 779-786, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 94-109, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. High Perform. Embed. Archit. Compil. ![In: Transactions on High-Performance Embedded Architectures and Compilers I, pp. 159-178, 2007, Springer, 978-3-540-71527-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Maher Lamari |
Towards an automated test generation for the verification of model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 998-1005, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 1-15, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 72-86, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, Portugal, June 12-16, 2007, Revised Selected Papers, pp. 121-134, 2007, Springer, 978-3-540-88709-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 7(2), pp. 171-193, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 77-88, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Hetzl, Alexander Leitsch |
Proof Transformations and Structural Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 201-230, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinTAL ![In: Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings, pp. 399-410, 2006, Springer, 3-540-37334-9. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 440-453, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(7), pp. 1157-1171, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mark Heffernan, Kent D. Wilken |
Data-Dependency Graph Transformations for Instruction Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 8(5), pp. 427-451, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 809-812, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Swarup Kumar Sahoo, Gagan Agrawal |
Data Centric Transformations on Non-Integer Iteration Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 17-21 September 2005, St. Louis, MO, USA, pp. 133-142, 2005, IEEE Computer Society, 0-7695-2429-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 1310-1315, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings, pp. 136-145, 2005, Springer, 3-540-28558-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Tom Mens |
On the Use of Graph Transformations for Model Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers, pp. 219-257, 2005, Springer, 3-540-45778-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Santiago Meliá, Andreas Kraus, Nora Koch |
MDA Transformations Applied to Web Application Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings, pp. 465-471, 2005, Springer, 3-540-27996-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Taliver Heath, Eduardo Pinheiro, Jerry Hom, Ulrich Kremer, Ricardo Bianchini |
Code Transformations for Energy-Efficient Device Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(8), pp. 974-987, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Robert L. Akers, Ira D. Baxter, Michael Mehlich |
Program transformations for re-engineering C++ components [OOPSLA/GPCE]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 25-26, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 42-56, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ladan Tahvildari, Kostas Kontogiannis |
Developing a Multi-Objective Decision Approach to Select Source-Code Improving Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 427-431, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Christoph |
Describing Horizontal Model Transformations with Graph Rewriting Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAFA ![In: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers, pp. 93-107, 2004, Springer, 3-540-28240-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Tony Clark 0001, Andy Evans, Paul Sammut, James S. Willans |
Transformation Language Design: A Metamodelling Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings, pp. 13-21, 2004, Springer, 3-540-23207-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Victor De La Luz, Mahmut T. Kandemir, Ismail Kadayif, Ugur Sezer |
Generalized Data Transformations for Enhancing Cache Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10906-10911, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Martin Erwig |
Toward the Automatic Derivation of XML Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, pp. 342-354, 2003, Springer, 3-540-20257-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Pattern Recognition, 25th DAGM Symposium, Magdeburg, Germany, September 10-12, 2003, Proceedings, pp. 68-75, 2003, Springer, 3-540-40861-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II, pp. 829-837, 2003, Springer, 3-540-20464-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Parisi-Presicce |
A Formal Framework for Petri Net Class Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 409-430, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 461-466, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Ahmed Bouajjani, Tayssir Touili |
Extrapolating Tree Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 539-554, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 12984 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|