Stem doubl$ (all stems)

105 papers:

CASE-2015-HandokoL #order #performance #privacy

Efficient order sharing with privacy preservation via double auction with split delivery (SDH, HCL), pp. 69–74.

DAC-2015-DingCM #self

Detailed routing for spacer-is-metal type self-aligned double/quadruple patterning lithography (YD, CCNC, WKM), p. 6.

DAC-2015-OuTC #self

Cutting structure-aware analog placement based on self-aligned double patterning with e-beam lithography (HCO, KHT, YWC), p. 6.

DAC-2015-XuYGHP #named #self

PARR: pin access planning and regular routing for self-aligned double patterning (XX, BY, JRG, CLH, DZP), p. 6.

HCI-IT-2015-HakodaKSST #bound #gesture #mobile #named #using

AirFlip: A Double Crossing In-Air Gesture Using Boundary Surfaces of Hover Zone for Mobile Devices (HH, TK, KS, BS, JT), pp. 44–53.

ICML-2015-LimKPJ #performance #scalability #set

Double Nyström Method: An Efficient and Accurate Nyström Scheme for Large-Scale Data Sets (WL, MK, HP, KJ), pp. 1367–1375.

CASE-2014-OhnishiY #performance

Switching control of DC-DC converters with Electric Double-Layer Capacitor based on control performance index (YO, TY), pp. 188–193.

DAC-2014-LiuFC #process #self #using

Overlay-Aware Detailed Routing for Self-Aligned Double Patterning Lithography Using the Cut Process (IJL, SYF, YWC), p. 6.

DATE-2014-GholipourCSC #modelling #scalability

Highly accurate SPICE-compatible modeling for single- and double-gate GNRFETs with studies on technology scaling (MG, YYC, AS, DC), pp. 1–6.

VLDB-2014-JiangFWX #distance #network #query

Hop Doubling Label Indexing for Point-to-Point Distance Querying on Scale-Free Networks (MJ, AWCF, RCWW, YX), pp. 1203–1214.

PLDI-2014-BiswasHSB #named #performance #precise

DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.

STOC-2014-Solomon #fault tolerance #metric

From hierarchical partitions to hierarchical covers: optimal fault-tolerant spanners for doubling metrics (SS), pp. 363–372.

LATA-2014-BednarovaG #automaton

Two Double-Exponential Gaps for Automata with a Limited Pushdown (ZB, VG), pp. 113–125.

SAC-2014-MoonKSP #image #novel #scalability

A novel double linear-cubic convolution interpolation for digital image scaling (HMM, KRK, JS, SBP), pp. 1733–1734.

DAC-2013-ChienOCKC

Double patterning lithography-aware analog placement (HCCC, HCO, TCC, TYK, YWC), p. 6.

DAC-2013-Du0SSLMW #self

Spacer-is-dielectric-compliant detailed routing for self-aligned double patterning lithography (YD, QM, HS, JS, GLP, AM, MDFW), p. 6.

DAC-2013-Wang #fault #reliability

Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.

DATE-2013-GaillardonABMSLM

Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs (PEG, LGA, SB, MDM, DS, YL, GDM), pp. 625–630.

DATE-2013-ParkCA #energy

Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor (JP, AC, JAA), pp. 254–257.

DATE-2013-ShihW #3d #fault

An enhanced double-TSV scheme for defect tolerance in 3D-IC (HCS, CWW), pp. 1486–1489.

CSEET-2013-CiancariniDZ #case study #comparative #modelling #process #student

A double comparative study: Process models and student skills (PC, CD, SZ), pp. 189–198.

ICALP-v1-2013-ChanLNS

New Doubling Spanners: Better and Simpler (THHC, ML, LN, SS), pp. 315–327.

CHI-2013-HillmanNPO #network #quote #social

“Shared joy is double joy”: the social practices of user networks within group shopping sites (SH, CN, CP, EO), pp. 2417–2426.

DAC-2012-0002ZW #comparison

Triple patterning aware routing and its comparison with double patterning aware routing in 14nm technology (QM, HZ, MDFW), pp. 591–596.

DAC-2012-BobbaMLM #physics #synthesis

Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors (SB, MDM, YL, GDM), pp. 42–47.

DATE-2012-AbedW #online

Double-patterning friendly grid-based detailed routing with online conflict resolution (ISA, AGW), pp. 1475–1478.

DATE-2012-GaoXCG #design

Design of an intrinsically-linear double-VCO-based ADC with 2nd-order noise shaping (PG, XX, JC, GGEG), pp. 1215–1220.

ICALP-v1-2012-ChanLN #bound #fault tolerance #metric

Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or Degree (THHC, ML, LN), pp. 182–193.

ICALP-v1-2012-GuptaL #metric #online #problem

The Online Metric Matching Problem for Doubling Metrics (AG, KL), pp. 424–435.

SEKE-2012-HanXO #web

Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications (HH, YX, KO), pp. 124–130.

SAC-2012-MoretBATMF #validation

Double dip map-reduce for processing cross validation jobs (DM, KB, EA, JT, RM, JVF), pp. 473–477.

ISSTA-2012-CaballeroGMN #detection #named #pointer

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities (JC, GG, MM, AN), pp. 133–143.

CASE-2011-XieZSL #fuzzy #using

Position servo control of the slider in double toggle mechanical press using Bezier curve model and fuzzy control (JX, SZ, ZS, JL), pp. 773–778.

DAC-2011-BanLP #2d #composition #flexibility #framework #layout

Flexible 2D layout decomposition framework for spacer-type double pattering lithography (YB, KL, DZP), pp. 789–794.

DAC-2011-ZhangDWT #composition #detection #self

Self-aligned double patterning decomposition for overlay minimization and hot spot detection (HZ, YD, MDFW, ROT), pp. 71–76.

DAC-2011-ZukoskiYM #logic

Universal logic modules based on double-gate carbon nanotube transistors (AZ, XY, KM), pp. 884–889.

ICDAR-2011-WangT

Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts (JW, CLT), pp. 1374–1378.

ICSM-2011-Briand #re-engineering #research

Useful software engineering research — leading a double-agent life (LCB), p. 2.

STOC-2011-LeeS #bound

Near-optimal distortion bounds for embedding doubling spaces into L1 (JRL, AS), pp. 765–772.

CHI-2011-RuizL #gesture #interactive #mobile #named

DoubleFlip: a motion gesture delimiter for mobile interaction (JR, YL), pp. 2717–2720.

MLDM-2011-LiHO #clique #correlation #performance

Contrasting Correlations by an Efficient Double-Clique Condition (AL, MH, YO), pp. 469–483.

ASPLOS-2011-VeeraraghavanLWOCFN #named

DoublePlay: parallelizing sequential logging and replay (KV, DL, BW, JO, PMC, JF, SN), pp. 15–26.

DAC-2010-Agarwal #composition

Frequency domain decomposition of layouts for double dipole lithography (KA), pp. 404–407.

DAC-2010-DadgourHSB #analysis #design #energy #logic #using

Design and analysis of compact ultra energy-efficient logic gates using laterally-actuated double-electrode NEMS (HFD, MMH, CS, KB), pp. 893–896.

DAC-2010-LinL #graph

Double patterning lithography aware gridless detailed routing with innovative conflict graph (YHL, YLL), pp. 398–403.

DATE-2010-GaoM #lazy evaluation

Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.

CHI-2010-HolzB #how

The generalized perceived input point model and how to double touch accuracy by extracting fingerprints (CH, PB), pp. 581–590.

ICPR-2010-LiZZ #detection #invariant #using

Abandoned Objects Detection Using Double Illumination Invariant Foreground Masks (XL, CZ, DZ), pp. 436–439.

DAC-2009-UzelacM #realtime

A real-time program trace compressor utilizing double move-to-front method (VU, AM), pp. 738–743.

DAC-2009-YuanLP

Double patterning lithography friendly detailed routing with redundant via consideration (KY, KL, DZP), pp. 63–66.

ICDAR-2009-MoghaddamRYC #approach #documentation #framework #image #segmentation #set

A Unified Framework Based on the Level Set Approach for Segmentation of Unconstrained Double-Sided Document Images Suffering from Bleed-Through (RFM, DRH, IBY, MC), pp. 441–445.

ICDAR-2009-TonazziniBS #multi

Registration and Enhancement of Double-Sided Degraded Manuscripts Acquired in Multispectral Modality (AT, GB, ES), pp. 546–550.

MLDM-2009-WangZ #classification #kernel

Optimal Double-Kernel Combination for Classification (FW, HZ), pp. 107–122.

ASPLOS-2009-CameronL #architecture #induction #parallel #principle

Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle (RDC, DL), pp. 337–348.

CHI-2008-ZhouOHk

Conversation pivots and double pivots (DXZ, NO, MH, PR), pp. 1009–1012.

ICPR-2008-YuHL #modelling

Double-edge-model based character stroke extraction from complex backgrounds (JY, LH, CL), pp. 1–4.

CSL-2008-TorreMP #automaton #exponential #infinity

An Infinite Automaton Characterization of Double Exponential Time (SLT, PM, GP), pp. 33–48.

DATE-2007-LinLTL #design #library #standard

Double-via-driven standard cell library design (TYL, THL, HHT, RBL), pp. 1212–1217.

AdaEurope-2007-LauLCY #detection #fault #on the

On Detecting Double Literal Faults in Boolean Expressions (MFL, YL, TYC, YTY), pp. 55–68.

ICEIS-EIS-2007-KukhunS #enterprise #information management #pervasive #security

Interoperability in Pervasive Enterprise Information Systems — A Double-Faced Coin Between Security And Accessability (DAK, FS), pp. 237–242.

MLDM-2007-NgaiY

Fast-Maneuvering Target Seeking Based on Double-Action Q-Learning (DCKN, NHCY), pp. 653–666.

SAT-2007-HeuleM07a #effectiveness

Effective Incorporation of Double Look-Ahead Procedures (MH, HvM), pp. 258–271.

DAC-2006-AnanthanR #physics #process

A fully physical model for leakage distribution under process variations in Nanoscale double-gate CMOS (HA, KR), pp. 413–418.

DAC-2006-ChenCCCH #novel

Novel full-chip gridless routing considering double-via insertion (HYC, MFC, YWC, LC, BH), pp. 755–760.

DATE-2006-McConaghyG #canonical #modelling #performance

Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.

DATE-2006-MullerBJ #design #multi

ASIP-based multiprocessor SoC design for simple and double binary turbo decoding (OM, AB, MJ), pp. 1330–1335.

DATE-2006-YavariSR06a

Double-sampling single-loop sigma-delta modulator topologies for broadband applications (MY, OS, ÁRV), pp. 399–404.

STOC-2006-ColeG #bound #set

Searching dynamic point sets in spaces with bounded doubling dimension (RC, LAG), pp. 574–583.

ICPR-v4-2006-HerzogNKMOB #detection #image

Detection of presynaptic terminals on dendritic spines in double labeling confocal images (AH, RN, GK, BM, WO, KB), pp. 715–718.

ICPR-v4-2006-ZhengLL #learning #network

Control Double Inverted Pendulum by Reinforcement Learning with Double CMAC Network (YZ, SL, ZL), pp. 639–642.

SAC-2006-ErshovNM #architecture #precise

Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.

DATE-2005-TeslenkoD #algorithm #graph #performance

An Efficient Algorithm for Finding Double-Vertex Dominators in Circuit Graphs (MT, ED), pp. 406–411.

SAC-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 1409–1413.

SAC-OOPS-J-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 49–69.

ICPR-v1-2004-CabralJH

Omnidirectional Stereo Vision with a Hiperbolic Double Lobed Mirror (ELLC, JCdSJ, MCH), pp. 1–4.

ICALP-2003-JohannsenL #exponential

CTL+ Is Complete for Double Exponential Time (JJ, ML), pp. 767–775.

ICPR-v2-2002-KirshnerCSKC #detection #modelling #probability

Probabilistic Model-Based Detection of Bent-Double Radio Galaxies (SK, IVC, PS, CK, ECP), pp. 499–502.

HCI-EI-1999-SkybergSWVLD #health #reduction

Health Improvements Among VDU Workers after Reduction of the Airborne Dust in the Office. — Three Double-blind Intervention Studies (KS, KS, EW, AIV, FL, PD), pp. 61–64.

ICEIS-1999-FanCY

Blind Signatures with Double-Hashes Messages for Fair Electronic Elections and Ownership Claimable Digital Cash (CIF, WKC, YSY), pp. 612–618.

LICS-1999-BruniM #category theory #π-calculus

Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus (RB, UM), pp. 246–265.

TAGT-1998-BaldanCM #graph grammar

Unfolding of Double-Pushout Graph Grammars is a Coreflection (PB, AC, UM), pp. 145–163.

TAGT-1998-EhrigHLOPR #framework #graph #rule-based

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.

TAGT-1998-HabelMP #approach #injection

Double-Pushout Approach with Injective Matching (AH, JM, DP), pp. 103–116.

SAC-1998-BillardL #automaton #behaviour #distributed #learning #simulation

Simulation of period-doubling behavior in distributed learning automata (EB, SL), pp. 690–695.

WIA-1997-Ziadi #automaton #clustering #problem #set #sorting

Sorting and Doubling Techniques for Set Partitioning and Automata Minimization Problems (DZ), pp. 241–251.

ICFP-1997-Okasaki

Catenable Double-Ended Queues (CO), pp. 66–74.

GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept #graph transformation

Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.

GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison #graph transformation

Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.

VLDB-1995-Korth #abstraction #concept #evolution #transaction

The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.

SAC-1993-GrahamI #incremental #linear

Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.

LICS-1992-KapurN #complexity #set

Double-exponential Complexity of Computing a Complete Set of AC-Unifiers (DK, PN), pp. 11–21.

ASPLOS-1991-KatevenisT #branch #memory management

Reducing the Branch Penalty by Rearranging Instructions in Double-Width Memory (MK, NT), pp. 15–27.

VLDB-1990-CheineyM #clustering #parallel #transitive

A Parallel Strategy for Transitive Closure usind Double Hash-Based Clustering (JPC, CdM), pp. 347–358.

GG-1990-EhrigKL #algebra #approach #category theory #graph grammar #tutorial

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts (HE, MK, ML), pp. 24–37.

GG-1990-LuckL

Double-wall Cellworks Systems for Plant Meristems (JL, HBL), pp. 564–581.

STOC-1988-LuekerM #analysis

More Analysis of Double Hashing (GSL, MM), pp. 354–359.

DAC-1986-PutatundaSMC #compilation #named

HAPPI: a chip compiler based on double-level-metal technology (RP, DS, SM, JC), pp. 736–743.

DAC-1985-HsuTCPT #layout #named #standard

ALPS2: a standard cell layout system for double-layer metal technology (CPH, BNT, KC, RAP, JT), pp. 443–448.

DAC-1985-Marek-Sadowska #2d #layout

Two-dimensional router for double layer layout (MMS), pp. 117–123.

DAC-1984-Dupenloup #array

A wire routing scheme for double-layer cell arrays (GD), pp. 32–37.

DAC-1983-PrazicB #array #automation #using

Automatic routing of double layer gate arrays using a moving cursor (BDP, MAB), pp. 644–650.

GG-1982-LuckL #3d #generative

Generation of 3-dimensional plant bodies by double wall map and stereomap systems (JL, HBL), pp. 219–231.

STOC-1979-Kosaraju79aa #realtime #simulation

Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (Preliminary Version) (SRK), pp. 346–351.

STOC-1976-GuibasS #analysis

The Analysis of Double Hashing (Extended Abstract) (LJG, ES), pp. 187–191.

STOC-1973-Pratt #parallel #permutation

Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues (VRP), pp. 268–277.