|
|
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 |
32 | Marcel Bennicke, Claus Lewerentz |
Towards Managing Software Architectures with Ontologies. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Mauro Caporuscio, Marco Funaro, Carlo Ghezzi |
Architectural Issues of Adaptive Pervasive Systems. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Leue, Tarja Systä (eds.) |
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers |
Scenarios: Models, Transformations and Tools |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Barbara König 0001, Ugo Montanari, Philippa Gardner (eds.) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2005 |
DBLP BibTeX RDF |
|
32 | Paolo Baldan, Barbara König 0001, Arend Rensink |
Summary 2: Graph Grammar Verification through Abstraction. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
32 | Pawel Sobocinski 0001 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
32 | Roberto Bruni, Ivan Lanese |
Summary 3: On Graph(ic) Encodings. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
32 | Reiko Heckel, Tom Mens, Michel Wermelinger (eds.) |
Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002 |
Software Evolution Through Transformations @ ICGT |
2003 |
DBLP BibTeX RDF |
|
32 | Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen |
Why Timed Sequence Diagrams Require Three-Event Semantics. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ferhat Khendek, Xiao-Jun Zhang |
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Holger Giese, Florian Klein 0001 |
Autonomous Shuttle System Case Study. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | R. Geoff Dromey |
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Piotr Kosiuczenko |
Partial Order Semantics of Sequence Diagrams for Mobility. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | David Harel, Hillel Kugler, Gera Weiss |
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Anca Muscholl, Doron A. Peled |
Deciding Properties of Message Sequence Charts. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ira Diethelm, Leif Geiger, Albert Zündorf |
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang |
Traceability and Evaluation in Scenario Analysis by Use Case Maps. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Cas Cremers, Sjouke Mauw |
Operational Semantics of Security Protocols. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens |
Lightweight Formal Methods for Scenario-Based Software Engineering. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Matthias Beyer, Winfried Dulz |
Scenario-Based Statistical Testing of Quality of Service Requirements. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram |
32 | Holger Giese, Florian Klein 0001, Sven Burmester |
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ingolf H. Krüger, Reena Mathew |
Component Synthesis from Service Specifications. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Dirk Janssens, Serge Demeyer, Tom Mens |
Case Study: Simulation of a LAN. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer |
Coordinated Distributed Diagram Transformation for Software Evolution. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Nicolas Revault |
Model transformation based on production rules. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Reiko Heckel, Tom Mens, Michel Wermelinger |
Preface. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Markus Klein 0001, Mesut Özhan, Martti Piirainen |
Agent-Based Material Flow. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Stuart Kent 0001 |
Model Driven Language Engineering. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Jennifer Pérez, Víctor Anaya, J. María Cubel, Isidro Ramos, José A. Carsí |
Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas. |
Software Evolution Through Transformations @ ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Hans Jürgen Schneider, Hartmut Ehrig (eds.) |
Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Ewa Grabska |
Graphs and Designing. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Stefan Arnborg |
Decomposability Helps for Deciding Logics of Knowledge and Belief. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Martin Korff |
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
Abstract Graph Derivations in the Double Pushout Approach. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Kunio Aizawa, Akira Nakamura |
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Hartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer |
Canonical Derivaitons for High-Level Replacement Systems. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Manfred Nagl |
Uniform-Modelling in Graph Grammar Specifications. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche |
A Computational Model for Generic Graph Functions. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Claude Raoult, Frédéric Voisin |
Set-Theoretic Graph Rewriting. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Ugo Montanari, Francesca Rossi 0001 |
Contextual Occurence Nets and Concurrent Constraint Programming. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Dirk Janssens |
ESM Systems and the Composition of Their Computations. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Andy Schürr |
Logic Based Structure Rewriting Systems. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Andrea Maggiolo-Schettini, Adriano Peron |
Semantics of Full Statecharts Based on Graph Rewriting. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Marc Andries, Gregor Engels |
Syntax and Semantics of Hybrid Database Languages. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Bruno Courcelle, Jens Lagergren |
Recognizable Sets of Graphs of Bounded Tree-Width. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Klaus Barthelmann, Georg Schied |
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Erik Barendsen, Sjaak Smetsers |
Extending Graph Rewriting with Copying. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Georg Schied |
On Relating Rewriting Systems and Graph Grammars to Event Structures. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001 |
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Yasuo Kawahara, Yoshihiro Mizoguchi |
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting. |
Dagstuhl Seminar on Graph Transformations in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Anthony Tomasic |
Holistic Query Transformations for Dynamic Web Applications. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Roland Memisevic, Geoffrey E. Hinton |
Unsupervised Learning of Image Transformations. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Jochen Malte Küster |
Definition and validation of model transformations. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Andrew B. Kahng, Sherief Reda |
Zero-Change Netlist Transformations: A New Technique for Placement Benchmarking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Kunitoshi Komatsu, Kaoru Sezaki |
Lossless rotation transformations with periodic structure. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Andrew B. Kahng, Sherief Reda |
Evaluation of placer suboptimality via zero-change netlist transformations. |
ISPD |
2005 |
DBLP DOI BibTeX RDF |
placer suboptimality, benchmarking, wirelength |
32 | Martin P. Ward, Hussein Zedan |
MetaWSL and Meta-Transformations in the FermaT Transformation System. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Xiaolei Qian |
Correct Schema Transformations. |
EDBT |
1996 |
DBLP DOI BibTeX RDF |
|
31 | István Ráth, Gergely Varró, Dániel Varró |
Change-Driven Model Transformations. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Incremental model transformation, change models, change-driven transformations |
31 | Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández |
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages. |
ICMT@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
model-transformation by-example, algorithm, model transformations, model-driven development, Model-driven engineering |
31 | Ozgur Sinanoglu |
Scan-in and Scan-out Transition Co-optimization Through Modelling Generalized Serial Transformations. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
Test power reduction, Scan power reduction, Serial transformations, Scan chain modification, Design for testability, Core-based testing |
31 | Yunsi Fei, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Energy-optimizing source code transformations for operating system-driven embedded software. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Linux, energy consumption, source code transformations |
31 | Richard Vincent Bennett, Alastair Colin Murray, Björn Franke, Nigel P. Topham |
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
source-level transformations, compilers, design space exploration, ASIPs, instruction set extension, customizable processors |
31 | Jochen Malte Küster, Mohamed Abd-El-Razik |
Validation of Model Transformations - First Experiences Using a White Box Approach. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Testing, Model transformations |
31 | Yun Bai 0001, Yan Zhang 0003, Vijay Varadharajan |
On the sequence of authorization policy transformations. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Policy transformations, Formal language, Default logic, Authorization policy |
31 | Thomas Cleenewerck, Theo D'Hondt |
Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
program transformations, maintainability, evolvability, rewrite rules |
31 | Patrick Felke |
On the Affine Transformations of HFE-Cryptosystems and Systems with Branches. |
WCC |
2005 |
DBLP DOI BibTeX RDF |
nonassociative algebra, mixed centralizer, finite fields, affine transformations, branches, HFE |
31 | Joonseok Park, Pedro C. Diniz, K. R. Shesha Shayee |
Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
Performance analysis and modeling, loop transformations and high-level synthesis, Field-Programmable-Gate-Arrays (FPGAs), configurable computing |
31 | Keith H. Bennett |
Do Program Transformations Help Reverse Engineering? |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
reverse engineering, program transformations, program comprehension |
31 | Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß |
Formal Verification of Transformations for Peephole Optimization. |
FME |
1997 |
DBLP DOI BibTeX RDF |
reusability of specifications, formal verification, transformations, higher-order logic |
31 | Victor L. Winter, James M. Boyle |
Proving refinement transformations for deriving high-assurance software. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification |
31 | Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens |
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach |
31 | David Hildum, Jacques Cohen |
A Language for Specifying Program Transformations. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Prolog, program transformations, specification language, specification languages, language constructs |
31 | Zi-Cai Li, Tien Dai Bui, Ching Y. Suen, Yuan Yan Tang |
Splitting-Shooting Methods for Nonlinear Transformations of Digitized Patterns. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
digitized patterns, splitting-shooting methods, pattern recognition, computer vision, computational complexity, computational complexity, image processing, computer graphics, computer graphics, computerised picture processing, computerised pattern recognition, error bounds, gray levels, nonlinear transformations |
31 | Jeffrey P. Buzen, Subhash C. Agrawal |
State space transformations in queueing network modeling. |
SIGMETRICS |
1983 |
DBLP DOI BibTeX RDF |
Aggregate server method, Serialization delays, Shadow CPU algorithm, State space transformations, Performance evaluation, Approximation, Metamodeling, Queueing networks, Product form, Preemptive priority, Operational analysis |
31 | Christian Hundt 0001, Maciej Liskiewicz |
On the Complexity of Affine Image Matching. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Shai Rubin, Somesh Jha, Barton P. Miller |
On the Completeness of Attack Mutation Algorithms. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu 0003 |
Translation and Run-Time Validation of Loop Transformations. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions |
29 | Rumen Andonov, Sanjay V. Rajopadhye |
Knapsack on VLSI: from Algorithm to Optimal Circuit. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
Application specific VLSI design, unbounded knapsack problem, space-time transformations, recurrence equations, dynamic dependencies, nonlinear discrete optimization, correctness preserving transformations, systolic arrays |
29 | Iman Poernomo |
Proofs-as-Model-Transformations. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Hartmut Ehrig, Ulrike Prange |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer |
Checking and Enforcement of Modeling Guidelines with Graph Transformations. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jon Whittle 0001 |
Transformations and Software Modeling Languages: Automating Transformations in UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001 |
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Perdita Stevens |
Bidirectional model transformations in QVT: semantic issues and open questions. |
Softw. Syst. Model. |
2010 |
DBLP DOI BibTeX RDF |
Bidirectional model transformation, Semantics, Model-driven development, QVT |
28 | Fernando Orejas, Martin Wirsing |
On the Specification and Verification of Model Transformations. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Ulrike Prange |
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Model transformation, correctness, triple graph grammars |
28 | Arvind Arasu, Surajit Chaudhuri, Kris Ganjam, Raghav Kaushik |
Incorporating string transformations in record matching. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
data cleaning, transformation rules, record matching |
28 | Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama |
Elimination Transformations for Associative-Commutative Rewriting Systems. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
(AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation |
28 | Luciano Baresi, Karsten Ehrig, Reiko Heckel |
Verification of Model Transformations: A Case Study with BPEL. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | András Balogh, Gergely Varró, Dániel Varró, András Pataricza |
Compiling model transformations to EJB3-specific transformer plugins. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines |
28 | John Derrick, Heike Wehrheim |
Model Transformations Incorporating Multiple Views. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
28 | David G. Haigh |
Analytic approach to or transformations for FET circuit synthesis. Part II. Nullator-norator re-pairing and cloning. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bi-directional programming, XML, lenses, harmony, view update problem |
28 | Samar Abdi, Daniel Gajski |
A formalism for functionality preserving system level transformations. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Tobias Storch |
On the impact of objective function transformations on evolutionary and black-box algorithms. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Xiaoyang Gao, Sriram Krishnamoorthy, Swarup Kumar Sahoo, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan |
Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Howard Chivers, Richard F. Paige |
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Zi-Cai Li, Huaiqing Wang, Stephen S. Y. Liao |
Numerical algorithms for image geometric transformations and applications. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 12984 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|