Search results for "commutativity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations.	IPPS	1996	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis
91	John Eberhard, Anand Tripathi	Object-Based Commutativity Analysis for Real-Time Applications.	WORDS	2005	DBLP DOI BibTeX RDF
79	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
78	Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001	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
78	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
67	Paul Wu, Alan D. Fekete	An Empirical Study of Commutativity in Application Code.	IDEAS	2003	DBLP DOI BibTeX RDF
67	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
67	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers.	PLDI	1996	DBLP DOI BibTeX RDF
66	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
66	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
55	Paul Wu, Alan D. 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
55	Martin C. Rinard, Pedro C. Diniz	Semantic Foundations of Commutativity Analysis.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
43	Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon	Commutativity Analysis in XML Update Languages.	ICDT	2007	DBLP DOI BibTeX RDF
43	Rui Li 0018, Du Li	Commutativity-based concurrency control in groupware.	CollaborateCom	2005	DBLP DOI BibTeX RDF
43	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
43	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
43	James R. Slagle	Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.	J. ACM	1974	DBLP DOI BibTeX RDF
42	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
38	Tim Soethout, Tijs van der Storm, Jurgen J. Vinju	Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions.	AGERE!@SPLASH	2021	DBLP DOI BibTeX RDF
38	Sebastian Fortin, Manuel Gadella, Federico Hernan Holik, Marcelo Losada	Evolution of quantum observables: from non-commutativity to commutativity.	Soft Comput.	2020	DBLP DOI BibTeX RDF
38	Maxime Amblard	Encoding Phases using Commutativity and Non-commutativity in a Logical Framework	CoRR	2011	DBLP BibTeX RDF
38	Maxime Amblard	Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework.	LACL	2011	DBLP DOI BibTeX RDF
38	Robert L. Probert	Commutativity, Non-Commutativity, and Bilinearity.	Inf. Process. Lett.	1976	DBLP DOI BibTeX RDF
35	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
35	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
35	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
35	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, message, relation, 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
31	Jesús Medina 0001	Overcoming Non-commutativity in Multi-adjoint Concept Lattices.	IWANN (1)	2009	DBLP DOI BibTeX RDF
31	Rachel Pottinger, Philip A. Bernstein	Associativity and Commutativity in Generic Merge.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
31	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
31	Frédéric Magniez, Ashwin Nayak 0001	Quantum Complexity of Testing Group Commutativity.	Algorithmica	2007	DBLP DOI BibTeX RDF
31	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
31	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 (2)	2007	DBLP DOI BibTeX RDF
31	Dorel Lucanu	Proving Behavioral Commutativity with CIRC.	SYNASC	2007	DBLP DOI BibTeX RDF
31	Gianfranco L. Cariolaro, Peter Kraniauskas, Lorenzo Vangelista	A novel general formulation of up/downsampling commutativity.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
31	Frédéric Magniez, Ashwin Nayak 0001	Quantum Complexity of Testing Group Commutativity.	ICALP	2005	DBLP DOI BibTeX RDF
31	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
31	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
31	Guangyuan Guo, Ryszard Janicki	Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.	AMAST	2002	DBLP DOI BibTeX RDF
31	István Faragó, Ágnes Havasi	The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity.	LSSC	2001	DBLP DOI BibTeX RDF
31	B. R. Badrinath, Krithi Ramamritham	Semantics-Based Concurrency Control: Beyond Commutativity.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	concurrency control, semantic information
31	Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson	Complete Sets of Reductions Modulo Associativity, Commutativity and Identity.	RTA	1989	DBLP DOI BibTeX RDF
31	C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz	Compatibility and Commutativity in Non-two-phase Locking Protocols.	PODS	1982	DBLP DOI BibTeX RDF
31	Adi Shamir	On the Power of Commutativity in Cryptography.	ICALP	1980	DBLP DOI BibTeX RDF
24	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	Termination Modulo Combinations of Equational Theories.	FroCoS	2009	DBLP DOI BibTeX RDF
24	Giorgio Grisetti, Slawomir Grzonka, Cyrill Stachniss, Patrick Pfaff, Wolfram Burgard	Efficient estimation of accurate maximum likelihood maps in 3D.	IROS	2007	DBLP DOI BibTeX RDF
24	Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.	IJCAR	2006	DBLP DOI BibTeX RDF
24	Young Jun, Jong Youl Kim, Hee Kim	On Q-Upper Algebras.	Order	2005	DBLP DOI BibTeX RDF	upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
24	Neil Thapen, Michael Soltys	Weak theories of linear algebra.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
24	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
24	George Georgescu, Andrei Popescu 0001	Non-commutative fuzzy Galois connections.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
24	Laurent Granvilliers, Éric Monfroy	Implementing Constraint Propagation by Composition of Reductions.	ICLP	2003	DBLP DOI BibTeX RDF	chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation
24	Alexandre Boudet, Evelyne Contejean	Combining Pattern E-Unification Algorithms.	RTA	2001	DBLP DOI BibTeX RDF
24	Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled	A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).	CAV	1998	DBLP DOI BibTeX RDF
24	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	SAS	1998	DBLP DOI BibTeX RDF	occur-check, rational trees, set-sharing, logic programming, abstract interpretation
24	Dexter Kozen	Kleene Algebra with Tests.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	specification, dynamic logic, Kleene algebra
24	Yatin P. Saraiya	Hard Problems for Simple Logic Programs.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
24	B. R. Badrinath, Krithi Ramamritham	Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
24	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
24	Raghu Ramakrishnan 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi	Proof-Tree Transformation Theorems and Their Applications.	PODS	1989	DBLP DOI BibTeX RDF
24	Ashok K. Chandra	On the Decision Problems of Program Schemas with Commutative and Invertable Functions.	POPL	1973	DBLP DOI BibTeX RDF
23	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
23	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
23	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
23	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
23	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
23	Martin C. Rinard, Pedro C. Diniz	Eliminating synchronization bottlenecks using adaptive replication.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations
23	Martin C. Rinard	Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization
23	Gihyun Jung	Comments on "Some Additions to Solution of Switching Equations Based on a Tabular Algebra".	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	simultaneous equations, commutativity, tabular expressions, Exclusive-OR, Boolean equations
19	Azadeh Farzan, Dominik Klumpp, Andreas Podelski	Commutativity Simplifies Proofs of Parameterized Programs.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
19	Madeleine Al-Tahan, Bijan Davvaz, P. Harikrishnan, Pallavi Pallavi	Subpolygroup commutativity degree of finite extension polygroup.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
19	James M. Foster, Gonçalo Dos Reis, Calum Strange	High Order Splitting Methods for SDEs Satisfying a Commutativity Condition.	SIAM J. Numer. Anal.	2024	DBLP DOI BibTeX RDF
19	Abhra Chaudhuri, Serban Georgescu, Anjan Dutta 0001	Learning Conditional Invariances through Non-Commutativity.	CoRR	2024	DBLP DOI BibTeX RDF
19	G. S. Venkatesh	On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems.	CoRR	2024	DBLP DOI BibTeX RDF
19	Randy Kuang	QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group.	CoRR	2024	DBLP DOI BibTeX RDF
19	Randy Kuang	QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
19	Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li 0037	A method of test case set generation in the commutativity test of reduce functions.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
19	Azadeh Farzan, Dominik Klumpp, Andreas Podelski	Stratified Commutativity in Verification Algorithms for Concurrent Programs.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
19	Marco Eilers, Thibault Dardinier, Peter Müller 0001	CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
19	Feidan Huang, Zexi Deng, Fasheng Cao	Generalized commutativity of intuitionistic fuzzy finite state machine.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Azadeh Farzan, Dominik Klumpp, Andreas Podelski	Commutativity Simplifies Proofs of Parameterized Programs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Constantin Enea, Parisa Fathololumi, Eric Koskinen	The Commutativity Quotients of Concurrent Objects.	CoRR	2023	DBLP DOI BibTeX RDF
19	Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo	Factorization number and subgroup commutativity degree via spectral invariants.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
19	Danya Lette, Azadeh Farzan	Commutativity for Concurrent Program Termination Proofs.	CAV (1)	2023	DBLP DOI BibTeX RDF
19	Stepan L. Kuznetsov	On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.	ICTAC	2023	DBLP DOI BibTeX RDF
19	Azadeh Farzan	Commutativity in Automated Verification.	LICS	2023	DBLP DOI BibTeX RDF
19	Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen	Better Predicates and Heuristics for Improved Commutativity Synthesis.	ATVA	2023	DBLP DOI BibTeX RDF
19	Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters	A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists.	APLAS	2023	DBLP DOI BibTeX RDF
19	Isabelle Boni, Steven T. Piantadosi	The role of cultural support on commutativity at varying levels of abstraction.	CogSci	2023	DBLP BibTeX RDF
19	Toshikazu Ishida, Shuichi Inokuchi	Multiplication of Local Formulae and Commutativity of CAs with Essentially 3-Neighborhood Local Functions over Monoid N.	CANDARW	2023	DBLP DOI BibTeX RDF
19	Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus	Veracity: declarative multicore programming with commutativity.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
19	Toshikazu Ishida, Shuichi Inokuchi	Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids.	Int. J. Netw. Comput.	2022	DBLP BibTeX RDF
19	James M. Foster, Gonçalo Dos Reis, Calum Strange	High order splitting methods for SDEs satisfying a commutativity condition.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ji Xin, Raphael Tang, Zhiying Jiang, Yaoliang Yu, Jimmy Lin	Building an Efficiency Pipeline: Commutativity and Cumulativeness of Efficiency Operators for Transformers.	CoRR	2022	DBLP DOI BibTeX RDF
19	Frank Qiu	Commutativity and Disentanglement from the Manifold Perspective.	CoRR	2022	DBLP DOI BibTeX RDF
19	Marco Eilers, Thibault Dardinier, Peter Müller 0001	CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.	CoRR	2022	DBLP DOI BibTeX RDF
19	Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus	Veracity: Declarative Multicore Programming with Commutativity.	CoRR	2022	DBLP DOI BibTeX RDF
19	Sisi Li, Ao Zhou 0001, Xiao Ma 0009, Mengwei Xu, Shangguang Wang	Commutativity-guaranteed Docker Image Reconstruction towards Effective Layer Sharing.	WWW	2022	DBLP DOI BibTeX RDF
19	Frédéric Blanqui	Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity.	FSCD	2022	DBLP DOI BibTeX RDF
19	Isabelle Boni, Steven T. Piantadosi	Culture and Commutativity.	CogSci	2022	DBLP BibTeX RDF