Stem exclus$ (all stems)

51 papers:

ICPC-2015-Zeller #dynamic analysis

Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.

HPCA-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.

ICALP-v1-2014-GafniH

Sporadic Solutions to Zero-One Exclusion Tasks (EG, MH), pp. 1–10.

ICEIS-v1-2014-HayashiK #evaluation

Evaluation of Exclusive Data Allocation Between SSD Tier and SSD Cache in Storage Systems (SH, NK), pp. 144–151.

DATE-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.

STOC-2012-BansalBJK #trade-off

Tight time-space tradeoff for mutual exclusion (NB, VB, PJ, RK), pp. 971–982.

STOC-2012-GiakkoupisW #bound #random

A tight RMR lower bound for randomized mutual exclusion (GG, PW), pp. 983–1002.

FLOPS-2012-KrienerK

Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.

ICML-2012-BischofA #topic

Capturing topical content with frequency and exclusivity (JB, EA), p. 5.

ICPR-2012-HuangL #analysis #automation #component #detection #independence

Automated mitosis detection based on eXclusive Independent Component Analysis (CHH, HKL), pp. 1856–1859.

ECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml

Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.

DATE-2011-DraneC #optimisation

Optimisation of mutually exclusive arithmetic sum-of-products (TD, GAC), pp. 1388–1393.

ICALP-v2-2011-Husfeldt #algorithm

Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.

HPDC-2011-Garcia-YaguezFG #concurrent #thread

Exclusive squashing for thread-level speculation (ÁGY, DRLF, AGE), pp. 275–276.

SAT-2011-BennettS #principle #using

Model Counting Using the Inclusion-Exclusion Principle (HB, SS), pp. 362–363.

DATE-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.

DocEng-2010-ChaoTZA #composition #image #recursion

Blocked recursive image composition with exclusion zones (HC, DT, XZ, CBA), pp. 111–114.

CIKM-2010-BurghardtBGC #question

Search-log anonymization and advertisement: are they mutually exclusive? (TB, KB, AG, CC), pp. 1269–1272.

TACAS-2008-KatzP #model checking #programming #search-based

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (GK, DP), pp. 141–156.

STOC-2008-AttiyaHW #bound #problem

Tight rmr lower bounds for mutual exclusion and other problems (HA, DH, PW), pp. 217–226.

POPL-2008-AbadiBHI #automation #memory management #semantics #transaction

Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.

DocEng-2007-ZeridaLC #categorisation

Exclusion-inclusion based text categorization of biomedical articles (NZ, NL, BC), pp. 202–204.

ICSM-2007-GallagherHB #testing

Reducing Regression Test Size by Exclusion (KG, TH, SB), pp. 154–163.

SEKE-2007-ChanCT #parametricity #random testing #strict #testing

Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.

ICALP-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.

AdaEurope-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.

CIKM-2005-GriecoLRR #algorithm #consistency #dependence #query

Consistent query answering under key and exclusion dependencies: algorithms and experiments (LG, DL, RR, MR), pp. 792–799.

LICS-2003-Comon-LundhS #constraints #deduction #theorem proving

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.

SAT-2002-MatsuuraI

Inclusion-exclusion for k-CNF formulas (AM, KI), p. 3.

DAC-2001-Ciriani #logic #using

Logic Minimization using Exclusive OR Gates (VC), pp. 115–120.

ICEIS-v2-2001-AraujoM #diagrams #uml

Handling Mutual Exclusion in UML Class Diagrams (JA, AMDM), pp. 659–666.

RE-2001-Lowry #question #requirements #synthesis

Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (MRL), pp. 12–13.

SAC-2001-HousniTKP #algorithm #distributed

A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.

OOPSLA-2000-NobleHP

Exclusion for composite objects (JN, DH, JP), pp. 13–28.

ASE-1998-LeePL #detection

Detection of Exclusive OR Global Predicates (EL, CP, DL), pp. 213–216.

DAC-1998-KaoNC

MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns (JK, SN, AC), pp. 495–500.

DATE-1998-LiG #algorithm #behaviour

An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.

SIGMOD-1998-AndersonBKW #consistency #question #replication

Replication, Consistency, and Practicality: Are These Mutually Exclusive? (TAA, YB, HFK, AW), pp. 484–495.

TACAS-1998-JensenL #abstraction #algorithm #proving #using

A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.

DAC-1997-SentovichTB #optimisation #performance #set #using

Efficient Latch Optimization Using Exclusive Sets (ES, HT, GB), pp. 8–11.

STOC-1994-YangA #bound #problem

Time bounds for mutual exclusion and related problems (JHY, JHA), pp. 224–233.

ILPS-1994-Post #logic programming

Mutally Exclusive Rules in Logic Programming (KP), pp. 472–486.

STOC-1993-KushilevitzMRZ #bound #random

Lower bounds for randomized mutual exclusion (EK, YM, MOR, DZ), pp. 154–163.

ASPLOS-1992-BershadRE #performance

Fast Mutual Exclusion for Uniprocessors (BNB, DDR, JRE), pp. 223–233.

STOC-1990-LinialN #approximate

Approximate Inclusion-Exclusion (NL, NN), pp. 260–270.

STOC-1988-DolevGS #testing #towards

Toward a Non-Atomic Era: 𝓁-Exclusion as a Test Case (DD, EG, NS), pp. 78–92.

ICLP-1986-YangA86 #logic #named #parallel #prolog

P-Prolog: A Parallel Logic Language Based on Exclusive Relation (RY, HA), pp. 255–269.

PODS-1983-GoodmanST #database #performance

A Simple Analytic Model for Performance of Exclusive Locking in Database Systems (NG, RS, YCT), pp. 203–215.

ICALP-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.

VLDB-1980-KedemS #protocol

Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.

ICALP-1978-CremersH #using

Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract) (ABC, TNH), pp. 165–176.