Search results for "subexpressions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
105	Jingren Zhou, Per-Åke Larson, Johann Christoph Freytag, Wolfgang Lehner	Efficient exploitation of similar subexpressions for query processing.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	similar subexpressions, query processing, query optimization
94	Ignacio Araya 0001, Bertrand Neveu, Gilles Trombettoni	Exploiting Common Subexpressions in Numerical CSPs.	CP	2008	DBLP DOI BibTeX RDF
67	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
54	Fei Xu, Chip-Hong Chang, Ching-Chuen Jong	Design of Low-Complexity FIR Filters Based on Signed-Powers-of-Two Coefficients With Reusable Common Subexpressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
54	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Reducing hardware complexity of linear DSP systems by iteratively eliminating two-term common subexpressions.	ASP-DAC	2005	DBLP DOI BibTeX RDF
53	Fei Xu, Chip-Hong Chang, Ching-Chuen Jong	I2CRA: contention resolution algorithm for intra- and inter-coefficient common subexpression elimination.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
53	H. Safiri, Majid Ahmadi, Graham A. Jullien, William C. Miller	A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	genetic algorithm, ASIC, digital filter, integer multiplication, common subexpressions
51	Jamal R. Alsabbagh, Vijay V. Raghavan 0001	A Model for Multiple-Query Processing Based upon Strong Factoring.	ITCC (1)	2004	DBLP DOI BibTeX RDF	global Query Optimization, Database Management Systems, Multi-Query Optimization, Common Subexpressions, Multiple Query Optimization
51	Melvin A. Breuer	Generation of optimal code for expressions via factorization.	Commun. ACM	1969	DBLP DOI BibTeX RDF	detection of common subexpressions, factorization of Boolean expressions, sequencing of operations, code optimization, factorization algorithms
41	Albert Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, David E. Bernholdt, Venkatesh Choppella, Russell M. Pitzer, J. Ramanujam, Atanas Rountev, P. Sadayappan	Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
41	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Factoring and eliminating common subexpressions in polynomial expressions.	ICCAD	2004	DBLP DOI BibTeX RDF
41	Robert Pasko, Patrick Schaumont, Veerle Derudder, Serge Vernalde, Daniela Duracková	A new algorithm for elimination of common subexpressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
41	Chuck C. Liang	Free Variables and Subexpressions in Higher-Order Meta Logic.	TPHOLs	1998	DBLP DOI BibTeX RDF
41	Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman	Code Generation for Expressions with Common Subexpressions.	J. ACM	1977	DBLP DOI BibTeX RDF
40	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Optimizing high speed arithmetic circuits using three-term extraction.	DATE	2006	DBLP DOI BibTeX RDF
40	Chip-Hong Chang, Jiajia Chen 0002, A. Prasad Vinod 0001	Maximum likelihood disjunctive decomposition to reduced multirooted DAG for FIR filter design.	ISCAS	2006	DBLP DOI BibTeX RDF
40	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Common Subexpression Elimination Involving Multiple Variables for Linear DSP Synthesis.	ASAP	2004	DBLP DOI BibTeX RDF
40	Nilesh N. Dalvi, Sumit K. Sanghai, Prasan Roy, S. Sudarshan 0001	Pipelining in Multi-Query Optimization. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
40	Vinaya Kumar Singh, Ajit Arvind Diwan	A heuristic for decomposition in multilevel logic optimization.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
40	Jack W. Davidson, Christopher W. Fraser	Eliminating Redundant Object Code.	POPL	1982	DBLP DOI BibTeX RDF
38	Hashim M. Twaakyondo, Masayuki Okamoto	Structure analysis and recognition of mathematical expressions.	ICDAR	1995	DBLP DOI BibTeX RDF	two-dimensional layout structures, specific structure analysis, subexpressions, printed journals, image recognition, document image processing, structure analysis, tree structure, mathematical expressions, structure recognition, local structures, top-down method, bottom-up method
38	Ann Grbavec, Dorothea Blostein	Mathematics recognition using graph rewriting.	ICDAR	1995	DBLP DOI BibTeX RDF	mathematics recognition, high-level recognition, mathematical notation, symbol recognizer, recursive subexpressions, global context, operator precedence, operator range, two-dimensional patterns manipulation, notational conventions, circuit diagrams, musical scores, pattern recognition, image recognition, rewriting systems, graph rewriting, diagram recognition
28	Mustapha Chaba Mouna, Ladjel Bellatreche, Boustia Narhimene	Selecting Subexpressions to Materialize for Dynamic Large-Scale Workloads.	DaWaK	2021	DBLP DOI BibTeX RDF
28	Alekh Jindal, Konstantinos Karanasos, Sriram Rao, Hiren Patel	Selecting Subexpressions to Materialize at Datacenter Scale. (PDF / PS)	Proc. VLDB Endow.	2018	DBLP DOI BibTeX RDF
28	Mahesh B. Chaudhari, Suzanne W. Dietrich	Detecting common subexpressions for multiple query optimization over loosely-coupled heterogeneous data sources.	Distributed Parallel Databases	2016	DBLP DOI BibTeX RDF
28	Richard J. Fateman	Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
28	Marc Mörig, Stefan Schirra	Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions.	MACIS	2015	DBLP DOI BibTeX RDF
28	Yasin N. Silva, Per-Åke Larson, Jingren Zhou	Exploiting Common Subexpressions for Cloud Query Processing.	ICDE	2012	DBLP DOI BibTeX RDF
28	Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring	Generic selections of subexpressions.	ICFP-WGP	2010	DBLP DOI BibTeX RDF
28	R. Daniel Resler, Victor L. Winter	A higher-order strategy for eliminating common subexpressions.	Comput. Lang. Syst. Struct.	2009	DBLP DOI BibTeX RDF
28	Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory	Common Subexpressions in Constraint Models of Planning Problems.	SARA	2009	DBLP BibTeX RDF
28	Fei Xu, Chip-Hong Chang, Ching-Chuen Jong	Contention Resolution - A New Approach to Versatile Subexpressions Sharing in Multiple Constant Multiplications.	IEEE Trans. Circuits Syst. I Regul. Pap.	2008	DBLP DOI BibTeX RDF
28	Yuen-Hong Alvin Ho, Chi-Un Lei, Hing-Kit Kwan, Ngai Wong	Global optimization of common subexpressions for multiplierless synthesis of multiple constant multiplications.	ASP-DAC	2008	DBLP DOI BibTeX RDF
28	Wugang Xu, Dimitri Theodoratos, Calisto Zuzarte	Computing closest common subexpressions for view selection problems.	DOLAP	2006	DBLP DOI BibTeX RDF	data warehouse, view selection, common subexpression, query graph
28	James M. Boyle, R. Daniel Resler	A Program-Algebraic Approach to Eliminating Common Subexpressions.	Informatica (Slovenia)	2000	DBLP BibTeX RDF
28	Rainer Leupers	Register allocation for common subexpressions in DSP data paths.	ASP-DAC	2000	DBLP DOI BibTeX RDF
28	H. Safiri, Majid Ahmadi, Graham A. Jullien, William C. Miller	A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming.	ASAP	2000	DBLP DOI BibTeX RDF
28	Jooseok Park, Arie Segev	Using Common Subexpressions to Optimize Multiple Queries.	ICDE	1988	DBLP DOI BibTeX RDF
28	Bhaskaram Prabhala, Ravi Sethi	Efficient Computation of Expressions with Common Subexpressions.	J. ACM	1980	DBLP DOI BibTeX RDF
28	Bhaskaram Prabhala, Ravi Sethi	Efficient Computation of Expressions with Common Subexpressions.	POPL	1978	DBLP DOI BibTeX RDF
28	Amelia C. Fong	Generalized Common Subexpressions in Very High Level Languages.	POPL	1977	DBLP DOI BibTeX RDF
28	Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman	Code Generation for Expressions with Common Subexpressions.	POPL	1976	DBLP DOI BibTeX RDF
28	Jerry L. Apperson	Optimal evaluation order for expressions with redundant subexpressions.	ACM SIGPLAN Notices	1973	DBLP DOI BibTeX RDF
28	Jeffrey D. Ullman	Fast Algorithms for the Elimination of Common Subexpressions	Acta Informatica	1973	DBLP BibTeX RDF
28	Jeffrey D. Ullman	A Fast Algorithm for the Elimination of Common Subexpressions	SWAT	1972	DBLP DOI BibTeX RDF
26	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Algebraic Methods for Optimizing Constant Multiplications in Linear Systems.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	constant multiplications, DSP synthesis, high level synthesis, linear systems, common subexpression elimination, algebraic methods
26	Brian K. Guenter	Efficient symbolic differentiation for graphics applications.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	symbolic differentiation
26	Pier Luca Lanzi, Stefano Rocca, Kumara Sastry, Stefania Solari	Analysis of Population Evolution in Classifier Systems Using Symbolic Representations.	IWLCS	2007	DBLP DOI BibTeX RDF
26	Shivnath Babu, Pedro Bizarro, David J. DeWitt	Proactive re-optimization with Rio.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
26	A. Prasad Vinod 0001, Edmund Ming-Kit Lai	Design of low complexity high-speed pulse-shaping IIR filters for mobile communication receivers.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
26	Dimitri Theodoratos, Wugang Xu	Constructing search spaces for materialized view selection.	DOLAP	2004	DBLP DOI BibTeX RDF	data warehouse and repository design, query, query rewriting, materialized view, common subexpression, query graph
26	Yousuke Watanabe, Hiroyuki Kitagawa	A Multiple Continuous Query Optimization Method Based on Query Execution Pattern Analysis.	DASFAA	2004	DBLP DOI BibTeX RDF
26	Zurab Khasidashvili, John R. W. Glauert	The Geometry of Orthogonal Reduction Spaces.	ICALP	1997	DBLP DOI BibTeX RDF
26	Walter Alden Tackett	Mining the Genetic Program.	IEEE Expert	1995	DBLP DOI BibTeX RDF
26	Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Independent AND-Parallel Implementation of Narrowing.	PLILP	1992	DBLP DOI BibTeX RDF
26	Orit Shacham, Mordechai Schacham	Finding boundaries of the domain of definition for functions along a one-dimensional ray.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
26	Karl-Heinz Drechsler, Manfred P. Stadel	A Solution to a Problem with Morel and Renvoise's "Global Optimization by Suppression of Partial Redundancies".	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
26	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
26	Peter J. Downey, Hanan Samet, Ravi Sethi	Off-Line and On-Line Algorithms for Deducing Equalities.	POPL	1978	DBLP DOI BibTeX RDF
25	Nicolas Boullis, Arnaud Tisserand	Some Optimizations of Hardware Multiplication by Constant Matrices.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	multiplication by constants, common subexpressions sharing, Computer arithmetic, FIR filter
25	Bernhard Scholz, R. Nigel Horspool, Jens Knoop	Optimizing for space and time usage with speculative partial redundancy elimination.	LCTES	2004	DBLP DOI BibTeX RDF	partial redundancy, speculation, code motion, profile-guided optimization, common subexpressions
25	Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred C. Chow	Partial redundancy elimination in SSA form.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	partial redundancy, data flow analysis, code motion, static single assignment form, common subexpressions
25	Richard J. Fateman	Optimal code for serial and parallel computation.	Commun. ACM	1969	DBLP DOI BibTeX RDF	detection of common subexpressions, sequencing of operations, code optimization
25	Vincent A. Busam, Donald E. Englund	Optimization of expressions in Fortran.	Commun. ACM	1969	DBLP DOI BibTeX RDF	DO loops, invariant calculations, optimization, compilation, compilers, FORTRAN, FORTRAN, register allocation, expressions, common subexpressions, subscripts
13	Christoph Burnikel, Stefan Funke, Kurt Mehlhorn, Stefan Schirra, Susanne Schmitt	A Separation Bound for Real Algebraic Expressions.	Algorithmica	2009	DBLP DOI BibTeX RDF	Separation bound, Zero testing, Exact geometric computation
13	Ning Chen 0004, Zhiyuan Yan 0001	Cyclotomic FFTs With Reduced Additive Complexities Based on a Novel Common Subexpression Elimination Algorithm.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
13	Tetsutaro Motomura, Mizuho Iwaihara, Masatoshi Yoshikawa	Query Rewriting Rules for Versioned XML Documents.	DEXA	2009	DBLP DOI BibTeX RDF
13	Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla	Asymptotic Resource Usage Bounds.	APLAS	2009	DBLP DOI BibTeX RDF
13	Adam W. Strzebonski	Real root isolation for tame elementary functions.	ISSAC	2009	DBLP DOI BibTeX RDF	real root isolation, solving equations, elementary functions
13	Bilel Gueni, Talel Abdessalem, Bogdan Cautis, Emmanuel Waller	Pruning nested XQuery queries.	CIKM	2008	DBLP DOI BibTeX RDF	xquery, xml, query rewriting
13	Susumu Katayama	Efficient Exhaustive Generation of Functional Programs Using Monte-Carlo Search with Iterative Deepening.	PRICAI	2008	DBLP DOI BibTeX RDF
13	Chaitanya Mishra, Nick Koudas, Calisto Zuzarte	Generating targeted queries for database testing.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	query generation, database testing
13	James Cheney	FLUX: functional updates for XML.	ICFP	2008	DBLP DOI BibTeX RDF	update languages, XML, static analysis, type systems
13	Paolo Bonzini, Giovanni Ansaloni, Laura Pozzi	Compiling custom instructions onto expression-grained reconfigurable architectures.	CASES	2008	DBLP DOI BibTeX RDF	horizontal microprogramming, compilers, instruction set extensions, coarse-grained reconfigurable architectures, data-flow architectures
13	Siqing Xue, Jie Wu	Gene Expression Programming Based on Subexpression Library and Clonal Selection.	ISICA	2008	DBLP DOI BibTeX RDF	gene library, best subexpression, gene expression programming, clonal selection
13	Lukasz Golab, Theodore Johnson, Oliver Spatscheck	Prefilter: predicate pushdown at streaming speeds.	SSPS	2008	DBLP DOI BibTeX RDF	data stream query optimization, data stream management systems, multi-query optimization
13	Mariano P. Consens, John W. S. Liu, Flavio Rizzolo	XPlainer: Visual Explanations of XPath Queries.	ICDE	2007	DBLP DOI BibTeX RDF
13	Adrian Baras, César A. Galindo-Legaria, Torsten Grabs, Babu Krishnaswamy, Shankar Pal	Optimizing Similar Scalar Subqueries for XML Processing in Microsoft SQL Server.	ICDE	2007	DBLP DOI BibTeX RDF
13	François Bry, Michael Eckert	Temporal order optimizations of incremental joins for composite event detection.	DEBS	2007	DBLP DOI BibTeX RDF	composite event queries, rules, complex event processing
13	Torsten Grust, Jan Rittinger, Jens Teubner	Data-intensive XQuery debugging with instant replay.	XIME-P	2007	DBLP DOI BibTeX RDF
13	Kavallur Gopi Smitha, A. Prasad Vinod 0001	A New Binary Common Subexpression Elimination Method for Implementing Low Complexity FIR Filters.	ISCAS	2007	DBLP DOI BibTeX RDF
13	S. Vijay, A. Prasad Vinod 0001, Edmund Ming-Kit Lai	A Greedy Common Subexpression Elimination Algorithm for Implementing FIR Filters.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Robert Miner, Rajesh Munavalli	An Approach to Mathematical Search Through Query Formulation and Data Normalization.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
13	José Luis Imaña, Juan Manuel Sánchez, Francisco Tirado	Bit-Parallel Finite Field Multipliers for Irreducible Trinomials.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Finite (or Galois) fields, canonical basis, triangular basis, complexity, permutation, multiplication, cycles, matrix decomposition, transpositions, irreducible trinomials
13	Pallav Gupta, Abhinav Agrawal 0002, Niraj K. Jha	An Algorithm for Synthesis of Reversible Logic Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
13	Anup Hosangadi, Farzan Fallah, Ryan Kastner	Optimizing Polynomial Expressions by Algebraic Factorization and Common Subexpression Elimination.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
13	Nicolas Bruno, Surajit Chaudhuri, Dilys Thomas	Generating Queries with Cardinality Constraints for DBMS Testing.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Query generation, database testing, cardinality constraints
13	José Luis Imaña, Juan Manuel Sánchez	Efficient Reconfigurable Implementation of Canonical and Normal Basis Multipliers Over Galois Fields GF(2m) Generated by AOPs.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	Galois field GF(2m), canonical basis, reconfigurable hardware, normal basis, bit-parallel multiplier
13	Robert S. Boyer, Warren A. Hunt Jr.	Function memoization and unique object representation for ACL2 functions.	ACL2	2006	DBLP DOI BibTeX RDF	ACL2 workshop, function memoization, hash CONS, hash CONSing, Lisp, ACL2
13	Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay	Algebra-Based Identification of Tree Patterns in XQuery.	FQAS	2006	DBLP DOI BibTeX RDF
13	Matthias Brantner, Carl-Christian Kanne, Guido Moerkotte, Sven Helmer	Algebraic Optimization of Nested XPath Expressions.	ICDE	2006	DBLP DOI BibTeX RDF
13	Shili Xiang, Hock-Beng Lim, Kian-Lee Tan	Impact of multi-query optimization in sensor networks.	DMSN	2006	DBLP DOI BibTeX RDF
13	Thomas Neumann 0001, Sven Helmer, Guido Moerkotte	On the Optimal Ordering of Maps, Selections, and Joins Under Factorization.	BNCOD	2006	DBLP DOI BibTeX RDF
13	John W. S. Liu, Mariano P. Consens, Flavio Rizzolo	XPlainer-Eclipse: explaining XPath within Eclipse.	ETX	2006	DBLP DOI BibTeX RDF	XML, debugging, program analysis, XPath, Eclipse, data visualization, IDEs
13	Manuel Kauers, Carsten Schneider	Application of unspecified sequences in symbolic summation.	ISSAC	2006	DBLP DOI BibTeX RDF	difference fields, symbolic summation
13	A. Prasad Vinod 0001, Edmund Ming-Kit Lai	On the implementation of efficient channel filters for wideband receivers by optimizing common subexpression elimination methods.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
13	Mohit Tawarmalani, Nikolaos V. Sahinidis	A polyhedral branch-and-cut approach to global optimization.	Math. Program.	2005	DBLP DOI BibTeX RDF	Factorable programming, Convexity identification, Mixed-integer nonlinear programming, Convexification, Outer approximation
13	Marko C. J. D. van Eekelen, Maarten de Mol	Proof Tool Support for Explicit Strictness.	IFL	2005	DBLP DOI BibTeX RDF
13	Thomas Neumann 0001, Sven Helmer, Guido Moerkotte	On the Optimal Ordering of Maps and Selections under Factorization.	ICDE	2005	DBLP DOI BibTeX RDF