BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
mutual (22)
use (7)
base (6)
inclus (6)
algorithm (5)

Stem exclus$ (all stems)

51 papers:

ICPCICPC-2015-Zeller #dynamic analysis
Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.
HPCAHPCA-2015-JaleelNMSE #latency
High performing cache hierarchies for server workloads: Relaxing inclusion to capture the latency benefits of exclusive caches (AJ, JN, AM, SCSJ, JSE), pp. 343–353.
ICALPICALP-v1-2014-GafniH
Sporadic Solutions to Zero-One Exclusion Tasks (EG, MH), pp. 1–10.
ICEISICEIS-v1-2014-HayashiK #evaluation
Evaluation of Exclusive Data Allocation Between SSD Tier and SSD Cache in Storage Systems (SH, NK), pp. 144–151.
DATEDATE-2013-KimYIBS #manycore #realtime #scheduling
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
STOCSTOC-2012-BansalBJK #trade-off
Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.
STOCSTOC-2012-GiakkoupisW #bound #random
A tight RMR lower bound for randomized mutual exclusion (GG, PW), pp. 983–1002.
FLOPSFLOPS-2012-KrienerK
Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.
ICMLICML-2012-BischofA #topic
Capturing topical content with frequency and exclusivity (JB, EA), p. 5.
ICPRICPR-2012-HuangL #analysis #automation #component #detection #independence
Automated mitosis detection based on eXclusive Independent Component Analysis (CHH, HKL), pp. 1856–1859.
ECMFAECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.
DATEDATE-2011-DraneC #optimisation
Optimisation of mutually exclusive arithmetic sum-of-products (TD, GAC), pp. 1388–1393.
ICALPICALP-v2-2011-Husfeldt #algorithm
Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.
HPDCHPDC-2011-Garcia-YaguezFG #concurrent #thread
Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.
ICSTSAT-2011-BennettS #principle #using
Model Counting Using the Inclusion-Exclusion Principle (HB, SS), pp. 362–363.
DATEDATE-2010-ShafiqueMH #adaptation #complexity #reduction #using #video
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusion (MS, BM, JH), pp. 1713–1718.
DocEngDocEng-2010-ChaoTZA #composition #image #recursion
Blocked recursive image composition with exclusion zones (HC, DT, XZ, CBA), pp. 111–114.
CIKMCIKM-2010-BurghardtBGC #question
Search-log anonymization and advertisement: are they mutually exclusive? (TB, KB, AG, CC), pp. 1269–1272.
TACASTACAS-2008-KatzP #model checking #programming #search-based
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (GK, DP), pp. 141–156.
STOCSTOC-2008-AttiyaHW #bound #problem
Tight rmr lower bounds for mutual exclusion and other problems (HA, DH, PW), pp. 217–226.
POPLPOPL-2008-AbadiBHI #automation #memory management #semantics #transaction
Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
DocEngDocEng-2007-ZeridaLC #categorisation
Exclusion-inclusion based text categorization of biomedical articles (NZ, NL, BC), pp. 202–204.
ICSMEICSM-2007-GallagherHB #testing
Reducing Regression Test Size by Exclusion (KG, TH, SB), pp. 154–163.
SEKESEKE-2007-ChanCT #parametricity #random testing #strict #testing
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.
ICALPICALP-v2-2006-DelauneLLT #analysis #morphism #protocol
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.
AdaEuropeAdaEurope-2005-Brosgol #ada #comparison #java #realtime #specification
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.
CIKMCIKM-2005-GriecoLRR #algorithm #consistency #dependence #query
Consistent query answering under key and exclusion dependencies: algorithms and experiments (LG, DL, RR, MR), pp. 792–799.
LICSLICS-2003-Comon-LundhS #constraints #deduction #theorem proving
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
SATSAT-2002-MatsuuraI
Inclusion-exclusion for k-CNF formulas (AM, KI), p. 3.
DACDAC-2001-Ciriani #logic #using
Logic Minimization using Exclusive OR Gates (VC), pp. 115–120.
ICEISICEIS-v2-2001-AraujoM #diagrams #uml
Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.
RERE-2001-Lowry #question #requirements #synthesis
Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (MRL), pp. 12–13.
SACSAC-2001-HousniTKP #algorithm #distributed
A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
OOPSLAOOPSLA-2000-NobleHP
Exclusion for composite objects (JN, DH, JP), pp. 13–28.
ASEASE-1998-LeePL #detection
Detection of Exclusive OR Global Predicates (EL, CP, DL), pp. 213–216.
DACDAC-1998-KaoNC
MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns (JK, SN, AC), pp. 495–500.
DATEDATE-1998-LiG #algorithm #behaviour
An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.
SIGMODSIGMOD-1998-AndersonBKW #consistency #question #replication
Replication, Consistency, and Practicality: Are These Mutually Exclusive? (TAA, YB, HFK, AW), pp. 484–495.
TACASTACAS-1998-JensenL #abstraction #algorithm #proving #using
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.
DACDAC-1997-SentovichTB #optimisation #performance #set #using
Efficient Latch Optimization Using Exclusive Sets (ES, HT, GB), pp. 8–11.
STOCSTOC-1994-YangA #bound #problem
Time bounds for mutual exclusion and related problems (JHY, JHA), pp. 224–233.
ICLPILPS-1994-Post #logic programming
Mutally Exclusive Rules in Logic Programming (KP), pp. 472–486.
STOCSTOC-1993-KushilevitzMRZ #bound #random
Lower bounds for randomized mutual exclusion (EK, YM, MOR, DZ), pp. 154–163.
ASPLOSASPLOS-1992-BershadRE #performance
Fast Mutual Exclusion for Uniprocessors (BNB, DDR, JRE), pp. 223–233.
STOCSTOC-1990-LinialN #approximate
Approximate Inclusion-Exclusion (NL, NN), pp. 260–270.
STOCSTOC-1988-DolevGS #testing #towards
Toward a Non-Atomic Era: 𝓁-Exclusion as a Test Case (DD, EG, NS), pp. 78–92.
ICLPICLP-1986-YangA86 #logic #named #parallel #prolog
P-Prolog: A Parallel Logic Language Based on Exclusive Relation (RY, HA), pp. 255–269.
PODSPODS-1983-GoodmanST #database #performance
A Simple Analytic Model for Performance of Exclusive Locking in Database Systems (NG, RS, YCT), pp. 203–215.
ICALPICALP-1983-CohenLP #distributed #problem #symmetry
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract) (SC, DJL, AP), pp. 128–136.
VLDBVLDB-1980-KedemS #protocol
Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.
ICALPICALP-1978-CremersH #using
Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract) (ABC, TNH), pp. 165–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.