Search results for "commutativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Peng Liu 0005, Paul Ammann, Sushil Jajodia	Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications.	ICDCS	1999	DBLP DOI BibTeX RDF	Transaction Processing, Data Replication, Mobile Databases
12	Thomas Noll 0001	On Coherence Properties in Team Rewriting Models of Concurrency.	CONCUR	1999	DBLP DOI BibTeX RDF
12	Eike Best, Alexander Lavrov	Weak and Strong Composition of High-Level Petri-Nets.	CONCUR	1999	DBLP DOI BibTeX RDF
12	Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas	A new viewpoint on code generation for directed acyclic graphs.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	binate covering, code generation, directed acyclic graphs
12	Grigore Rosu, Joseph A. Goguen	Hidden Congruent Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
12	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith	Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.	MFCS	1998	DBLP DOI BibTeX RDF
12	Claude Marché, Xavier Urbain	Termination of Associative-Commutative Rewriting by Dependency Pairs.	RTA	1998	DBLP DOI BibTeX RDF
12	Ganesh Lakshminarayana, Niraj K. Jha	FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
12	Dexter Kozen	On the Complexity of Reasoning in Kleene Algebra.	LICS	1997	DBLP DOI BibTeX RDF
12	Maria Paola Bonacina	The Clause-Diffusion Theorem Prover Peers-mcd (System Description).	CADE	1997	DBLP DOI BibTeX RDF
12	Andrea Sattler-Klein	New Undecidablility Results for Finitely Presented Monoids.	RTA	1997	DBLP DOI BibTeX RDF
12	Denis Béchet, Philippe de Groote, Christian Retoré	A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.	RTA	1997	DBLP DOI BibTeX RDF
12	Theo M. V. Janssen	An Overview of Compositional Translations.	COMPOS	1997	DBLP DOI BibTeX RDF
12	Qing Guo, Paliath Narendran, David A. Wolfram	Unification and Matching Modulo Nilpotence.	CADE	1996	DBLP DOI BibTeX RDF	Subject area MECHANISMS, unification
12	Guozhu Dong, Jianwen Su	Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.	ICDT	1995	DBLP DOI BibTeX RDF
12	Miodrag Potkonjak, Jan M. Rabaey	Optimizing resource utilization using transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
12	Shankar Pal, Sitaram Lanka	Isolation of Transaction Aborts in Object-Oriented Database Management Systems.	CIKM	1994	DBLP DOI BibTeX RDF
12	Robert Nieuwenhuis, Albert Rubio	AC-Superposition with Constraints: No AC-Unifiers Needed.	CADE	1994	DBLP DOI BibTeX RDF
12	Meena Mahajan, V. Vinay	Non-commutative Computation, Depth Reduction, and Skew Circuits (Extended Abstract).	FSTTCS	1994	DBLP DOI BibTeX RDF
12	Frederico Buchholz Maciel, Yoshikazu Miyanaga, Koji Tochinai	An optimization technique for lowering the iteration bound of DSP programs.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
12	Sergei Soloviev 0001	A Complete Axiom System for Isomorphism of Types in Closed Categories.	LPAR	1993	DBLP DOI BibTeX RDF
12	Konrad Slind	AC Unification in HOL90.	HUG	1993	DBLP DOI BibTeX RDF
12	Hong Va Leong, Divyakant Agrawal, Jonathan R. Agre	Using Message Semantics to Reduce Rollback in the Time Wrap Mechanism.	WDAG	1993	DBLP DOI BibTeX RDF
12	Jordi Levy, Jaume Agustí-Cullell	Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations.	RTA	1993	DBLP DOI BibTeX RDF
12	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
12	Paliath Narendran, Michaël Rusinowitch	Any Gound Associative-Commutative Theory Has a Finite Canonical System.	RTA	1991	DBLP DOI BibTeX RDF
12	Claude Marché	On Ground AC-Completion.	RTA	1991	DBLP DOI BibTeX RDF
12	Eric Domenjoud	AC Unification Through Order-Sorted AC1 Unification.	RTA	1991	DBLP DOI BibTeX RDF
12	Rolf Socher-Ambrosius	Boolean Algebra Admits No Convergent Term Rewriting System.	RTA	1991	DBLP DOI BibTeX RDF	Term Rewriting, Boolean Algebra, Automated Theorem Proving
12	Subrata Mitra, G. Sivakumar	AC-Equation Solving.	FSTTCS	1991	DBLP DOI BibTeX RDF
12	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
12	Gerald E. Peterson	Complete Sets of Reductions with Constraints.	CADE	1990	DBLP DOI BibTeX RDF
12	William E. Weihl	The Impact of Recovery on Concurrency Control.	PODS	1989	DBLP DOI BibTeX RDF
12	Claude Kirchner, Hélène Kirchner	Constrained Equational Reasoning.	ISSAC	1989	DBLP DOI BibTeX RDF
12	Eduardo Pelegrí-Llopart, Susan L. Graham	Optimal Code Generation for Expression Trees: An Application of BURS Theory.	POPL	1988	DBLP DOI BibTeX RDF
12	Joffroy Beauquier, Antoine Petit 0001	Distribution of Sequential Processes.	MFCS	1988	DBLP DOI BibTeX RDF
12	Akhil Kumar 0001, Michael Stonebraker	Semantics Based Transaction Management Techniques for Replicated Data.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
12	Maurice Herlihy, William E. Weihl	Hybrid Concurrency Control for Abstract Data Types.	PODS	1988	DBLP DOI BibTeX RDF
12	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
12	Marek Chrobak, Wojciech Rytter	Unique Deciperability for Partially Commutative Alphabet (Extended Abstract).	MFCS	1986	DBLP DOI BibTeX RDF
12	Leo Bachmair, David A. Plaisted	Associative Path Orderings.	RTA	1985	DBLP DOI BibTeX RDF
12	Mariangiola Dezani-Ciancaglini, Maddalena Zacchi	Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.	ICALP	1974	DBLP DOI BibTeX RDF