Stem interfer$ (all stems)

70 papers:

SAS-2015-AldousM #low level #static analysis

Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.

STOC-2015-HalldorssonT #graph #how #question

How Well Can Graphs Represent Wireless Interference? (MMH, TT), pp. 635–644.

SAC-2015-JamhourPPSB #network

Interference aware channel assignment for structured wireless sensor networks (EJ, MEP, MCP, RDS, GGdOB), pp. 716–719.

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

ICPC-2014-EshkevariACP #identification #php

Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.

DATE-2013-ShahKA #analysis #bound

Bounding SDRAM interference: detailed analysis vs. latency-rate analysis (HS, AK, BA), pp. 308–313.

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

SAC-2013-GrootGYNK #data-driven #distributed #modelling

Modeling I/O interference for data intensive distributed applications (SG, KG, DY, MN, MK), pp. 343–350.

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

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

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

CHI-2012-ButlerIHMHK

Shake’n’sense: reducing interference for overlapping structured light depth cameras (AB, SI, OH, DM, SH, DK), pp. 1933–1936.

OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named

IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.

TOOLS-EUROPE-2012-OchoaJC #uml

Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.

POPL-2012-ReddyR #logic

Syntactic control of interference for separation logic (USR, JCR), pp. 323–336.

HPDC-2012-PhullLRCC #clustering #resource management

Interference-driven resource management for GPU-based heterogeneous clusters (RP, CHL, KR, SC, STC), pp. 109–120.

ISSTA-2012-YiDFF #concurrent #java #thread

Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.

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

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

POPL-2011-SinhaW #abstraction #on the

On interference abstractions (NS, CW), pp. 423–434.

CASE-2010-RoyKHM

Vehicle interference effects in warehousing systems with autonomous vehicles (DR, AK, SSH, CJM), pp. 674–679.

DATE-2010-PellizzoniSCCT #analysis #manycore #memory management

Worst case delay analysis for memory interference in multicore systems (RP, AS, JJC, MC, LT), pp. 741–746.

ICEIS-ISAS-2010-BeestSW #concurrent #process

Assessing the Interference in Concurrent Business Processes (NRTPvB, NBS, JCW), pp. 261–270.

ICPR-2010-Fuchs #image #multi

Multipath Interference Compensation in Time-of-Flight Camera Images (SF), pp. 3583–3586.

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

SIGIR-2010-ZucconAHR #retrieval #topic

Estimating interference in the QPRP for subtopic retrieval (GZ, LA, CH, KvR), pp. 741–742.

CHI-2009-EverittBFK #multi #visual notation

A comprehensive study of frequency, interference, and training of multiple graphical passwords (KE, TB, JF, TK), pp. 889–898.

ICEIS-J-2009-MacielPRG #web

Applying the Discourse Theory to the Moderator’s Interferences in Web Debates (CM, VCP, LR, ACBG), pp. 882–893.

CASE-2008-StabelliniZ #approach #learning #network #self

Interference aware self-organization for wireless sensor networks: A reinforcement learning approach (LS, JZ), pp. 560–565.

CSCW-2008-HorneckerMDR #collaboration

Collaboration and interference: awareness with mice or touch input (EH, PM, NSD, YR), pp. 167–176.

ESOP-2007-BarthePR #bytecode #java #lightweight #verification

A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.

ICSM-2007-ShaoKP #detection #empirical #evaluation #parallel #semantics

Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.

IFM-2007-Toben #communication #data type #reduction

Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.

SAC-2007-LinsS #algorithm #documentation

A quantitative method for assessing algorithms to remove back-to-front interference in documents (RDL, JMMdS), pp. 610–616.

SAC-2007-SilvaL #algorithm #documentation #performance

A fast algorithm to binarize and filter documents with back-to-front interference (JMMdS, RDL), pp. 639–640.

ASE-2006-StorzerF #detection

Detecting Precedence-Related Advice Interference (MS, FF), pp. 317–322.

ICPR-v3-2006-EmmsHW #graph #quantum #using

Graph Matching using Interference of Coined Quantum Walks (DE, ERH, RCW), pp. 133–136.

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

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

RE-2006-NiuE #grid #modelling

Managing Terminological Interference in Goal Models with Repertory Grid (NN, SME), pp. 296–299.

SAC-2006-SilvaLR #documentation

Binarizing and filtering historical documents with back-to-front interference (JMMdS, RDL, VCdR), pp. 853–858.

SAC-2006-Zanardini #bytecode #java

Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.

SAS-2005-HuntM

The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.

ICALP-2005-Laird #decidability

Decidability in Syntactic Control of Interference (JL), pp. 904–916.

QAPL-2004-ClarkHM05 #quantifier

Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.

TLCA-2005-Zanardini #higher-order

Higher-Order Abstract Non-interference (DZ), pp. 417–432.

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

POPL-2004-GiacobazziM #abstract interpretation

Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.

CC-2004-RanganathH #concurrent #dependence #java #slicing #source code

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.

LCTES-2004-StarnerA #realtime

Measuring the cache interference cost in preemptive real-time systems (JS, LA), pp. 146–154.

CSL-2004-GiacobazziM #proving

Proving Abstract Non-interference (RG, IM), pp. 280–294.

ICDAR-2003-WangXTL #approach #documentation #image

Directional Wavelet Approach to Remove Document Image Interference (QW, TX, CLT, LL), pp. 736–740.

ESOP-2003-Tini

Rule Formats for Non Interference (ST), pp. 129–143.

SAS-2003-Boyland

Checking Interference with Fractional Permissions (JB), pp. 55–72.

FME-2002-Pahl #abstraction #analysis #refinement #using

Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.

CSL-2002-McCusker #relational

A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.

DATE-2001-Fiori

Susceptibility of analog cells to substrate interference (FF), p. 814.

ASE-2000-HillL #analysis

Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.

ICALP-2000-FocardiGM #analysis #encryption #protocol

Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.

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

POPL-2000-LeviS

Controlling Interference in Ambients (FL, DS), pp. 352–364.

ICPR-1998-CongP

Shape from interference patterns (GC, BP), pp. 420–424.

ICPR-1998-NicollsJ #estimation

Maximum likelihood estimation of Toeplitz-block-Toeplitz covariances in the presence of subspace interference (FN, GdJ), pp. 1595–1597.

PLDI-1997-BergnerDEO

Spill Code Minimization via Interference Region Spilling (PB, PD, DE, MTO), pp. 287–295.

ICDAR-v2-1995-LiangAS #approach #segmentation #using

Segmentation of interference marks using morphological approach (SL, MA, MS), pp. 1042–1046.

FME-1993-Jones #design #reasoning

Reasoning about Interference in an Object-Based Design Method (CBJ), pp. 1–18.

HCI-SHI-1993-MoriH #multi #visual notation

Visual Interference with User’s Tasks on Multi-Window System (HM, YH), pp. 80–85.

ICALP-1982-Tennent #semantics

Semantics of Interference Control (RDT), pp. 532–545.

POPL-1978-Reynolds

Syntactic Control of Interference (JCR), pp. 39–46.

SIGFIDET-1972-ShemerC #case study #concurrent #database

Database Sharing: A Study of Interference, Roadblock and Deadlock (JES, AJC), pp. 147–163.