Search results for "associativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
11	Richard E. Kessler, Mark D. Hill	Page Placement Algorithms for Large Real-Indexed Caches.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF
11	Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek	Cache Behavior of Combinator Graph Reduction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	self-modifying code, combinators, abstract machine, graph reduction
11	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
11	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
11	Nicolien J. Drost	Algebraic Formulations of Trace Theory.	CONCUR	1991	DBLP DOI BibTeX RDF	trace models, infinite processes, verification, concurrency, process algebra, alternating bit protocol, complete axiomatization
11	Paliath Narendran, Michaël Rusinowitch	Any Gound Associative-Commutative Theory Has a Finite Canonical System.	RTA	1991	DBLP DOI BibTeX RDF
11	Claude Marché	On Ground AC-Completion.	RTA	1991	DBLP DOI BibTeX RDF
11	Eric Domenjoud	AC Unification Through Order-Sorted AC1 Unification.	RTA	1991	DBLP DOI BibTeX RDF
11	Rolf Socher-Ambrosius	Boolean Algebra Admits No Convergent Term Rewriting System.	RTA	1991	DBLP DOI BibTeX RDF	Term Rewriting, Boolean Algebra, Automated Theorem Proving
11	Subrata Mitra, G. Sivakumar	AC-Equation Solving.	FSTTCS	1991	DBLP DOI BibTeX RDF
11	Tsang-Ling Sheu, Yuan-Bao Shieh, Woei Lin	The selection of optimal cache lines for microprocessor-based controllers.	MICRO	1990	DBLP BibTeX RDF
11	Anant Agarwal, Mark Horowitz, John L. Hennessy	An Analytical Cache Model.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF
11	Steven A. Przybylski, Mark Horowitz, John L. Hennessy	Characteristics of Performance-Optimal Multi-Level Cache Hierarchies.	ISCA	1989	DBLP DOI BibTeX RDF
11	Scott McFarling	Program Optimization for Instruction Caches.	ASPLOS	1989	DBLP DOI BibTeX RDF	RISC
11	Claude Kirchner, Hélène Kirchner	Constrained Equational Reasoning.	ISSAC	1989	DBLP DOI BibTeX RDF
11	Thomas L. Sterling, D. Scott Wills, Ellery Y. Chan	Tokenless static data flow using associative templates.	SC	1988	DBLP DOI BibTeX RDF
11	Pierre Jouvelot	Parallelization by Semantic Detection of Reductions.	ESOP	1986	DBLP DOI BibTeX RDF
11	Ahlem Ben Cherifa, Pierre Lescanne	An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.	CADE	1986	DBLP DOI BibTeX RDF
11	Tie-Cheng Wang	ECR: An Equality Conditional Resolution Proof Procedure.	CADE	1986	DBLP DOI BibTeX RDF
11	Stefan Arnborg, Erik Tidén	Unification Problems with One-Sided Distributivity.	RTA	1985	DBLP DOI BibTeX RDF
11	Leo Bachmair, David A. Plaisted	Associative Path Orderings.	RTA	1985	DBLP DOI BibTeX RDF
11	Hartmut Ehrig	Algebraic Theory of Parameterized Specifications with Requirements.	CAAP	1981	DBLP DOI BibTeX RDF
11	David R. Musser	On Proving Inductive Properties of Abstract Data Types.	POPL	1980	DBLP DOI BibTeX RDF
11	Susan L. Graham, Charles B. Haley, William N. Joy	Practical LR error recovery.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
11	Jeffrey J. Rothschild	Cache organizations.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	Buffer memories, computer architecture, cache memories, paging, memory organization
11	Peter Wegner	Translation Networks and Function Composition.	J. ACM	1969	DBLP DOI BibTeX RDF