Search results for "commutativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon	Commutativity analysis for XML updates.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	optimization, XML, XQuery, updates, commutativity
3	Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson	Automating commutativity analysis at the design level.	ISSTA	2004	DBLP DOI BibTeX RDF	proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods
3	Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita	Commutativity as Prior Knowledge in Fuzzy Modeling.	IFSA	2003	DBLP DOI BibTeX RDF	Fuzzy modeling, commutativity, prior knowledge
3	Krzysztof R. Apt	The role of commutativity in constraint propagation algorithms.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	constraint propagation, commutativity, generic algorithms
3	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis
2	Farhana Aleen, Nathan Clark	Commutativity analysis for software parallelization: letting program transformations see the big picture.	ASPLOS	2009	DBLP DOI BibTeX RDF	automatic software parallelization, commutative functions, random interpretation
2	Rachel Pottinger, Philip A. Bernstein	Associativity and Commutativity in Generic Merge.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
2	Jesús Medina	Overcoming Non-commutativity in Multi-adjoint Concept Lattices.	IWANN	2009	DBLP DOI BibTeX RDF
2	Eric Koskinen, Maurice Herlihy	Brief announcement: concurrent non-commutative boosted transactions.	PODC	2009	DBLP DOI BibTeX RDF	cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity
2	Paul Wu, Alan Fekete, Uwe Röhm	The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Persistent Object Systems, Concurrency Control, Object-oriented Databases, Transaction Processing
2	Frédéric Magniez, Ashwin Nayak	Quantum Complexity of Testing Group Commutativity.	Algorithmica	2007	DBLP DOI BibTeX RDF
2	Stefan Beyer, María Idoia Ruiz-Fuertes, Pablo Galdámez, Francesc D. Muñoz-Escoí	Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems.	OTM Workshops	2007	DBLP DOI BibTeX RDF
2	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
2	Dorel Lucanu	Proving Behavioral Commutativity with CIRC.	SYNASC	2007	DBLP DOI BibTeX RDF
2	Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon	Commutativity Analysis in XML Update Languages.	ICDT	2007	DBLP DOI BibTeX RDF
2	Gianfranco Cariolaro, Peter Kraniauskas, Lorenzo Vangelista	A novel general formulation of up/downsampling commutativity.	IEEE Transactions on Signal Processing	2005	DBLP DOI BibTeX RDF
2	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory.	ICTCS	2005	DBLP DOI BibTeX RDF
2	Frédéric Magniez, Ashwin Nayak	Quantum Complexity of Testing Group Commutativity.	ICALP	2005	DBLP DOI BibTeX RDF
2	John Eberhard, Anand Tripathi	Object-Based Commutativity Analysis for Real-Time Applications.	WORDS	2005	DBLP DOI BibTeX RDF
2	Rui Li, Du Li	Commutativity-based concurrency control in groupware.	CollaborateCom	2005	DBLP DOI BibTeX RDF
2	Paul Wu, Alan Fekete	An Empirical Study of Commutativity in Application Code.	IDEAS	2003	DBLP DOI BibTeX RDF
2	Arthur Charlesworth	The undecidability of associativity and commutativity analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
2	Guangyuan Guo, Ryszard Janicki	Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.	AMAST	2002	DBLP DOI BibTeX RDF
2	István Faragó, Ágnes Havasi	The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity.	LSSC	2001	DBLP DOI BibTeX RDF
2	Anatolij Dvurecenskij	On pseudo MV-algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	?-group, Partial addition, Normal ideal, Archimedean property, MV-algebra, State, Commutativity, Ideal, Pseudo MV-algebra
2	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	parallel computing
2	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers.	PLDI	1996	DBLP DOI BibTeX RDF
2	Martin C. Rinard, Pedro C. Diniz	Semantic Foundations of Commutativity Analysis.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
2	Malika Guerni, Jean Ferrié, Jean-François Pons	Concurrency and Recovery for Typed Objects using a New Commutativity Relation.	DOOD	1995	DBLP DOI BibTeX RDF
2	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
2	B. R. Badrinath, Krithi Ramamritham	Semantics-Based Concurrency Control: Beyond Commutativity.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	concurrency control, semantic information
2	Jean-Pierre Jouannaud, Claude Marché	Completion modulo Associativity, Commutativity and Identity (AC1).	DISCO	1990	DBLP DOI BibTeX RDF	Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination
2	Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson	Complete Sets of Reductions Modulo Associativity, Commutativity and Identity.	RTA	1989	DBLP DOI BibTeX RDF
2	William E. Weihl	Commutativity-Based Concurrency Control for Abstract Data Types.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial
2	G. R. Blakley	Information Theory Without the Finiteness Assumption, II: Unfolding the DES.	CRYPTO	1985	DBLP DOI BibTeX RDF	Caesar cipher, codomain, polyalphabet, ramp scheme, toroidal matrix, distributivity, composite, product, group, code, continuous, function, position, diffusion, associativity, discrete, relation, message, DES, ring, arithmetic, domain, matrix, galois field, substitution, symbol, commutativity, cryptosystem, replacement, field, vector space, universal algebra, threshold scheme, transposition, symmetric group, confusion, sum, cyclic group, alphabet
2	Mark E. Stickel	A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity.	CADE	1984	DBLP DOI BibTeX RDF
2	C. Mohan, Donald S. Fussell, Abraham Silberschatz	Compatibility and Commutativity in Non-two-phase Locking Protocols.	PODS	1982	DBLP DOI BibTeX RDF
2	Adi Shamir	On the Power of Commutativity in Cryptography.	ICALP	1980	DBLP DOI BibTeX RDF
2	James R. Slagle	Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.	J. ACM	1974	DBLP DOI BibTeX RDF
1	Kalpana Mahalingam, K. G. Subramanian	Product of Parikh Matrices and Commutativity.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan	Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.	POST	2012	DBLP DOI BibTeX RDF
1	Pavel Hrubes	How much commutativity is needed to prove polynomial identities?	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Thomas Bier, Imed Zaguia	Commutativity conditions for groups arising from acyclic directed graphs and posets.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
1	H. F. Chau	Metrics on unitary matrices and their application to quantifying the degree of non-commutativity between unitary matrices.	Quantum Information & Computation	2011	DBLP BibTeX RDF
1	Tianrong Lin	On commutativity of quantum weakest preconditions	CoRR	2011	DBLP BibTeX RDF
1	Maxime Amblard	Encoding Phases using Commutativity and Non-commutativity in a Logical Framework	CoRR	2011	DBLP BibTeX RDF
1	Maxime Amblard	Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework.	LACL	2011	DBLP DOI BibTeX RDF
1	Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali	Exploiting the commutativity lattice.	PLDI	2011	DBLP DOI BibTeX RDF
1	Deokhwan Kim, Martin C. Rinard	Verification of semantic commutativity conditions and inverse operations on linked data structures.	PLDI	2011	DBLP DOI BibTeX RDF
1	Daniel Liberzon, Stephan Trenn, Fabian Wirth	Commutativity and asymptotic stability for linear switched DAEs.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	Carmelo Malta, José Martinez	A framework for designing concurrent and recoverable abstract data types based on commutativity	CoRR	2010	DBLP BibTeX RDF
1	Carmelo Malta, José Martinez	Limits of Commutativity on Abstract Data Types	CoRR	2010	DBLP BibTeX RDF
1	Yan Ma, R. Mercer	A solution to commutativity problems found in iterated belief revision.	IEEE ICCI	2010	DBLP DOI BibTeX RDF
1	Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy	Coarse-grained transactions.	POPL	2010	DBLP DOI BibTeX RDF	coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity
1	Liang Han, Wei Liu, James Tuck	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
1	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
1	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
1	S. Akbari, F. Moazami, A. Mohammadian	Commutativity of the adjacency matrices of graphs.	Discrete Mathematics	2009	DBLP DOI BibTeX RDF
1	Hong-Yan Wang	Commutativity of source generation procedure and Bäcklund transformation: A BKP equation.	Mathematics and Computers in Simulation	2009	DBLP DOI BibTeX RDF
1	Koen Maes, Bernard De Baets	Commutativity and self-duality: Two tales of one equation.	Int. J. Approx. Reasoning	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On commutativity based Edge Lean search.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
1	Ildar Z. Batyrshin, Imre J. Rudas, Aleksandra Panova	On Generation of Digital Fuzzy Parametric Conjunctions.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	Digital fuzzy conjunction, conjunctor, semicopula, finite scale, tnorm, commutativity
1	Dimitris Mostrous, Nobuko Yoshida, Kohei Honda	Global Principal Typing in Partially Commutative Asynchronous Sessions.	ESOP	2009	DBLP DOI BibTeX RDF
1	Francisco Durán, Salvador Lucas, José Meseguer	Termination Modulo Combinations of Equational Theories.	FroCos	2009	DBLP DOI BibTeX RDF
1	Ashish Tiwari	Combining Equational Reasoning.	FroCos	2009	DBLP DOI BibTeX RDF
1	Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey	Demand-Driven Normalisation for ACD Term Rewriting.	ICLP	2009	DBLP DOI BibTeX RDF
1	Helmut Seidl, Kumar Neeraj Verma	Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case.	RTA	2009	DBLP DOI BibTeX RDF
1	Alwen Tiu, Rajeev Goré	A Proof Theoretic Analysis of Intruder Theories.	RTA	2009	DBLP DOI BibTeX RDF	AC convergent theories, intruder deduction, security protocols, sequent calculus
1	Dimitris Mostrous, Nobuko Yoshida	Session-Based Communication Optimisation for Higher-Order Mobile Processes.	TLCA	2009	DBLP DOI BibTeX RDF
1	Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe	Exponentiable Functors Between Quantaloid-Enriched Categories.	Applied Categorical Structures	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F07, 18A22, 18D20, 18D05
1	Ivan Chajda	Double Basic Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06C15, 03G25, 08A65
1	Miklós Ferenczi	On Conservative Extensions in Logics with Infinitary Predicates.	Studia Logica	2009	DBLP DOI BibTeX RDF	conservative extension, infinitary predicates, algebraic logic
1	Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena	Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for worst-case one-way functions.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	István Faragó, Ágnes Havasi	Relationship between vanishing splitting errors and pairwise commutativity.	Appl. Math. Lett.	2008	DBLP DOI BibTeX RDF
1	Chun Yuan Deng	The Drazin inverse of bounded operators with commutativity up to a factor.	Applied Mathematics and Computation	2008	DBLP DOI BibTeX RDF
1	H. Doostie, M. Maghasedi	Certain classes of groups with commutativity degree d(G) < 1/2.	Ars Comb.	2008	DBLP BibTeX RDF
1	Irwin W. Sandberg	On Engineering Education, Superposition, and Commutativity.	IEEE Trans. on Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Sven Apel, Christian Kästner, Don S. Batory	Program refactoring using functional aspects.	GPCE	2008	DBLP DOI BibTeX RDF	aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
1	Maurice Herlihy, Eric Koskinen	Transactional boosting: a methodology for highly-concurrent transactional objects.	PPOPP	2008	DBLP DOI BibTeX RDF	abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
1	Mark Edward John Butcher, Alireza Karimi, Roland Longchamp	Data-driven precompensator tuning for linear parameter varying systems.	CDC	2008	DBLP DOI BibTeX RDF
1	Guiwu Wei, Wende Yi	Induced Interval-Valued Intuitionistic Fuzzy OWG Operator.	FSKD	2008	DBLP DOI BibTeX RDF
1	Changyan Zhou, Ratnesh Kumar	Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Frank Drewes, Berthold Hoffmann, Mark Minas	Adaptive Star Grammars for Graph Models.	ICGT	2008	DBLP DOI BibTeX RDF
1	Saurabh Amin, Falk M. Hante, Alexandre M. Bayen	On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries.	HSCC	2008	DBLP DOI BibTeX RDF
1	José Oncina	Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries.	ICGI	2008	DBLP DOI BibTeX RDF
1	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
1	Camilo Rocha, José Meseguer	Theorem Proving Modulo Based on Boolean Equational Procedures.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Guiwu Wei	Induced Intuitionistic Fuzzy Ordered Weighted Averaging Operator and Its Application to Multiple Attribute Group Decision Making.	RSKT	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy numbers, Induced intuitionistic fuzzy ordered weighted averaging (I-IFOWA) operator, Group decision making
1	Naoki Kobayashi, Hitoshi Ohsaki	Tree Automata for Non-linear Arithmetic.	RTA	2008	DBLP DOI BibTeX RDF
1	Sebastian Dörn, Thomas Thierauf	The Quantum Complexity of Group Testing.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Miklos Santha	Quantum Walk Based Search Algorithms.	TAMC	2008	DBLP DOI BibTeX RDF
1	Ryszard Janicki	Relational structures model of concurrency.	Acta Inf.	2008	DBLP DOI BibTeX RDF
1	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
1	Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan	Commutativity of quantum weakest preconditions.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
1	Jun-Xiao Zhao	Commutativity of Pfaffianization and Bäcklund transformation: The semi-discrete Toda equation.	Mathematics and Computers in Simulation	2007	DBLP DOI BibTeX RDF
1	P. Michael Melliar-Smith, Louise E. Moser	Achieving Atomicity for Web Services Using Commutativity of Actions.	J. UCS	2007	DBLP BibTeX RDF
1	Kosta Dosen, Zoran Petric	Medial commutativity.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Pradeep Varma	Generalizing recognition of an individual dialect in program analysis and transformation.	SAC	2007	DBLP DOI BibTeX RDF	commutative transforms, dialect recognition, location anchors, map, corrections, errors, merging