Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Jana Dvoráková	Towards analyzing space complexity of streaming XML transformations.	RCIS	2008	DBLP DOI BibTeX RDF
21	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
21	Avram Sidi	A Novel Class of Symmetric and Nonsymmetric Periodizing Variable Transformations for Numerical Integration.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 2000 30E15, 40A25, 41A60, 65B15, 65D32, 65D30
21	Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach	Static validation of XSL transformations.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, XML Schema, XSLT, DTD
21	Zaynah Dargaye, Xavier Leroy	Mechanized Verification of CPS Transformations.	LPAR	2007	DBLP DOI BibTeX RDF
21	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
21	Shunsuke Koshita, Yousuke Mizukami, Taketo Konno, Masahide Abe, Masayuki Kawamata	Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations.	ISCAS	2007	DBLP DOI BibTeX RDF
21	Mark Hibberd, Michael Lawley, Kerry Raymond	Forensic Debugging of Model Transformations.	MoDELS	2007	DBLP DOI BibTeX RDF
21	Julian Eggert, Chen Zhang, Edgar Körner	Template Matching for Large Transformations.	ICANN (2)	2007	DBLP DOI BibTeX RDF
21	Jon Oldevik, Øystein Haugen	Higher-Order Transformations for Product Lines.	SPLC	2007	DBLP DOI BibTeX RDF
21	Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo	The design of a language for model transformations.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	UML, Model driven architecture, Model transformation, Graph transformation, Graph rewriting
21	Alexander G. Dimitrov, Tomás Gedeon	Effects of stimulus transformations on estimates of sensory neuron selectivity.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Stimulus transformation, Sensory systems, Dejitter, Neural coding
21	Zhiheng Huang, Qiang Shen 0001	Fuzzy Interpolative Reasoning via Scale and Move Transformations.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
21	Gabor Karsai, Anantha Narayanan	On the Correctness of Model Transformations in the Development of Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
21	Andreas Maletti	Hierarchies of Tree Series Transformations Revisited.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
21	David H. Akehurst, Behzad Bordbar, M. J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier	SiTra: Simple Transformations in Java.	MoDELS	2006	DBLP DOI BibTeX RDF
21	Dennis Wagelaar, Ragnhild Van Der Straeten	A Comparison of Configuration Techniques for Model Transformations.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
21	Hua Zhang 0006, Changqian Zhu	Deriving Linear Transformations in 3D Using Quaternion Algebra.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	quaternion and linear transformation
21	Oliver Klein, Remco C. Veltkamp	Approximation Algorithms for Computing the Earth Mover's Distance Under Transformations.	ISAAC	2005	DBLP DOI BibTeX RDF
21	Andreas U. Schmidt, Zbynek Loebl	Legal Security for Transformations of Signed Documents: Fundamental Concepts.	EuroPKI	2005	DBLP DOI BibTeX RDF
21	Nikolaos Rizopoulos, Peter McBrien	A General Approach to the Generation of Conceptual Model Transformations.	CAiSE	2005	DBLP DOI BibTeX RDF
21	Cheng Fu, Bogdan J. Falkowski	Properties and Relations of Quaternary Linearly Independent Helix Transformations.	ISMVL	2005	DBLP DOI BibTeX RDF
21	Hyonho Lee	Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model.	ICDCS	2005	DBLP DOI BibTeX RDF
21	Anthony Danalis, Ki-Yong Kim, Lori L. Pollock, D. Martin Swany	Transformations to Parallel Codes for Communication-Computation Overlap.	SC	2005	DBLP DOI BibTeX RDF
21	Ioakim Marmaridis, Bhuvan Unhelkar	Challenges in Mobile Transformations: A Requirements Modeling Perspective for Small and Medium Enterprises.	ICMB	2005	DBLP DOI BibTeX RDF
21	Hanna Martinsson, Adrien Bartoli, François Gaspard, Jean-Marc Lavest	Handling Missing Data in the Computation of 3D Affine Transformations.	EMMCVPR	2005	DBLP DOI BibTeX RDF
21	Susan Bell Trickett, J. Gregory Trafton	Spatial Transformations in Graph Comprehension.	Diagrams	2004	DBLP DOI BibTeX RDF
21	Nikolaos Vassiliadis, A. Chormoviti, Nikolaos Kavvadias, Spiridon Nikolaidis 0001	The Effect of Data-Reuse Transformations on Multimedia Applications for Different Processing Platforms.	PATMOS	2004	DBLP DOI BibTeX RDF
21	Michal Smialek	Profile Suite for Model Transformations on the Computation Independent Level.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
21	Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee	Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.	ICATPN	2004	DBLP DOI BibTeX RDF
21	Ozgur Sinanoglu, Alex Orailoglu	Scan Power Minimization through Stimulus and Response Transformations.	DATE	2004	DBLP DOI BibTeX RDF
21	Leon Bobrowski, Magdalena Topczewska	Improving the K-NN Classification with the Euclidean Distance Through Linear Data Transformations.	ICDM	2004	DBLP DOI BibTeX RDF	the nearest neighbours technique, classification rules, Euclidean distance, Mahalanobis distance
21	Tadeusz Pankowski	A High-Level Language for Specifying XML Data Transformations.	ADBIS	2004	DBLP DOI BibTeX RDF
21	Denise M. Woit, M. Fan	Independence Transformations and Tools for Components.	ICECCS	2004	DBLP DOI BibTeX RDF
21	David H. Akehurst, Stuart Kent 0001, Octavian Patrascoiu	A relational approach to defining and implementing transformations between metamodels.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	UML, Model-driven architecture, Model transformation
21	Yingwei Cui, Jennifer Widom	Lineage tracing for general data warehouse transformations.	VLDB J.	2003	DBLP DOI BibTeX RDF	Lineage tracing, Transformation, Data warehouse, Inverse, Data lineage
21	Thierry Grandpierre, Yves Sorel	From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations.	MEMOCODE	2003	DBLP DOI BibTeX RDF
21	Tassos Argyros, Charis Ermopoulos	Efficient Subsequence Matching in Time Series Databases Under Time and Amplitude Transformations.	ICDM	2003	DBLP DOI BibTeX RDF
21	Peter Petrov, Alex Orailoglu	Power Efficiency through Application-Specific Instruction Memory Transformations.	DATE	2003	DBLP DOI BibTeX RDF
21	Denish Kumar, Xiujuan Geng, Gary E. Christensen, Michael W. Vannier	Characterizing Shape Differences between Phantom Image Populations via Multivariate Statistical Analysis of Inverse Consistent Transformations.	WBIR	2003	DBLP DOI BibTeX RDF
21	Youlin Fang, Dongqing Yang, Shiwei Tang, Yunhai Tong, Weihua Zhang, Libo Yu, Qiang Fu	CyberETL: Towards Visual Debugging Transformations in Data Integration.	WAIM	2003	DBLP DOI BibTeX RDF
21	K. R. Shesha Shayee, Joonseok Park, Pedro C. Diniz	Performance and Area Modeling of Cmplete FPGA Designs in the Presence of Loop Transformations.	FPL	2003	DBLP DOI BibTeX RDF
21	Mark Minas	AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.	AGTIVE	2003	DBLP DOI BibTeX RDF
21	Taliver Heath, Eduardo Pinheiro, Jerry Hom, Ulrich Kremer, Ricardo Bianchini	Application Transformations for Energy and Performance-Aware Device Management.	IEEE PACT	2002	DBLP DOI BibTeX RDF
21	Zi-Cai Li, J. Y. Lin, Ching Y. Suen, H. Wang	New Algorithm for Geometric Transformations of Digital Images and Patterns.	ICPR (3)	2002	DBLP DOI BibTeX RDF
21	Reiko Heckel, Tom Mens, Michel Wermelinger	Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.	ICGT	2002	DBLP DOI BibTeX RDF
21	Luca Lucchese	A hybrid frequency-space domain algorithm for estimating projective transformations of color images.	ICIP (2)	2001	DBLP DOI BibTeX RDF
21	Nuno M. M. Rodrigues, Vítor Manuel Mendes da Silva, Sérgio M. M. de Faria	Hierarchical motion compensation with spatial and luminance transformations.	ICIP (3)	2001	DBLP DOI BibTeX RDF
21	Xianglong Huang, Steve Carr 0001, Philip H. Sweany	Loop Transformations for Architectures with Partitioned Register Banks.	LCTES/OM	2001	DBLP DOI BibTeX RDF
21	Debjyoti Paul, Mitrajit Chatterjee, Dhiraj K. Pradhan	VERILAT: verification using logic augmentation and transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
21	Ali Can, Charles V. Stewart, Badrinath Roysam, Howard L. Tanenbaum	A Feature-Based Technique for Joint, Linear Estimation of High-Order Image-to-Mosaic Transformations: Application to Mosaicing the Curved Human Retina.	CVPR	2000	DBLP DOI BibTeX RDF
21	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
21	Vítor Santos Costa, Ashwin Srinivasan 0001, Rui Camacho	A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.	ILP	2000	DBLP DOI BibTeX RDF
21	Qi Wang, Sarma B. K. Vrudhula, Gary K. H. Yeap, Shantanu Ganguly	Power reduction and power-delay trade-offs using logic transformations.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	CMOS logic, low power, logic synthesis, power estimation, logic optimization
21	Michael F. P. O'Boyle, Peter M. W. Knijnenburg	Efficient Parallelization Using Combined Loop and Data Transformations.	IEEE PACT	1999	DBLP DOI BibTeX RDF
21	Peter McBrien, Alexandra Poulovassilis	A Uniform Approach to Inter-model Transformations.	CAiSE	1999	DBLP DOI BibTeX RDF
21	Brendan J. Frey, Nebojsa Jojic	Estimating Mixture Models of Images and Inferring Spatial Transformations Using the EM Algorithm.	CVPR	1999	DBLP DOI BibTeX RDF
21	Kevin J. Kerns, Andrew T. Yang	Preservation of passivity during RLC network reduction via split congruence transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
21	Julien Zory, Fabien Coelho	Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Algebraic transformation, Fused multiply-add operation, Instruction-Level Parallelism, Expression evaluation
21	Vivek Sarkar	Loop Transformations for Hierarchical Parallelism and Locality.	LCR	1998	DBLP DOI BibTeX RDF
21	Gajanan S. Chinchwadkar, Angela Goh	Method Transformations for Vertical Partitioning in Parallel and Distributed Object Databases.	Euro-Par	1997	DBLP DOI BibTeX RDF	Parallel object database, Distributed object database, Object oriented database, Vertical partitioning
21	Jingling Xue	Affine-by-Statement Transformations of Imperfectly Nested Loops.	IPPS	1996	DBLP DOI BibTeX RDF	imperfectly nested loops, code generation, loop transformation
21	Qi Wang, Sarma B. K. Vrudhula	Multi-level logic optimization for low power using local logic transformations.	ICCAD	1996	DBLP DOI BibTeX RDF	Logic Optimization Digital Circuits, CMOS combinatinal circuits, Low Power, Logic Synthesis
21	Ying Wang	A set of transformations for lossless image compression.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
21	Miodrag Potkonjak, Jan M. Rabaey	Optimizing resource utilization using transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
21	Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison	On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
21	Marc Andries, Jan Paredaens	A Language for Generic Graph-Transformations.	WG	1991	DBLP DOI BibTeX RDF
21	Harald Vogt, Aswin van den Berg, Arend Freije	Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations.	WAGA	1990	DBLP DOI BibTeX RDF
20	Maribel Hudson, Jonathan Sprinkle	Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks.	ECBS	2011	DBLP DOI BibTeX RDF	generative transformations, transformation simplification, Model transformation, domain-specific modeling
20	Shahar Z. Kovalsky, Guy Cohen, Rami R. Hagege, Joseph M. Francos	Decoupled Linear Estimation of Affine Geometric Deformations and Nonlinear Intensity Transformations of Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	linear estimation, domain registration, nonlinear range registration, parameter estimation, image registration, Affine transformations
20	Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich	Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations.	ECBS	2010	DBLP DOI BibTeX RDF	FMC-QE, MDPE, Discrete Event Simulation, Model Transformations, Quantitative Analysis
20	Shekoufeh Kolahdouz Rahimi	Specification of UML Model Transformations.	ICST	2010	DBLP DOI BibTeX RDF	UML, Specification, Model Transformations
20	Anna Beletska, Wlodzimierz Bielecki, Albert Cohen 0001, Marek Palkowski, Krzysztof Siedlecki	Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations.	ISPDC	2009	DBLP DOI BibTeX RDF	iteration space slicing, affine transformations, loop parallelization
20	Amogh Kavimandan, Aniruddha S. Gokhale	Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems.	QoSA	2009	DBLP DOI BibTeX RDF	Graph/model transformations, deployment and configuration, Model-driven engineering, component-based systems
20	Juan M. Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos	Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	Code Generation, Model Transformations, Model-Driven Engineering, Object-Relational Databases
20	Tom Degryse, Karel Bruneel, Harald Devos, Dirk Stroobandt	Loop Transformations to Reduce the Dynamic FPGA Recon?guration Overhead.	ReConFig	2008	DBLP DOI BibTeX RDF	Dynamic hardware generation, FPGAs, Matrix multiplications, Loop transformations
20	Leszek Kotulski, Barbara Strug	Using Graph Transformations in Distributed Adaptive Design System.	ICCVG	2008	DBLP DOI BibTeX RDF	adaptive design, distributed grammar systems, computer aided design, graph transformations
20	Tobias Küster, Axel Heßler	Towards Transformations from BPMN to Heterogeneous Systems.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Process Design Tools, Multi-agent Systems, Transformations, Model Driven Development, BPMN
20	Luca D'Acci	Growths, Urban Transformations, Real Estate Positional Value: Econometric Cellular Automata for the Simulation of the Positional Value: An Application for Turin.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	urban transformations, positional real estate value, Cellular Automata
20	Flávio P. Duarte, William M. Hasling, William Sherman, Daniel J. Paulish, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Vittorio Cortellessa	Extending model transformations in the performance domain with a node modeling library.	WOSP	2008	DBLP DOI BibTeX RDF	performance analysis, model transformations, uml, global software engineering
20	Tal Cohen, Joseph Gil, Itay Maman	Guarded Program Transformations Using JTL.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Program Transformations, Declarative Programming
20	Azamatbek Mametjanov	Types and program transformations.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	transformations, types, type-checking
20	Nora Koch, Gefei Zhang, María José Escalona Cuaresma	Model transformations from requirements to web system design.	ICWE	2006	DBLP DOI BibTeX RDF	qvt, requirements engineering, model transformations, model-driven development, metamodeling, web engineering, uml
20	Ivan Kurtev, Klaas van den Berg	Building adaptable and reusable XML applications with model transformations.	WWW	2005	DBLP DOI BibTeX RDF	XML, MDA, model transformations, XML processing, transformation language
20	Gordon Ping Gu, Dorina C. Petriu	From UML to LQN by XML algebra-based model transformations.	WOSP	2005	DBLP DOI BibTeX RDF	automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN
20	Magnus Svärd	On Coordinate Transformations for Summation-by-Parts Operators.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	summation-by-parts operators, high order finite difference methods, stability, accuracy, Coordinate transformations
20	Jarle Hulaas, Walter Binder	Program transformations for portable CPU accounting and control in Java.	PEPM	2004	DBLP DOI BibTeX RDF	Java, program transformations, resource management, bytecode engineering
20	Kurt Stirewalt, Laura K. Dillon	Generation of visitor components that implement program transformations.	SSR	2001	DBLP DOI BibTeX RDF	amalia, curried visitor framework, lightweight analysis components, program transformations, visitor pattern
20	Edwin M. Knorr, Raymond T. Ng, Ruben H. Zamar	Robust space transformations for distance-based operations.	KDD	2001	DBLP DOI BibTeX RDF	Distance-based Operations, Space Transformations, Data Mining, Outliers, Robust Estimators, Robust Statistics
20	David W. Eggert, Adele Lorusso, Robert B. Fisher	Estimating 3-D rigid body transformations: a comparison of four major algorithms.	Mach. Vis. Appl.	1997	DBLP DOI BibTeX RDF	3-D rigid transformations, Pose estimation, Motion analysis
20	Bernd Müller, Rainer Gimnich	Planning Year 2000 transformations using standard tools: an experience report.	CSMR	1997	DBLP DOI BibTeX RDF	Year 2000 transformations, customer engagement, standard tools, coding practice, project management problem, coarse-grained planning, German insurance company, customer's site, planning, programming, computer science, experience report
20	Heidrun Engel	Data flow transformations to detect results which are corrupted by hardware faults.	HASE	1996	DBLP DOI BibTeX RDF	data flow transformations, corrupt result detection, hardware fault coverage, modified instruction, diverse data representation, modified instruction sequences, assembler level, high language level, fault tolerant computing, software faults, design diversity, hardware fault detection
20	Alan M. Frieze, Mark Jerrum, Ravi Kannan	Learning Linear Transformations.	FOCS	1996	DBLP DOI BibTeX RDF	Valiant's PAC model, arbitrarily oriented cube, distributed sample points, learning (artificial intelligence), learning, polynomial time algorithm, linear transformations
20	Mounir Hamdi, Siang W. Song	On Embedding Various Networks into the Hypercube Using Matrix Transformations.	IPPS	1996	DBLP DOI BibTeX RDF	matrix transformations, binary n-cube, r-ary m-cubes, reflected Gray code, parallel algorithms, parallel algorithms, parallel architectures, hypercube, problem solving, hypercube networks, matrix algebra, dilation, Gray codes, divide and conquer methods, embedding method, divide-and-conquer algorithms
20	Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatterjee	VERILAT: verification using logic augmentation and transformations.	ICCAD	1996	DBLP DOI BibTeX RDF	VERILAT, formal logic verification, implication-based methods, logic augmentation, logic transformations, logic testing
20	Nariankadu D. Hemkumar, Joseph R. Cavallaro	Redundant and On-Line CORDIC for Unitary Transformations.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	unitary transformations, two-sided unitary transformation, Jacobi-like methods, complex matrices, special-purpose processor array architectures, nonredundant CORDIC, online CORDIC, redundant CORDIC, Coordinate Rotation Digital Computer, parallel algorithms, parallel algorithms, computational complexity, parallel architectures, singular value decompositions, digital arithmetic, matrix algebra, eigenvalue, CORDIC, special purpose computers, eigenvalues and eigenfunctions, matrices
20	Weijia Shang, Matthew T. O'Keefe, José A. B. Fortes	On Loop Transformations for Generalized Cycle Shrinking.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	generalized cycle shrinking, nested loop structures, selective cycle shrinking, conflict-free mappings, scheduling, parallelism, program compilers, loop transformations, linear scheduling
20	Erik H. D'Hollander	Partitioning and Labeling of Loops by Unimodular Transformations.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix
20	Ashok T. Amin	An Algorithm for Grey-Level Transformations in Digitized Images.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	grey-level transformations, Data compression, image enhancement, digitized images, uniform distribution
20	Jens Breitbart	CuPP - A framework for easy CUDA integration.	IPDPS	2009	DBLP DOI BibTeX RDF