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:
non (13)
abstract (9)
system (9)
analysi (8)
control (7)

Stem interfer$ (all stems)

70 papers:

SASSAS-2015-AldousM #low level #static analysis
Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
STOCSTOC-2015-HalldorssonT #graph #how #question
How Well Can Graphs Represent Wireless Interference? (MMH, TT), pp. 635–644.
SACSAC-2015-JamhourPPSB #network
Interference aware channel assignment for structured wireless sensor networks (EJ, MEP, MCP, RDS, GGdOB), pp. 716–719.
HPCAHPCA-2015-LengZR #architecture #gpu
GPU voltage noise: Characterization and hierarchical smoothing of spatial and temporal voltage noise interference in GPU architectures (JL, YZ, VJR), pp. 161–173.
ICPCICPC-2014-EshkevariACP #identification #php
Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.
DATEDATE-2013-ShahKA #analysis #bound
Bounding SDRAM interference: detailed analysis vs. latency-rate analysis (HS, AK, BA), pp. 308–313.
CIKMCIKM-2013-SordoniHN #information retrieval #interactive #modelling #quantum #topic #using
Modeling latent topic interactions using quantum interference for information retrieval (AS, JH, JYN), pp. 1197–1200.
SACSAC-2013-GrootGYNK #data-driven #distributed #modelling
Modeling I/O interference for data intensive distributed applications (SG, KG, DY, MN, MK), pp. 343–350.
HPCAHPCA-2013-DasAMKA #manycore #memory management #policy
Application-to-core mapping policies to reduce memory system interference in multi-core systems (RD, RA, OM, AK, MA), pp. 107–118.
HPDCHPDC-2013-BuRX #clustering #pipes and filters #scheduling
Interference and locality-aware task scheduling for MapReduce applications in virtual clusters (XB, JR, CZX), pp. 227–238.
DATEDATE-2012-ZhaCL #fault #memory management #modelling #testing
Modeling and testing of interference faults in the nano NAND Flash memory (JZ, XC, CLL), pp. 527–531.
CHICHI-2012-ButlerIHMHK
Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.
OOPSLAOOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
TOOLSTOOLS-EUROPE-2012-OchoaJC #uml
Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
POPLPOPL-2012-ReddyR #logic
Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.
HPDCHPDC-2012-PhullLRCC #clustering #resource management
Interference-driven resource management for GPU-based heterogeneous clusters (RP, CHL, KR, SC, STC), pp. 109–120.
ISSTAISSTA-2012-YiDFF #concurrent #java #thread
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
HCIHCI-MIIE-2011-WangZYZSP #what
Believe What You Hear, Not What You See — Vision Interferes with Auditory Route Guidance in Complex Environment (YW, HZ, LY, KZ, XS, TP), pp. 346–354.
HCIHIMI-v2-2011-SakamotoNI #collaboration #multi #off the shelf
Dodging Window Interference to Freely Share Any Off-the-Shelf Application among Multiple Users in Co-located Collaboration (SS, MN, TI), pp. 305–314.
POPLPOPL-2011-SinhaW #abstraction #on the
On interference abstractions (NS, CW), pp. 423–434.
CASECASE-2010-RoyKHM
Vehicle interference effects in warehousing systems with autonomous vehicles (DR, AK, SSH, CJM), pp. 674–679.
DATEDATE-2010-PellizzoniSCCT #analysis #manycore #memory management
Worst case delay analysis for memory interference in multicore systems (RP, AS, JJC, MC, LT), pp. 741–746.
ICEISICEIS-ISAS-2010-BeestSW #concurrent #process
Assessing the Interference in Concurrent Business Processes (NRTPvB, NBS, JCW), pp. 261–270.
ICPRICPR-2010-Fuchs #image #multi
Multipath Interference Compensation in Time-of-Flight Camera Images (SF), pp. 3583–3586.
ICPRICPR-2010-SilvaLSBKT #classification #documentation
Enhancing the Filtering-Out of the Back-to-Front Interference in Color Documents with a Neural Classifier (GdFPeS, RDL, JMS, SB, AK, MT), pp. 2415–2419.
SIGIRSIGIR-2010-ZucconAHR #retrieval #topic
Estimating interference in the QPRP for subtopic retrieval (GZ, LA, CH, KvR), pp. 741–742.
CHICHI-2009-EverittBFK #multi #visual notation
A comprehensive study of frequency, interference, and training of multiple graphical passwords (KE, TB, JF, TK), pp. 889–898.
ICEISICEIS-J-2009-MacielPRG #web
Applying the Discourse Theory to the Moderator’s Interferences in Web Debates (CM, VCP, LR, ACBG), pp. 882–893.
CASECASE-2008-StabelliniZ #approach #learning #network #self
Interference aware self-organization for wireless sensor networks: A reinforcement learning approach (LS, JZ), pp. 560–565.
CSCWCSCW-2008-HorneckerMDR #collaboration
Collaboration and interference: awareness with mice or touch input (EH, PM, NSD, YR), pp. 167–176.
ESOPESOP-2007-BarthePR #bytecode #java #lightweight #verification
A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
ICSMEICSM-2007-ShaoKP #detection #empirical #evaluation #parallel #semantics
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.
IFMIFM-2007-Toben #communication #data type #reduction
Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
SACSAC-2007-LinsS #algorithm #documentation
A quantitative method for assessing algorithms to remove back-to-front interference in documents (RDL, JMMdS), pp. 610–616.
SACSAC-2007-SilvaL #algorithm #documentation #performance
A fast algorithm to binarize and filter documents with back-to-front interference (JMMdS, RDL), pp. 639–640.
ASEASE-2006-StorzerF #detection
Detecting Precedence-Related Advice Interference (MS, FF), pp. 317–322.
ICPRICPR-v3-2006-EmmsHW #graph #quantum #using
Graph Matching using Interference of Coined Quantum Walks (DE, ERH, RCW), pp. 133–136.
ICPRICPR-v3-2006-TanakaFKI #theorem
A Theoretical and Experimental Consideration on Interference in Resolutions between Sampling Theorem and OK-Quantization Theory (YT, TF, HK, TI), pp. 869–872.
ICPRICPR-v4-2006-SekoYSMK #metric #pointer
Proposal of recordable pointer: Pointed position measurement by projecting interference concentric circle pattern with a pointing device (YS, YY, YS, JM, HK), pp. 825–828.
RERE-2006-NiuE #grid #modelling
Managing Terminological Interference in Goal Models with Repertory Grid (NN, SME), pp. 296–299.
SACSAC-2006-SilvaLR #documentation
Binarizing and filtering historical documents with back-to-front interference (JMMdS, RDL, VCdR), pp. 853–858.
SACSAC-2006-Zanardini #bytecode #java
Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
SASSAS-2005-HuntM
The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
ICALPICALP-2005-Laird #decidability
Decidability in Syntactic Control of Interference (JL), pp. 904–916.
QAPLQAPL-2004-ClarkHM05 #quantifier
Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.
TLCATLCA-2005-Zanardini #higher-order
Higher-Order Abstract Non-interference (DZ), pp. 417–432.
CSCWCSCW-2004-TseHSG #clustering #dependence #how #people
Avoiding interference: how people use spatial separation and partitioning in SDG workspaces (ET, JH, SDS, SG), pp. 252–261.
POPLPOPL-2004-GiacobazziM #abstract interpretation
Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
CCCC-2004-RanganathH #concurrent #dependence #java #slicing #source code
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
LCTESLCTES-2004-StarnerA #realtime
Measuring the cache interference cost in preemptive real-time systems (JS, LA), pp. 146–154.
CSLCSL-2004-GiacobazziM #proving
Proving Abstract Non-interference (RG, IM), pp. 280–294.
ICDARICDAR-2003-WangXTL #approach #documentation #image
Directional Wavelet Approach to Remove Document Image Interference (QW, TX, CLT, LL), pp. 736–740.
ESOPESOP-2003-Tini
Rule Formats for Non Interference (ST), pp. 129–143.
SASSAS-2003-Boyland
Checking Interference with Fractional Permissions (JB), pp. 55–72.
FMFME-2002-Pahl #abstraction #analysis #refinement #using
Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.
CSLCSL-2002-McCusker #relational
A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.
DATEDATE-2001-Fiori
Susceptibility of analog cells to substrate interference (FF), p. 814.
ASEASE-2000-HillL #analysis
Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.
ICALPICALP-2000-FocardiGM #analysis #encryption #protocol
Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.
ICPRICPR-v3-2000-DoelVHVYGK #analysis #metric
Nanometer-Scale Height Measurements in Micromachined Picoliter Vials Based on Interference Fringe Analysis (LRVdD, LJvV, KTH, MJV, ITY, FG, JGK), pp. 3057–3062.
POPLPOPL-2000-LeviS
Controlling Interference in Ambients (FL, DS), pp. 352–364.
ICPRICPR-1998-CongP
Shape from interference patterns (GC, BP), pp. 420–424.
ICPRICPR-1998-NicollsJ #estimation
Maximum likelihood estimation of Toeplitz-block-Toeplitz covariances in the presence of subspace interference (FN, GdJ), pp. 1595–1597.
PLDIPLDI-1997-BergnerDEO
Spill Code Minimization via Interference Region Spilling (PB, PD, DE, MTO), pp. 287–295.
ICDARICDAR-v2-1995-LiangAS #approach #segmentation #using
Segmentation of interference marks using morphological approach (SL, MA, MS), pp. 1042–1046.
FMFME-1993-Jones #design #reasoning
Reasoning about Interference in an Object-Based Design Method (CBJ), pp. 1–18.
HCIHCI-SHI-1993-MoriH #multi #visual notation
Visual Interference with User’s Tasks on Multi-Window System (HM, YH), pp. 80–85.
ICALPICALP-1982-Tennent #semantics
Semantics of Interference Control (RDT), pp. 532–545.
POPLPOPL-1978-Reynolds
Syntactic Control of Interference (JCR), pp. 39–46.
SIGMODSIGFIDET-1972-ShemerC #case study #concurrent #database
Database Sharing: A Study of Interference, Roadblock and Deadlock (JES, AJC), pp. 147–163.

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.