## Stem insert$ (all stems)

### 123 papers:

- DAC-2015-LinYP #constraints #performance
- High performance dummy fill insertion with coupling and uniformity constraints (YL, BY, DZP), p. 6.
- DATE-2015-DupuisBFNR #hardware #testing
- New testing procedure for finding insertion sites of stealthy hardware trojans (SD, PSB, MLF, GDN, BR), pp. 776–781.
- DATE-2015-YinLLWG15a #policy
- Cooperatively managing dynamic writeback and insertion policies in a last-level DRAM cache (SY, JL, LL, SW, YG), pp. 187–192.
- PODS-2015-Kapralov #complexity #nearest neighbour #query #trade-off
- Smooth Tradeoffs between Insert and Query Complexity in Nearest Neighbor Search (MK), pp. 329–342.
- ESOP-2015-AbdullaAP #performance
- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO (PAA, MFA, NTP), pp. 308–332.
- LATA-2015-EremondiIM #bound
- Insertion Operations on Deterministic Reversal-Bounded Counter Machines (JE, OHI, IM), pp. 200–211.
- FM-2015-0001K #bound #model checking #using
- Property-Driven Fence Insertion Using Reorder Bounded Model Checking (SJ, DK), pp. 291–307.
- DHM-HM-2015-FujiwaraSKFETY
- Light Transmission Properties of Insert Molded GFRPs with Different Crape Structure of Silk Fabrics (KF, ES, TK, TF, AE, YT, YY), pp. 267–276.
- DHM-HM-2015-FujiwaraSKFSEST #evaluation
- Colorimetry and Impression Evaluation of Insert Molded GFRP Plate with Black Silk Fabrics (KF, ES, TK, TF, TS, AE, YS, YT, YY), pp. 256–266.
- OOPSLA-2015-BenderLP #declarative
- Declarative fence insertion (JB, ML, JP), pp. 367–385.
- DAC-2014-WuWNBP #on the
- On Timing Closure: Buffer Insertion for Hold-Violation Removal (PCW, MDFW, IN, SB, VP), p. 6.
- DUXU-ELAS-2014-Spinillo #how #usability
- How Do Patient Information Leaflets Aid Medicine Usage? A Proposal for Assessing Usability of Medicine Inserts (CGS), pp. 115–124.
- ICPR-2014-MicoO #algorithm #performance
- Dynamic Insertions in TLAESA Fast NN Search Algorithm (LM, JO), pp. 3828–3833.
- KDD-2014-Melli #automation #parsing #semantics
- Shallow semantic parsing of product offering titles (for better automatic hyperlink insertion) (GM), pp. 1670–1678.
- ISMM-2014-Joisha #performance #scalability
- Sticky tries: fast insertions, fast lookups, no deletions for large key universes (PGJ), pp. 35–46.
- CAV-2014-AlglaveKNP #approach #automation #static analysis
- Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
- DAC-2013-KimJK #algorithm #problem
- An optimal algorithm of adjustable delay buffer insertion for solving clock skew variation problem (JK, DJ, TK), p. 6.
- TACAS-2013-AbdullaACLR #automation #precise
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
- TACAS-2013-LindenW #approach #memory management
- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems (AL, PW), pp. 339–353.
- SEKE-2013-BuenoA #experience #knowledge base
- Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (S) (AdOB, JCA), pp. 137–140.
- DATE-2012-FirouziKT
- NBTI mitigation by optimized NOP assignment and insertion (FF, SK, MBT), pp. 218–223.
- DocEng-2012-Damera-VenkataB #automation #documentation
- Ad insertion in automatically composed documents (NDV, JB), pp. 3–12.
- TACAS-2012-AbdullaACLR
- Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.
- SAS-2012-AbdullaACLR #abstraction #automation #integer #source code
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
- LATA-2012-KrassovitskiyL
- Computing by Observing Insertion (AK, PL), pp. 377–388.
- DLT-J-2010-KariS11 #parallel #revisited
- Schema for Parallel Insertion and Deletion: Revisited (LK, SS), pp. 1655–1668.
- DLT-J-2010-KuppusamyMK11 #ambiguity #on the
- On the Ambiguity of Insertion Systems (LK, AM, KK), pp. 1747–1758.
- DLT-2011-Fujioka
- Morphic Characterizations in Terms of Insertion Systems with a Context of Length One (KF), pp. 474–475.
- ICALP-v1-2011-ChimaniH #approximate
- A Tighter Insertion-Based Approximation of the Crossing Number (MC, PH), pp. 122–134.
- HCI-ITE-2011-ShinPCPK #feedback
- Needle Insertion Simulator with Haptic Feedback (SS, WP, HC, SHP, LK), pp. 119–124.
- CIKM-2011-ZhuangLF #xml
- Insert-friendly XML containment labeling scheme (CZ, ZL, SF), pp. 2449–2452.
- DAC-2010-ChenDC #synthesis
- Clock tree synthesis under aggressive buffer insertion (YYC, CD, DC), pp. 86–89.
- DAC-2010-GuthausWR #linear #optimisation #programming
- Non-uniform clock mesh optimization with linear programming buffer insertion (MRG, GW, RR), pp. 74–79.
- DATE-2010-Mirza-AghatabarBG #algorithm #pipes and filters
- Algorithms to maximize yield and enhance yield/area of pipeline circuitry by insertion of switches and redundant modules (MMA, MAB, SKG), pp. 1249–1254.
- DLT-2010-KariS #parallel
- Schema for Parallel Insertion and Deletion (LK, SS), pp. 267–278.
- LATA-2010-Zantema #complexity
- Complexity of Guided Insertion-Deletion in RNA-Editing (HZ), pp. 608–619.
- ICGT-2010-Khomenko #behaviour
- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.
- ICPR-2010-MicoO #algorithm #constant #nearest neighbour #performance
- A Constant Average Time Algorithm to Allow Insertions in the LAESA Fast Nearest Neighbour Search Index (LM, JO), pp. 3911–3914.
- LDTA-2010-JohnstoneS
- Tear-Insert-Fold grammars (AJ, ES), p. 6.
- DAC-2009-HuLA #approximate #polynomial
- A fully polynomial time approximation scheme for timing driven minimum cost buffer insertion (SH, ZL, CJA), pp. 424–429.
- DATE-2009-ChenL #design
- Performance-driven dual-rail insertion for chip-level pre-fabricated design (FWC, YYL), pp. 308–311.
- DATE-2009-GriessnigMSW #fault #novel #testing
- Fault insertion testing of a novel CPLD-based fail-safe system (GG, RM, CS, RW), pp. 214–219.
- LATA-2009-Onodera #locality #using
- New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality (KO), pp. 648–659.
- HIMI-II-2009-KimuraONOT #analysis
- Analysis on Descriptions of Dosage Regimens in Package Inserts of Medicines (MK, KO, KN, MO, FT), pp. 539–548.
- HIMI-II-2009-NabetaKOT
- A Proposal of a Method to Extract Active Ingredient Names from Package Inserts (KN, MK, MO, FT), pp. 576–585.
- DAC-2008-JiangS #algorithm #scalability
- Circuit-wise buffer insertion and gate sizing algorithm with scalability (ZJ, WS), pp. 708–713.
- SIGMOD-2008-SilbersteinCSVYR #distributed #order #performance
- Efficient bulk insertion into a distributed ordered table (AS, BFC, US, EV, RY, RR), pp. 765–778.
- LATA-2008-KrassovitskiyRV
- Further Results on Insertion-Deletion Systems with One-Sided Contexts (AK, YR, SV), pp. 333–344.
- DAC-2007-ChenZ #performance #process
- Fast Min-Cost Buffer Insertion under Process Variations (RC, HZ), pp. 338–343.
- DAC-2007-HuangCCN
- Clock Period Minimization with Minimum Delay Insertion (SHH, CHC, CMC, YTN), pp. 970–975.
- DATE-2007-BaneresCK
- Layout-aware gate duplication and buffer insertion (DB, JC, MK), pp. 1367–1372.
- ICEIS-DISI-2007-OsbornB #2d
- An insertion strategy for a two-dimensional spatial access method (WO, KB), pp. 295–300.
- SAC-2007-SarfrazR #algorithm #image #polynomial #random #using
- A randomized knot insertion algorithm for outline capture of planar images using cubic spline (MS, AR), pp. 71–75.
- DAC-2006-ChenCCCH #novel
- Novel full-chip gridless routing considering double-via insertion (HYC, MFC, YWC, LC, BH), pp. 755–760.
- DAC-2006-FengH #equivalence #verification
- Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification (XF, AJH), pp. 1063–1068.
- DAC-2006-PengL #constraints #power management
- Low-power repeater insertion with both delay and slew rate constraints (YP, XL), pp. 302–307.
- DAC-2006-WaghmodeLS #scalability
- Buffer insertion in large circuits with constructive solution search techniques (MW, ZL, WS), pp. 296–301.
- DAC-2006-WangZ #bound
- Optimal jumper insertion for antenna avoidance under ratio upper-bound (JW, HZ), pp. 761–766.
- DATE-2006-BabighianBMM
- Enabling fine-grain leakage management by voltage anchor insertion (PB, LB, AM, EM), pp. 868–873.
- DATE-2006-ViswanathAJ #automation #pipes and filters #power management
- Automatic insertion of low power annotations in RTL for pipelined microprocessors (VV, JAA, WAHJ), pp. 496–501.
- CHI-2006-DrennerHFRT #web
- Insert movie reference here: a system to bridge conversation and item-oriented web sites (SD, FMH, DF, JR, LGT), pp. 951–954.
- ICPR-v2-2006-CaoF
- Synthesizing Reflections of Inserted Objects (XC, HF), pp. 1225–1228.
- DAC-2005-PengL #named #performance #power management #using
- Freeze: engineering a fast repeater insertion solver for power minimization using the ellipsoid method (YP, XL), pp. 813–818.
- DAC-2005-SuC #algorithm
- An exact jumper insertion algorithm for antenna effect avoidance/fixing (BYS, YWC), pp. 325–328.
- DAC-2005-SzeAHS
- Path based buffer insertion (CCNS, CJA, JH, WS), pp. 509–514.
- DAC-2005-ZhaoZD #constraints #robust
- Constraint-aware robustness insertion for optimal noise-tolerance enhancement in VLSI circuits (CZ, YZ, SD), pp. 190–195.
- DATE-2005-KallakuriDF #communication
- Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip (SK, AD, EAF), pp. 826–827.
- DATE-2005-LiS05a #algorithm
- An O(bn2) Time Algorithm for Optimal Buffer Insertion with b Buffer Types (ZL, WS), pp. 1324–1329.
- DATE-2005-LiuPP #hybrid #named #performance #power management
- RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power (XL, YP, MCP), pp. 1330–1335.
- DATE-2005-XiongTH #process
- Buffer Insertion Considering Process Variation (JX, KHT, LH), pp. 970–975.
- LOPSTR-2005-SuenagaKY #approach #automation #generative #source code #type system
- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives (KS, NK, AY), pp. 98–114.
- DAC-2004-LiuPP #library #power management #question #what
- Practical repeater insertion for low power: what repeater library do we need? (XL, YP, MCP), pp. 30–35.
- DATE-v1-2004-BabighianBM #algorithm #scalability
- A Scalable ODC-Based Algorithm for RTL Insertion of Gated Clocks (PB, LB, EM), pp. 500–505.
- DATE-v1-2004-EfthymiouSE #automation #generative
- Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits (AE, CPS, DAE), pp. 672–673.
- DATE-v2-2004-VrankenSW #layout
- Impact of Test Point Insertion on Silicon Area and Timing during Layout (HPEV, FSS, HJW), pp. 810–815.
- SIGMOD-2004-ONeilOPCSW #named #xml
- ORDPATHs: Insert-Friendly XML Node Labels (PEO, EJO, SP, IC, GS, NW), pp. 903–908.
- ISMM-2004-LeeY #automation #effectiveness #memory management #source code
- Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs (OL, KY), pp. 97–107.
- DAC-2003-ShiL #algorithm
- An O(nlogn) time algorithm for optimal buffer insertion (WS, ZL), pp. 580–585.
- VLDB-2003-AnKR #performance
- Improving Performance with Bulk-Inserts in Oracle R-Trees (NA, KVRK, SR), pp. 948–951.
- SAS-2003-LeeYY #memory management #reuse #source code
- Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.
- DATE-2002-HuangLWG #constraints
- Maze Routing with Buffer Insertion under Transition Time Constraints (LDH, ML, DFW, YG), pp. 702–707.
- DATE-2002-HuangTXWL #algorithm #polynomial #problem
- A Polynomial Time Optimal Diode Insertion/Routing Algorithm for Fixing Antenna Problem (LDH, XT, HX, DFW, IML), pp. 470–475.
- DATE-2002-LuZKC
- Flip-Flop and Repeater Insertion for Early Interconnect Planning (RL, GZ, CKK, KYC), pp. 690–695.
- DATE-2002-ZhuangKSJ
- An Enhanced Q-Sequence Augmented with Empty-Room-Insertion and Parenthesis Trees (CZ, YK, KS, LJ), pp. 61–68.
- SCAM-2002-Ghosh #concurrent #fault #metric #object-oriented #source code #testing #towards #using
- Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation (SG), pp. 17–25.
- DAC-2001-LepakLH #constraints
- Simultaneous Shield Insertion and Net Ordering under Explicit RLC Noise Constraint (KML, IL, LH), pp. 199–202.
- DATE-2001-GaoW #algorithm #graph #modelling
- A graph based algorithm for optimal buffer insertion under accurate delay models (YG, DFW), pp. 535–539.
- ICDAR-2001-MieneHI
- Extracting Textual Inserts from Digital Videos (AM, TH, GTI), pp. 1079–1083.
- STOC-2001-ErgunSSS #performance
- Biased dictionaries with fast insert/deletes (FE, SCS, JS, RKS), pp. 483–491.
- ICEIS-v1-2001-PereiraB
- Inserting Data Warehouse in Corporations (WALP, KB), pp. 3–9.
- DAC-2000-JagannathanHL #algorithm #performance
- A fast algorithm for context-aware buffer insertion (AJ, SWH, JL), pp. 368–373.
- DAC-2000-LaiW
- Maze routing with buffer insertion and wiresizing (ML, DFW), pp. 374–378.
- DATE-2000-LiuAW #constraints
- Meeting Delay Constraints in DSM by Minimal Repeater Insertion (IML, AA, DFW), pp. 436–440.
- DATE-2000-VardanianM #concurrent #detection #fault
- Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check (VAV, LBM), p. 762.
- HPCA-2000-RajwarKG #throughput
- Improving the Throughput of Synchronization by Insertion of Delays (RR, AK, JRG), pp. 168–179.
- OSDI-2000-BrownM #memory management #physics #using
- Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
- TestCom-2000-AmyotL
- Structural Coverage For LOTOS — a Probe Insertion Technique (DA, LL), pp. 19–34.
- DAC-1999-AlpertDQ
- Buffer Insertion with Accurate Gate and Interconnect Delay Computation (CJA, AD, STQ), pp. 479–484.
- DAC-1999-ChenM #using
- Noise-Aware Repeater Insertion and Wire-Sizing for On-Chip Interconnect Using Hierarchical Moment-Matching (CPC, NM), pp. 502–506.
- DAC-1999-IsmailF
- Effects of Inductance on the Propagation Delay and Repeater Insertion in VLSI Circuits (YII, EGF), pp. 721–724.
- DAC-1999-ZhouWLA #strict
- Simultaneous Routing and Buffer Insertion with Restrictions on Buffer Locations (HZ, DFW, IML, AA), pp. 96–99.
- DATE-1999-NicoliciA #hardware #performance
- Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths (NN, BMAH), p. 289–?.
- VLDB-1999-JermaineDO #novel
- A Novel Index Supporting High Volume Data Warehouse Insertion (CJ, AD, EO), pp. 235–246.
- SAC-1999-Julstrom #heuristic #permutation
- Coding TSP Tours as Permutations via an Insertion Heuristic (BAJ), pp. 297–301.
- ICSE-1999-DevanbuCGMM #maintenance #named #re-engineering
- CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments (PTD, YFC, ERG, HAM, JM), pp. 473–482.
- DAC-1998-AlpertDQ #optimisation
- Buffer Insertion for Noise and Delay Optimization (CJA, AD, STQ), pp. 362–367.
- DAC-1998-CuletuAM
- A Practical Repeater Insertion Method in High Speed VLSI Circuits (JC, CA, JM), pp. 392–395.
- DAC-1997-AlpertD
- Wire Segmenting for Improved Buffer Insertion (CJA, AD), pp. 588–593.
- DAC-1997-LillisC #multi #optimisation
- Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion (JL, CKC), pp. 214–219.
- EDTC-1997-NouraniP #analysis #behaviour #using
- Structural BIST insertion using behavioral test analysis (MN, CAP), pp. 64–68.
- DAC-1996-LinMCL #logic
- Test Point Insertion: Scan Paths through Combinational Logic (CCL, MMS, KTC, MTCL), pp. 268–273.
- WPC-1996-Wong #comprehension #on the #process
- On Inserting Program Understanding Technology into the Software Change Process (KW), pp. 90–99.
- OOPSLA-1996-DickyDHL #automation #on the
- On Automatic Class Insertion with Overloading (HD, CD, MH, TL), pp. 251–267.
- DAC-1995-XiD #power management #process
- Buffer Insertion and Sizing Under Process Variations for Low Power Clock Distribution (JGX, WWMD), pp. 491–496.
- ICALP-1995-Henzinger #approximate
- Approximating Minimum Cuts under Insertions (MRH), pp. 280–291.
- FSE-1994-CeceFI #communication #fault
- Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
- PODS-1989-JohnsonS
- Utilization of B-trees with Inserts, Deletes and Modifies (TJ, DS), pp. 235–246.
- DAC-1988-KimTH #automation #hardware #using
- Automatic Insertion of BIST Hardware Using VHDL (KK, JGT, DSH), pp. 9–15.
- DAC-1987-Krishnamurthy #approach #problem #programming
- A Dynamic Programming Approach to the Test Point Insertion Problem (BK), pp. 695–705.
- SIGMOD-1986-Willard #algorithm #worst-case
- Good Worst-Case Algorithms for Inserting and Deleting Records in Dense Sequential Files (DEW), pp. 251–260.
- ICALP-1986-VarmanD #algorithm #parallel
- A Parallel Vertex Insertion Algorithm For Minimum Spanning Trees (PJV, KD), pp. 424–433.
- DAC-1980-Northcutt #design #fault #implementation
- The design and implementation of fault insertion capabilities for ISPS (JDN), pp. 197–209.
- POPL-1977-FischerMQ #ll #parsing #performance
- An Efficient Insertion-Only Error-Corrector for LL(1) Parsers (CNF, DRM, SBQ), pp. 97–103.