17 papers:
DAC-2015-LiZHLHX #automation #compilation #performance #stack- Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
CIAA-J-2013-CaralpRT15 #automaton- Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.
- DAC-2014-ShiWZXS #memory management #reduction
- Retention Trimming for Wear Reduction of Flash Memory Storage Systems (LS, KW, MZ, CJX, EHMS), p. 6.
SAT-2014-WetzlerHH #named #performance #proving #using- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs (NW, MH, WAHJ), pp. 422–429.
- CIAA-2013-CaralpRT #automaton
- Trimming Visibly Pushdown Automata (MC, PAR, JMT), pp. 84–96.
- DAC-2012-KuoHCKC #design #monte carlo #performance
- Efficient trimmed-sample Monte Carlo methodology and yield-aware design flow for analog circuits (CCK, WYH, YHC, JFK, YKC), pp. 1113–1118.
ICEIS-v1-2011-MakkiAGJ #evaluation #performance #query #semantics- Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment (SKM, SA, YG, MSJ), pp. 169–176.
SIGIR-2011-DattaV #query- Tossing coins to trim long queries (SD, VV), pp. 1255–1256.
HPCA-2011-NittaFA #network- Addressing system-level trimming issues in on-chip nanophotonic networks (CN, MKF, VA), pp. 122–131.
CASE-2010-ChoiEF #assembly #automation #industrial #roadmap- Trends and opportunities for robotic automation of trim & final assembly in the automotive industry (SC, WE, TAF), pp. 124–129.
- SAT-2008-LiffitonS #satisfiability #set
- Searching for Autarkies to Trim Unsatisfiable Clause Sets (MHL, KAS), pp. 182–195.
VLDB-2007-TatikondaPG #named #programming #query #xml- LCS-TRIM: Dynamic Programming Meets XML Indexing and Querying (ST, SP, MG), pp. 63–74.
ICALP-v1-2006-Fujito #algorithm #approximate #how- How to Trim an MST: A 2-Approximation Algorithm for Minimum Cost Tree Cover (TF), pp. 431–442.
DATE-v1-2004-BhuniaRR #analysis #using- Trim Bit Setting of Analog Filters Using Wavelet-Based Supply Current Analysis (SB, AR, KR), pp. 704–705.
CAV-2003-SenguptaC #named #sequence chart- TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
ICPR-v3-2002-ChetverikovSSK #algorithm- The Trimmed Iterative Closest Point Algorithm (DC, DS, DS, PK), pp. 545–548.
- ICPR-v3-2000-YeH #adaptation #approach
- Optical Flow from a Least-Trimmed Squares Based Adaptive Approach (MY, RMH), pp. 7064–7067.
