Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Dimitrios S. Nikolopoulos	Code and Data Transformations for Improving Shared Cache Performance on SMT Processors.	ISHPC	2003	DBLP DOI BibTeX RDF	compilers, operating systems, memory hierarchies, runtime systems, multithreaded processors
17	Yehuda Koren, Liran Carmel	Visualization of Labeled Data Using Linear Transformations.	INFOVIS	2003	DBLP DOI BibTeX RDF	Fisher's linear discriminant analysis, eigenprojection, visualization, classification, principal component analysis, dimensionality-reduction, projection
17	Leon Bobrowski, Magdalena Topczewska	Tuning of Diagnosis Support Rules through Visualizing Data Transformations.	ISMDA	2003	DBLP DOI BibTeX RDF
17	Jocelyn Marchadier, Walter G. Kropatsch, Allan Hanbury	Homotopic Transformations of Combinatorial Maps.	DGCI	2003	DBLP DOI BibTeX RDF	skeletonization, Homotopy, combinatorial map
17	G. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja	Graph Transformations for Improved Tree Height Reduction.	VLSI Design	2003	DBLP DOI BibTeX RDF
17	Markus Heller, Dirk Jäger	Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes.	AGTIVE	2003	DBLP DOI BibTeX RDF
17	Gabriele Taentzer	AGG: A Graph Transformation Environment for Modeling and Validation of Software.	AGTIVE	2003	DBLP DOI BibTeX RDF
17	Kostas Masselos, Francky Catthoor, Constantinos E. Goutis, Hugo De Man	A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
17	Rimma I. Podlovchenko	Equivalent Transformations of Program Schemes for "Entangling" Programs.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
17	Vincenzo Ambriola, Alina Kmiecik	Architectural transformations.	SEKE	2002	DBLP DOI BibTeX RDF
17	Axel Schairer, Dieter Hutter	Proof Transformations for Evolutionary Formal Software Development.	AMAST	2002	DBLP DOI BibTeX RDF
17	Jana Maxová, Jaroslav Nesetril	Complexity of Compatible Decompositions of Eulerian Graphs and Their Transformations.	ESA	2002	DBLP DOI BibTeX RDF
17	Ladan Tahvildari, Kostas Kontogiannis	A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph.	WCRE	2002	DBLP DOI BibTeX RDF
17	Bruno Courcelle	Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.	FoSSaCS	2002	DBLP DOI BibTeX RDF
17	Kleoni Ioannidou	Transformations of Self-Stabilizing Algorithms.	DISC	2002	DBLP DOI BibTeX RDF
17	Bob Blainey, Christopher Barton, José Nelson Amaral	Removing Impediments to Loop Fusion Through Code Transformations.	LCPC	2002	DBLP DOI BibTeX RDF
17	Romaric David, Stéphane Genaud, Arnaud Giersch, Benjamin Schwarz, Eric Violard	Source Code Transformations Strategies to Load-Balance Grid Applications.	GRID	2002	DBLP DOI BibTeX RDF
17	Giuseppe Boccignone, Mario Ferraro, Terry Caelli	Encoding Visual Information Using Anisotropic Transformations.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	entropy production, feature encoding, Scale space, anisotropic diffusion
17	Francky Catthoor, Koen Danckaert, Sven Wuytack, Nikil D. Dutt	Code Transformations for Data Transfer and Storage Exploration Preprocessing in Multimedia Processors.	IEEE Des. Test Comput.	2001	DBLP DOI BibTeX RDF
17	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Transformations of CCP programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	optimization, Concurrent constraint programming, deadlock-freeness
17	Luca Lucchese	Estimating affine transformations in the frequency domain.	ICIP (2)	2001	DBLP DOI BibTeX RDF
17	Manfred Droste, Guo-Qiang Zhang 0001	Rational Transformations of Formal Power Series.	ICALP	2001	DBLP DOI BibTeX RDF	rational languages, recognizable languages, weighted finite automata, Formal power series
17	Scott D. Stoller, Yanhong A. Liu	Transformations for Model Checking Distributed Java Programs.	SPIN	2001	DBLP DOI BibTeX RDF
17	Toomas P. Plaks	Algebraic Transformations in Regular Array Design.	COMPSAC	2001	DBLP DOI BibTeX RDF
17	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
17	Joshua Gluckman, Shree K. Nayar	Rectifying Transformations That Minimize Resampling Effects.	CVPR (1)	2001	DBLP DOI BibTeX RDF
17	Johann Eder, Walter Strametz	Composition of XML-Transformations.	EC-Web	2001	DBLP DOI BibTeX RDF	heterogeneous information systems, XML, e-commerce
17	Robert van Engelen, David B. Whalley, Xin Yuan 0001	Automatic Validation of Code-Improving Transformations.	LCTES	2000	DBLP DOI BibTeX RDF
17	Sumit Gupta, Rajesh K. Gupta 0001, Miguel Miranda, Francky Catthoor	Analysis of High-Level Address Code Transformations for Programmable Processors.	DATE	2000	DBLP DOI BibTeX RDF
17	Ken-ichi Kawarabayashi, Atsuhiro Nakamoto, Yoshiaki Oda, Mamoru Watanabe	Geometric Transformations in Plane Triangulations.	JCDCG	2000	DBLP DOI BibTeX RDF
17	Paul Marchal, Chun Wong, Aggeliki S. Prayati, Nathalie Cossement, Francky Catthoor, Rudy Lauwereins, Diederik Verkest, Hugo De Man	Dynamic Memory Oriented Transformations in the MPEG4 IM1-Player on a Low Power Platform.	PACS	2000	DBLP DOI BibTeX RDF
17	Didi Sazbon, Ehud Rivlin, Zeev Zalevsky, David Mendlovic	Optical Transformations in Visual Navigation.	ICPR	2000	DBLP DOI BibTeX RDF
17	Efstathios Hadjidemetriou, Michael D. Grossberg, Shree K. Nayar	Histogram Preserving Image Transformations.	CVPR	2000	DBLP DOI BibTeX RDF
17	Jeroen Voeten, Harald P. E. Vranken	Behavior-Preserving Transformations for Design-for-Test.	EUROMICRO	2000	DBLP DOI BibTeX RDF
17	Julia M. Williams	Transformations in technical communication pedagogy: engineering, writing, and the ABET engineering criteria 2000.	SIGDOC	2000	DBLP BibTeX RDF
17	J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy	The Application of Correctness Preserving Transformations to Software Maintenance.	ICSM	2000	DBLP DOI BibTeX RDF	correctness preserving transformation, formal methods, Reverse engineering, public key cryptography, code optimization
17	Manish Goel, Naresh R. Shanbhag	Dynamic algorithm transformations (DAT)-a systematic approach to low-power reconfigurable signal processing.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
17	Ricardo L. de Queiroz	On independent color space transformations for the compression of CMYK images.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
17	To-Yat Cheung, Yiqin Lu	Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
17	Yun Bai 0001, Vijay Varadharajan	On Formal Languages for Sequences of Authorization Transformations.	SAFECOMP	1999	DBLP DOI BibTeX RDF	Policy Transformation, Formal language, Default logic, Authorization Policies
17	Xudong Luo, Chengqi Zhang, Ho-fung Leung	A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System.	PRIMA	1999	DBLP DOI BibTeX RDF	distributed expert system, uncertainty, Multi-agent, algebra
17	Giuseppe Boccignone, Mario Ferraro, Terry Caelli	Visual Information from Anisotropic Transformations.	ICIAP	1999	DBLP DOI BibTeX RDF
17	Shinya Aoki, Tomoharu Nagao	Automatic Construction of Tree-Structural Image Transformations Using Genetic Programming.	ICIAP	1999	DBLP DOI BibTeX RDF
17	Gábor Hosszú, Ferenc Kovács, László Varga 0003	Design procedure based on VHDL language transformations.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
17	Gary E. Christensen	Consistent Linear-Elastic Transformations for Image Matching.	IPMI	1999	DBLP DOI BibTeX RDF
17	Vijay Menon 0002, Keshav Pingali	A case for source-level transformations in MATLAB.	DSL	1999	DBLP DOI BibTeX RDF
17	Sebastian Maneth, Frank Neven	Structured Document Transformations Based on XSL.	DBPL	1999	DBLP DOI BibTeX RDF
17	Federico Bassetti, Kei Davis, Daniel J. Quinlan	Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures.	ISCOPE	1998	DBLP DOI BibTeX RDF
17	Reinhold Heckmann	The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations.	FoSSaCS	1998	DBLP DOI BibTeX RDF
17	Mitch Cherniack, Stanley B. Zdonik	Changing the Rules: Transformations for Rule-Based Optimizers.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
17	Sumant Ramprasad, Naresh R. Shanbhag, Ibrahim N. Hajj	Decorrelating (DECOR) transformations for low-power adaptive filters.	ISLPED	1998	DBLP DOI BibTeX RDF
17	Christian Blumenröhr, Dirk Eisenbiegler	Performing High-Level Synthesis via Program Transformations within a Theorem Prover.	EUROMICRO	1998	DBLP DOI BibTeX RDF
17	Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili 0001	Mathematical Foundations for Program Transformations.	LOPSTR	1998	DBLP DOI BibTeX RDF
17	Claudia Gdaniec	Lexical Choice and Syntactic Generation in a Transfer System: Transformations in the New LMT English-German System.	AMTA	1998	DBLP DOI BibTeX RDF
17	Kevin J. Kerns, Andrew T. Yang	Stable and efficient reduction of large, multiport RC networks by pole analysis via congruence transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
17	Karl-Heinz Zimmermann, Wolfgang Achtziger	Finding Space-Time Transformations for Uniform Recurrences via Branching Parametric Linear Programming.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
17	Chun Gong, Rami G. Melhem, Rajiv Gupta 0001	Loop Transformations for Fault Detection in Regular Loops on Massively Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Compiler-assisted approach, duplicating execution, execution pattern, fault detection, distributed-memory systems, loop transformation, data dependence analysis
17	Nicoletta De Francesco, Antonella Santone	Unfold/Fold Transformations of Concurrent Processes.	PLILP	1996	DBLP DOI BibTeX RDF
17	Rafael H. Saavedra-Barrera, Weihua Mao, Daeyeon Park, Jacqueline Chame, Sungdo Moon	The Combined Effectiveness of Unimodular Transformations, Tiling, and Software Prefetching.	IPPS	1996	DBLP DOI BibTeX RDF
17	Aiman H. El-Maleh, Janusz Rajski	Delay-fault testability preservation of the concurrent decomposition and factorization transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
17	Miodrag Potkonjak, Sujit Dey, Rabindra K. Roy	Considering testability at behavioral level: use of transformations for partial scan cost minimization under timing and area constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
17	Keshab K. Parhi	High-level algorithm and architecture transformations for DSP synthesis.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
17	Innchyn Her	Geometric transformations on the hexagonal grid.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
17	Karel Culík II, Jarkko Kari	Finite State Transformations of Images.	ICALP	1995	DBLP DOI BibTeX RDF
17	Otto Rauh, Eberhard Stickel	Standard Transformations for the Normalization of ER Schemata	CAiSE	1995	DBLP DOI BibTeX RDF
17	Tor E. Jeremiassen, Susan J. Eggers	Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations.	PPoPP	1995	DBLP DOI BibTeX RDF
17	Manolis Gergatsoulis, Maria Katzouraki	Unfold/Fold Transformations For Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
17	Hermano P. Moura, David A. Watt	Action Transformations in the ACTRESS Compiler Generator.	CC	1994	DBLP DOI BibTeX RDF
17	Penny Anderson	Representing Proof Transformations for Program Optimizations.	CADE	1994	DBLP DOI BibTeX RDF
17	David J. Kolson, Alexandru Nicolau, Nikil D. Dutt	Integrating program transformations in the memory-based synthesis of image and video algorithms.	ICCAD	1994	DBLP DOI BibTeX RDF
17	Ron Sass, Matt W. Mutka	Enabling unimodular transformations.	SC	1994	DBLP DOI BibTeX RDF	FORTRAN
17	Nariankadu D. Hemkumar, Joseph R. Cavallaro	Efficient complex matrix transformations with CORDIC.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
17	Paul Johannesson	Schema Transformations as an Aid in View Integration	CAiSE	1993	DBLP DOI BibTeX RDF
17	Wuu Yang, Susan Horwitz, Thomas W. Reps	A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	coarsest partition, flow dependence, program integration, program representation graph, data-flow analysis, data dependence, control dependence, program dependence graph, static-single-assignment form
17	Deborah Whitfield, Mary Lou Soffa	An Approach to Ordering Optimizing Transformations.	PPoPP	1990	DBLP DOI BibTeX RDF
17	Raul Camposano	Behavior-Preserving Transformations for High-Level Synthesis.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
17	Peter Lipps, Ulrich Möncke, Reinhard Wilhelm	OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.	CC	1988	DBLP DOI BibTeX RDF
17	Henk Alblas	Attributed Tree Transformations with Delayed and Smart Re-Evaluation.	CC	1988	DBLP DOI BibTeX RDF
17	Saumya K. Debray	Unfold/Fold Transformations and Loop Optimization of Logic Programs.	PLDI	1988	DBLP DOI BibTeX RDF
17	Ulrike Lichtblau	Decompilation of Control Structures by Means of Graph Transformations.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
17	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Transformations Realizing Fairness Assumptions for Parallel Programs.	STACS	1984	DBLP DOI BibTeX RDF
16	Monica Hernandez, Matías N. Bossa, Salvador Olmos	Registration of Anatomical Images Using Paths of Diffeomorphisms Parameterized with Stationary Vector Field Flows.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	LDDMM, Diffeomorphic registration, Infinite dimensional, Stationary parameterization, Efficient, Riemannian manifold, Computational Anatomy
16	Christoph Reichenbach, Devin Coughlin, Amer Diwan	Program Metamorphosis.	ECOOP	2009	DBLP DOI BibTeX RDF	Refactoring, Program Evolution
16	Everardo Bárcenas, Pierre Genevès, Nabil Layaïda	On the analysis of queries with counting constraints.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	counting constraints, modal logics, xpath, xml, type checking
16	Floris Geerts, Sofie Haesevoets, Bart Kuijpers	First-order complete and computationally complete query languages for spatio-temporal databases.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	query languages, spatial databases, moving objects, spatio-temporal databases, Constraint databases
16	Artur Boronat, Alexander Knapp, José Meseguer 0001, Martin Wirsing	What Is a Multi-modeling Language?	WADT	2008	DBLP DOI BibTeX RDF
16	Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong	Error-Free Transformation in Rounding Mode toward Zero.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
16	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
16	Bernhard Schätz	Formalization and Rule-Based Transformation of EMF Ecore-Based Models.	SLE	2008	DBLP DOI BibTeX RDF
16	Pramod Chandraiah, Rainer Dömer	Automatic re-coding of reference code into structured and analyzable SoC models.	ASP-DAC	2008	DBLP DOI BibTeX RDF
16	Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms	Correct-by-construction microarchitectural pipelining.	ICCAD	2008	DBLP DOI BibTeX RDF
16	Romain Robbes, Michele Lanza	Example-Based Program Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
16	Allan Aasbjerg Nielsen	The Regularized Iteratively Reweighted MAD Method for Change Detection in Multi- and Hyperspectral Data.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
16	Michael Fink 0001, Reinhard Pichler, Hans Tompits, Stefan Woltran	Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.	LPNMR	2007	DBLP DOI BibTeX RDF
16	Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano 0001, Makoto Hamana, Masato Takeichi	Bidirectionalization transformation based on automatic derivation of view complement functions.	ICFP	2007	DBLP DOI BibTeX RDF	bidirectional transformation, program transformation, view updating, automatic program generation, program inversion
16	Victor N. Kasyanov, Alexander P. Stasenko	A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition.	PaCT	2007	DBLP DOI BibTeX RDF	Sisal 3.1, front-end compiler, parallel programming, program transformation, functional programming, internal representation
16	J. V. Sumanth, David R. Swanson, Hong Jiang 0001	A symmetric transformation for 3-body potential molecular dynamics using force-decomposition in a heterogeneous distributed environment.	ICS	2007	DBLP DOI BibTeX RDF	load balancing, grid computing, molecular dynamics
16	Li-Ping He, Fu-Zheng Qu	A Comparative Study of Compatibility and Transformation between Probability and Possibility.	FSKD (1)	2007	DBLP DOI BibTeX RDF
16	Inés Pederiva, Jean Vanderdonckt, Sergio España, José Ignacio Panach, Oscar Pastor 0001	The Beautification Process in Model-Driven Engineering of User Interfaces.	INTERACT (1)	2007	DBLP DOI BibTeX RDF	Beautification operation, beautification process, human-computer interaction model, quality by construction, user interface code tweaking, model-driven engineering, user interface description language, round-trip engineering
16	Xinyuan Wang 0005, Shiping Chen 0003, Sushil Jajodia	Network Flow Watermarking Attack on Low-Latency Anonymous Communication Systems.	S&P	2007	DBLP DOI BibTeX RDF