The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Commutativity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1982 (15) 1984-1988 (18) 1989-1990 (15) 1991-1992 (15) 1993-1995 (17) 1996-1998 (23) 1999-2000 (26) 2001-2002 (24) 2003 (19) 2004 (15) 2005 (23) 2006-2007 (31) 2008 (24) 2009 (24) 2010-2011 (16) 2012-2014 (16) 2015-2016 (19) 2017 (15) 2018-2019 (27) 2020-2021 (29) 2022-2023 (23) 2024 (8)
Publication types (Num. hits)
article(199) incollection(3) inproceedings(239) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 236 occurrences of 190 keywords

Results
Found 442 publication records. Showing 442 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
101Martin C. Rinard, Pedro C. Diniz Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. Search on Bibsonomy IPPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis
91John Eberhard, Anand Tripathi Object-Based Commutativity Analysis for Real-Time Applications. Search on Bibsonomy WORDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Malika Guerni, Jean Ferrié, Jean-François Pons Concurrency and Recovery for Typed Objects using a New Commutativity Relation. Search on Bibsonomy DOOD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
78Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001 Automating commutativity analysis at the design level. Search on Bibsonomy ISSTA The full citation details ... 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
78Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita Commutativity as Prior Knowledge in Fuzzy Modeling. Search on Bibsonomy IFSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Fuzzy modeling, commutativity, prior knowledge
67Paul Wu, Alan D. Fekete An Empirical Study of Commutativity in Application Code. Search on Bibsonomy IDEAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Martin C. Rinard, Pedro C. Diniz Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF parallel computing
67Martin C. Rinard, Pedro C. Diniz Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
66Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon Commutativity analysis for XML updates. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, XML, XQuery, updates, commutativity
66Krzysztof R. Apt The role of commutativity in constraint propagation algorithms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint propagation, commutativity, generic algorithms
55Paul Wu, Alan D. Fekete, Uwe Röhm The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Persistent Object Systems, Concurrency Control, Object-oriented Databases, Transaction Processing
55Martin C. Rinard, Pedro C. Diniz Semantic Foundations of Commutativity Analysis. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
43Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon Commutativity Analysis in XML Update Languages. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Rui Li 0018, Du Li Commutativity-based concurrency control in groupware. Search on Bibsonomy CollaborateCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Jean-Pierre Jouannaud, Claude Marché Completion modulo Associativity, Commutativity and Identity (AC1). Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination
43Mark E. Stickel A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
43James R. Slagle Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
42William E. Weihl Commutativity-Based Concurrency Control for Abstract Data Types. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
38Tim Soethout, Tijs van der Storm, Jurgen J. Vinju Contract-based return-value commutativity: safely exploiting contract-based commutativity for faster serializable transactions. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
38Sebastian Fortin, Manuel Gadella, Federico Hernan Holik, Marcelo Losada Evolution of quantum observables: from non-commutativity to commutativity. Search on Bibsonomy Soft Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
38Maxime Amblard Encoding Phases using Commutativity and Non-commutativity in a Logical Framework Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
38Maxime Amblard Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework. Search on Bibsonomy LACL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
38Robert L. Probert Commutativity, Non-Commutativity, and Bilinearity. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
35Eric Koskinen, Maurice Herlihy Brief announcement: concurrent non-commutative boosted transactions. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity
35Anatolij Dvurecenskij On pseudo MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ?-group, Partial addition, Normal ideal, Archimedean property, MV-algebra, State, Commutativity, Ideal, Pseudo MV-algebra
35R. Govindarajan Exception Handlers in Functional Programming Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
35G. R. Blakley Information Theory Without the Finiteness Assumption, II: Unfolding the DES. Search on Bibsonomy CRYPTO The full citation details ... 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
31Jesús Medina 0001 Overcoming Non-commutativity in Multi-adjoint Concept Lattices. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Rachel Pottinger, Philip A. Bernstein Associativity and Commutativity in Generic Merge. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Farhana Aleen, Nathan Clark Commutativity analysis for software parallelization: letting program transformations see the big picture. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automatic software parallelization, commutative functions, random interpretation
31Frédéric Magniez, Ashwin Nayak 0001 Quantum Complexity of Testing Group Commutativity. Search on Bibsonomy Algorithmica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled On Commutativity Based Edge Lean Search. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Stefan Beyer, María Idoia Ruiz-Fuertes, Pablo Galdámez, Francesc D. Muñoz-Escoí Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems. Search on Bibsonomy OTM Workshops (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Dorel Lucanu Proving Behavioral Commutativity with CIRC. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Gianfranco L. Cariolaro, Peter Kraniauskas, Lorenzo Vangelista A novel general formulation of up/downsampling commutativity. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Frédéric Magniez, Ashwin Nayak 0001 Quantum Complexity of Testing Group Commutativity. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory. Search on Bibsonomy ICTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Arthur Charlesworth The undecidability of associativity and commutativity analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
31Guangyuan Guo, Ryszard Janicki Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31István Faragó, Ágnes Havasi The Mathemathical Background of Operator Splitting and the Effect of Non-commutativity. Search on Bibsonomy LSSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31B. R. Badrinath, Krithi Ramamritham Semantics-Based Concurrency Control: Beyond Commutativity. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF concurrency control, semantic information
31Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
31C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz Compatibility and Commutativity in Non-two-phase Locking Protocols. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
31Adi Shamir On the Power of Commutativity in Cryptography. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 Termination Modulo Combinations of Equational Theories. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Giorgio Grisetti, Slawomir Grzonka, Cyrill Stachniss, Patrick Pfaff, Wolfram Burgard Efficient estimation of accurate maximum likelihood maps in 3D. Search on Bibsonomy IROS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Young Jun, Jong Youl Kim, Hee Kim On Q-Upper Algebras. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF upper set, Q-upper algebra, (positive) implicative, quasi-commutative, commutative, BCK-algebra
24Neil Thapen, Michael Soltys Weak theories of linear algebra. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Liqiang Wang, Scott D. Stoller Static analysis of atomicity for programs with non-blocking synchronization. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
24George Georgescu, Andrei Popescu 0001 Non-commutative fuzzy Galois connections. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
24Laurent Granvilliers, Éric Monfroy Implementing Constraint Propagation by Composition of Reductions. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation
24Alexandre Boudet, Evelyne Contejean Combining Pattern E-Unification Algorithms. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Parosh Aziz Abdulla, Bengt Jonsson 0001, Mats Kindahl, Doron A. Peled A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Patricia M. Hill, Roberto Bagnara, Enea Zaffanella The Correctness of Set-Sharing. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF occur-check, rational trees, set-sharing, logic programming, abstract interpretation
24Dexter Kozen Kleene Algebra with Tests. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF specification, dynamic logic, Kleene algebra
24Yatin P. Saraiya Hard Problems for Simple Logic Programs. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Datalog
24B. R. Badrinath, Krithi Ramamritham Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24C. Faure A Meta Simplifier. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Raghu Ramakrishnan 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. Search on Bibsonomy PODS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Ashok K. Chandra On the Decision Problems of Program Schemas with Commutative and Invertable Functions. Search on Bibsonomy POPL The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
23Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy Coarse-grained transactions. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity
23Ildar Z. Batyrshin, Imre J. Rudas, Aleksandra Panova On Generation of Digital Fuzzy Parametric Conjunctions. Search on Bibsonomy Towards Intelligent Engineering and Information Technology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Digital fuzzy conjunction, conjunctor, semicopula, finite scale, tnorm, commutativity
23Robert 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. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deterministic parallelism, determinism, effects, commutativity, effect systems
23Sven Apel, Christian Kästner, Don S. Batory Program refactoring using functional aspects. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
23Maurice Herlihy, Eric Koskinen Transactional boosting: a methodology for highly-concurrent transactional objects. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
23Martin C. Rinard, Pedro C. Diniz Eliminating synchronization bottlenecks using adaptive replication. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations
23Martin C. Rinard Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization
23Gihyun Jung Comments on "Some Additions to Solution of Switching Equations Based on a Tabular Algebra". Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF simultaneous equations, commutativity, tabular expressions, Exclusive-OR, Boolean equations
19Azadeh Farzan, Dominik Klumpp, Andreas Podelski Commutativity Simplifies Proofs of Parameterized Programs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Madeleine Al-Tahan, Bijan Davvaz, P. Harikrishnan, Pallavi Pallavi Subpolygroup commutativity degree of finite extension polygroup. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19James M. Foster, Gonçalo Dos Reis, Calum Strange High Order Splitting Methods for SDEs Satisfying a Commutativity Condition. Search on Bibsonomy SIAM J. Numer. Anal. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Abhra Chaudhuri, Serban Georgescu, Anjan Dutta 0001 Learning Conditional Invariances through Non-Commutativity. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19G. S. Venkatesh On Structural Non-commutativity in Affine Feedback of SISO Nonlinear Systems. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Randy Kuang QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Randy Kuang QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2024 DBLP  BibTeX  RDF
19Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li 0037 A method of test case set generation in the commutativity test of reduce functions. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Azadeh Farzan, Dominik Klumpp, Andreas Podelski Stratified Commutativity in Verification Algorithms for Concurrent Programs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Marco Eilers, Thibault Dardinier, Peter Müller 0001 CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Feidan Huang, Zexi Deng, Fasheng Cao Generalized commutativity of intuitionistic fuzzy finite state machine. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Azadeh Farzan, Dominik Klumpp, Andreas Podelski Commutativity Simplifies Proofs of Parameterized Programs. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Constantin Enea, Parisa Fathololumi, Eric Koskinen The Commutativity Quotients of Concurrent Objects. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo Factorization number and subgroup commutativity degree via spectral invariants. Search on Bibsonomy Comput. Appl. Math. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Danya Lette, Azadeh Farzan Commutativity for Concurrent Program Termination Proofs. Search on Bibsonomy CAV (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Stepan L. Kuznetsov On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. Search on Bibsonomy ICTAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Azadeh Farzan Commutativity in Automated Verification. Search on Bibsonomy LICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen Better Predicates and Heuristics for Improved Commutativity Synthesis. Search on Bibsonomy ATVA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Search on Bibsonomy APLAS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Isabelle Boni, Steven T. Piantadosi The role of cultural support on commutativity at varying levels of abstraction. Search on Bibsonomy CogSci The full citation details ... 2023 DBLP  BibTeX  RDF
19Toshikazu Ishida, Shuichi Inokuchi Multiplication of Local Formulae and Commutativity of CAs with Essentially 3-Neighborhood Local Functions over Monoid N. Search on Bibsonomy CANDARW The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus Veracity: declarative multicore programming with commutativity. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Toshikazu Ishida, Shuichi Inokuchi Commutativity of Composition of some n-Dimensional Cellular Automata on Monoids. Search on Bibsonomy Int. J. Netw. Comput. The full citation details ... 2022 DBLP  BibTeX  RDF
19James M. Foster, Gonçalo Dos Reis, Calum Strange High order splitting methods for SDEs satisfying a commutativity condition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ji Xin, Raphael Tang, Zhiying Jiang, Yaoliang Yu, Jimmy Lin Building an Efficiency Pipeline: Commutativity and Cumulativeness of Efficiency Operators for Transformers. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Frank Qiu Commutativity and Disentanglement from the Manifold Perspective. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Marco Eilers, Thibault Dardinier, Peter Müller 0001 CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus Veracity: Declarative Multicore Programming with Commutativity. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Sisi Li, Ao Zhou 0001, Xiao Ma 0009, Mengwei Xu, Shangguang Wang Commutativity-guaranteed Docker Image Reconstruction towards Effective Layer Sharing. Search on Bibsonomy WWW The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Frédéric Blanqui Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. Search on Bibsonomy FSCD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Isabelle Boni, Steven T. Piantadosi Culture and Commutativity. Search on Bibsonomy CogSci The full citation details ... 2022 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 442 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license