Search results for "idempotency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar	Exploiting reference idempotency to reduce speculative storage overflow.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Idempotent references, compiler-assisted speculative execution, speculation
88	Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar	Reference idempotency analysis: a framework for optimizing speculative execution.	PPoPP	2001	DBLP DOI BibTeX RDF
69	Peter Møller Neergaard, Harry G. Mairson	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.	ICFP	2004	DBLP DOI BibTeX RDF	proofnet, complexity, type inference, normalization, intersection types, idempotence
61	Marcel Wild	On the Idempotency and Co-idempotency of the Morphological Center	Int. J. Pattern Recognit. Artif. Intell.	2001	DBLP DOI BibTeX RDF
52	Gunnar Gaubatz, Berk Sunar	Robust Finite Field Arithmetic for Fault-Tolerant Public-Key Cryptography.	FDTC	2006	DBLP DOI BibTeX RDF	homomorphic embedding, modulus scaling, fault tolerance, error detection, public-key cryptography, arithmetic codes, Finite field arithmetic, cyclic codes, idempotency
52	Neil Burgess	New Models of Prefix Adder Topologies.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	prefix addition, absolute difference, VLSI, delay model, idempotency
49	Roberto Ghiselli Ricci	Asymptotic Idempotency.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
38	Peter Leupold	On Regularity-Preservation by String-Rewriting Systems.	LATA	2008	DBLP DOI BibTeX RDF
38	Lars Grasedyck, Wolfgang Hackbusch	Construction and Arithmetics of H-Matrices.	Computing	2003	DBLP DOI BibTeX RDF	formatted matrix operations, Hierarchical matrices, fast solvers, data-sparse approximations
30	Wei Zhang 0183, Bao Qing Hu	The Idempotency of Convolution Operations on Fuzzy Truth Values.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
30	Anika Njamcul, Aleksandar Pavlovic 0001	On closure compatibility of ideal topological spaces and idempotency of the local closure function.	Period. Math. Hung.	2022	DBLP DOI BibTeX RDF
30	Jingwen Leng, Alper Buyuktosunoglu, Ramon Bertran, Pradip Bose, Quan Chen 0002, Minyi Guo, Vijay Janapa Reddi	Asymmetric Resilience: Exploiting Task-Level Idempotency for Transient Error Recovery in Accelerator-Based Systems.	HPCA	2020	DBLP DOI BibTeX RDF
30	Ando Razafindrakoto	Neighbourhood Operators: Additivity, Idempotency and Convergence.	Appl. Categorical Struct.	2019	DBLP DOI BibTeX RDF
30	Giorgio Magri	Idempotency, Output-Drivenness and the Faithfulness Triangle Inequality: Some Consequences of McCarthy's (2003) Categoricity Generalization.	J. Log. Lang. Inf.	2018	DBLP DOI BibTeX RDF
30	Peter Leupold	General Idempotency Languages Over Small Alphabets.	Int. J. Found. Comput. Sci.	2016	DBLP DOI BibTeX RDF
30	Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal	Archimedean overlap functions: The ordinal sum and the cancellation, idempotency and limiting properties.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
30	Paolo Bestagini, Simone Milani, Marco Tagliasacchi, Stefano Tubaro	Video codec identification extending the idempotency property.	EUVIP	2013	DBLP BibTeX RDF
30	Halim Özdemir, Murat Sarduvan, Ahmet Yasar Özban, Nesrin Güler	On idempotency and tripotency of linear combinations of two commuting tripotent matrices.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
30	Guillaume C. L. Brümmer, Hans-Peter A. Künzi	Idempotency of Extensions via the Bicompletion.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54B30, 54D35, 54E15, 18A40
30	Peter Leupold	Languages generated by iterated idempotency.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
30	Halim Özdemir, Ahmet Yasar Özban	On idempotency of linear combinations of idempotent matrices.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
30	Ondrej Klíma 0001	Unification Modulo Associativity and Idempotency Is NP-complete.	MFCS	2002	DBLP DOI BibTeX RDF	idempotent semigroups, complexity, unification
30	Ondrej Klíma 0001, Jirí Srba	Matching Modulo Associativity and Idempotency Is NP-Complete.	MFCS	2000	DBLP DOI BibTeX RDF
30	B. S. Todd	Idempotency as a Correctness Property of Rule Bases.	EUROVAV	1995	DBLP BibTeX RDF
19	Guiwu Wei 0001, Wende Yi	Induced Interval-Valued Intuitionistic Fuzzy OWG Operator.	FSKD (1)	2008	DBLP DOI BibTeX RDF
19	Guiwu Wei 0001	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
19	Enric Trillas, Claudi Alsina, Ana Pradera	On a Class of Fuzzy Set Theories.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
19	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Hierarchy of Data Types: From Trees to Sets.	All About Maude	2007	DBLP DOI BibTeX RDF
19	Stephan Falke 0001, Deepak Kapur	Dependency Pairs for Rewriting with Non-free Constructors.	CADE	2007	DBLP DOI BibTeX RDF
19	Hitoshi Ohsaki, Hiroyuki Seki	Languages Modulo Normalization.	FroCoS	2007	DBLP DOI BibTeX RDF	tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
19	Sunil Arya, Theocharis Malamatos, David M. Mount	On the importance of idempotence.	STOC	2006	DBLP DOI BibTeX RDF	approximation algorithms, range searching, idempotence
19	Tomasa Calvo, Radko Mesiar, Ronald R. Yager	Quantitative weights and aggregation.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
19	Zoltán Ésik, Werner Kuich	An Algebraic Generalization of omega-Regular Languages.	MFCS	2004	DBLP DOI BibTeX RDF
19	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
19	Giorgos Dimitrakopoulos, Haridimos T. Vergos, Dimitris Nikolos, Costas Efstathiou	A Family of Parallel-Pre.x Modulo 2n - 1 Adders.	ASAP	2003	DBLP DOI BibTeX RDF
19	Zoltán Ésik, Hans Leiß	Greibach Normal Form in Algebraically Complete Semirings.	CSL	2002	DBLP DOI BibTeX RDF	Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
19	Trac D. Tran, Truong Q. Nguyen	A progressive transmission image coder using linear phase uniform filterbanks as block transforms.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
19	Grigore Rosu, Joseph A. Goguen	Hidden Congruent Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
19	Guozhu Dong, Jianwen Su	Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.	ICDT	1995	DBLP DOI BibTeX RDF
19	Deepak Kapur, Paliath Narendran	NP-Completeness of the Set Unification and Matching Problems.	CADE	1986	DBLP DOI BibTeX RDF