Stem interleav$ (all stems)

56 papers:

DAC-2015-TretterKT #multi #probability

Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.

DATE-2015-ReehmanCCS #approach #architecture #hardware #memory management #parallel

In-place memory mapping approach for optimized parallel hardware interleaver architectures (SUR, CC, PC, AS), pp. 896–899.

STOC-2015-GowersV #communication #complexity

The communication complexity of interleaved group products (TG, EV), pp. 351–360.

SIGIR-2015-SchuthHR #metric #predict

Predicting Search Satisfaction Metrics with Interleaved Comparisons (AS, KH, FR), pp. 463–472.

CSL-2015-GabbayGP

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.

DocEng-2014-UlichneyGS

Circular coding with interleaving phase (RU, MG, SJS), pp. 21–24.

CSMR-WCRE-2014-DamevskiSP #case study #code search

A case study of paired interleaving for evaluating code search techniques (KD, DCS, LLP), pp. 54–63.

Onward-2014-TaeumelPSLH #data-driven #development

Interleaving of Modification and Use in Data-driven Tool Development (MT, MP, BS, JL, RH), pp. 185–200.

ICST-2014-KimXKCR #framework #hybrid #testing

Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.

ESOP-2013-CollingbourneDKQ #analysis #gpu #kernel #semantics #verification

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (PC, AFD, JK, SQ), pp. 270–289.

SEFM-2013-OliveiraJW #csp #multi #protocol

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.

CIKM-2013-ChuklinSHSR #using

Evaluating aggregated search using interleaving (AC, AS, KH, PS, MdR), pp. 669–678.

CIKM-2013-KharitonovMSO #using

Using historical click data to increase interleaving sensitivity (EK, CM, PS, IO), pp. 679–688.

DAC-2012-ZhangC #named

GDRouter: interleaved global routing and detailed routing for ultimate routability (YZ, CC), pp. 597–602.

CHI-2012-BackCB #fault #information management

Choosing to interleave: human error and information access cost (JB, ALC, DPB), pp. 1651–1654.

CIKM-2012-HofmannBR #bias #on the

On caption bias in interleaving experiments (KH, FB, FR), pp. 115–124.

CIKM-2012-HofmannWR #comparison

Estimating interleaved comparison outcomes from historical click data (KH, SW, MdR), pp. 1779–1783.

POPL-2012-JoshiLL #debugging

Underspecified harnesses and interleaved bugs (SJ, SKL, AL), pp. 19–30.

HPDC-2012-SchendelPJBBGLLKCKRS #hybrid #optimisation #parallel #scalability

ISOBAR hybrid compression-I/O interleaving for large-scale parallel I/O optimization (ERS, SVP, JJ, DABI, ZG, SL, QL, HK, JC, SK, RBR, NFS), pp. 61–72.

DATE-2011-ChenLCP #3d #design #memory management #named

3D-ICML: A 3D bipolar ReRAM design with interleaved complementary memory layers (YCC, HL, YC, REP), pp. 583–586.

SOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #thread #visualisation

TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.

KDD-2010-LouFYLW #mining #workflow

Mining program workflow from interleaved traces (JGL, QF, SY, JL, BW), pp. 613–622.

KDIR-2010-SiebersS #feature model

Interleaving Forward Backward Feature Selection (MS, US), pp. 454–457.

ITiCSE-2009-Ginat #composition #learning

Interleaved pattern composition and scaffolded learning (DG), pp. 109–113.

TACAS-2009-KahlonSG #concurrent #reduction #semantics #source code #thread

Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.

STOC-2009-GopalanGR

List decoding tensor products and interleaved codes (PG, VG, PR), pp. 13–22.

CHI-2009-BrandtGLDK #learning #programming #web

Two studies of opportunistic programming: interleaving web foraging, learning, and writing code (JB, PJG, JL, MD, SRK), pp. 1589–1598.

CHI-2009-JinD #self

Self-interruption on the computer: a typology of discretionary task interleaving (JJ, LAD), pp. 1799–1808.

SAC-2009-KumarZ #clustering #graph #visualisation

Visualization of clustered directed acyclic graphs with node interleaving (PK, KZ), pp. 1800–1805.

DATE-2008-NuzzoNSFP #design

Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications (PN, CN, SS, LF, GVdP), pp. 1390–1393.

CIKM-2008-GhelliCS #linear #regular expression

Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.

ICML-2008-Landwehr #modelling #process

Modeling interleaved hidden processes (NL), pp. 520–527.

DAC-2007-CoptyJKV #approach #generative #novel #testing

Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation (SC, IJ, YK, MV), pp. 891–895.

ESEC-FSE-2007-LuJZ #case study #test coverage

A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.

PLDI-2006-NuzmanRZ

Auto-vectorization of interleaved data for SIMD (DN, IR, AZ), pp. 132–143.

ASPLOS-2006-LuTQZ #detection #invariant #named

AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.

ICFP-2005-KiselyovSFS #backtracking #functional #monad

Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.

ECIR-2004-WeigelMBS #information retrieval #performance #xml

Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data (FW, HM, FB, KUS), pp. 378–393.

ASE-2003-StrelzoffP #requirements #user interface

Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications (AS, LRP), pp. 22–29.

DAC-2003-GhoneimaI #bidirectional

Optimum positioning of interleaved repeaters In bidirectional buses (MG, YII), pp. 586–591.

ICALP-2003-BleichenbacherKY #semistructured data

Decoding of Interleaved Reed Solomon Codes over Noisy Data (DB, AK, MY), pp. 97–108.

UML-2001-MetzOW #case study

Against Use Case Interleaving (PM, JO, WW), pp. 472–486.

ICALP-2000-FokkinkL #equation #specification

An ω-Complete Equational Specification of Interleaving (WF, SPL), pp. 729–743.

LICS-2000-CattaniS #modelling #process

Models for Name-Passing Processes: Interleaving and Causal (GLC, PS), pp. 322–333.

CAV-1998-Balarin #approach #concurrent #correctness #modelling #verification

Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models (FB), pp. 391–402.

SAS-1996-BorgiaDPLT #comprehension #mobile #semantics

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.

ICPR-1996-StevensB #3d #multi #predict #recognition

Interleaving 3D model feature prediction and matching to support multi-sensor object recognition (MRS, JRB), pp. 607–611.

ICSM-1995-RugaberSW #detection

Detecting interleaving (SR, KS, LMW), pp. 265–274.

WCRE-1995-RugaberSW #comprehension #problem

The Interleaving Problem in Program Understanding (SR, KS, LMW).

PLILP-1995-Achten #framework #functional #interactive #source code

A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.

TAGT-1994-KreowskiK #on the

On the Interleaving Sematics of Transformation Units — A Step into GRACE (HJK, SK), pp. 89–106.

ASPLOS-1994-LaudonGH #multi #named #thread

Interleaving: A Multithreading Technique Targeting Multiprocessors and Workstations (JL, AG, MH), pp. 308–318.

DAC-1993-GhoshNSP #architecture #multi #synthesis

Architectural Synthesis of Performance-Driven Multipliers with Accumulator Interleaving (DG, SKN, PS, KP), pp. 303–307.

ICALP-1991-Yi #realtime

CCS + Time = An Interleaving Model for Real Time Systems (WY0), pp. 217–228.

ICALP-1984-Reisig #partial order #semantics

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness (WR), pp. 403–413.

LISP-1980-LiebermanH #testing

A Session with Tinker: Interleaving Program Testing with Program Writing (HL, CH), pp. 90–99.