BibSLEIGH — reduct stem

Used together with:

model (89)
base (86)
use (85)
order (82)
dimension (82)

Stem reduct$ (all stems)

804 papers:

CASE-2015-HayakawaI #fault #linear #reduction: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
DAC-2015-GuoWHWLC #design #latency #named #novel #reduction: FlexLevel: a novel NAND flash storage system design for LDPC latency reduction (JG, WW, JH, DW, HL, YC), p. 6.
DAC-2015-HanLKNL #framework #multi #optimisation #reduction: A global-local optimization framework for simultaneous multi-mode multi-corner clock skew variation reduction (KH, JL, ABK, SN, JL), p. 6.
DAC-2015-KagalwallaG #effectiveness #modelling #reduction: Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DAC-2015-LiuKDK #data access #network #reduction: Network footprint reduction through data access and computation placement in NoC-based manycores (JL, JK, WD, MTK), p. 6.
DAC-2015-SeyedzadehMJM #encoding #memory management #named #pseudo #reduction: PRES: pseudo-random encoding scheme to increase the bit flip reduction in the memory (SMS, RM, AKJ, RGM), p. 6.
DAC-2015-WangLYSOC #grid #novel #power management #reduction: Novel power grid reduction method based on L1 regularization (YW, ML, XY, ZS, MO, CC), p. 6.
DATE-2015-DiaoLWW #reduction: A coupling area reduction technique applying ODC shifting (YD, TKL, XW, YLW), pp. 1461–1466.
DATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction: A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATE-2015-LiSGWXZS #memory management #performance #reduction: Maximizing IO performance via conflict reduction for flash memory storage systems (QL, LS, CG, KW, CJX, QZ, EHMS), pp. 904–907.
DATE-2015-LiXWNP #fine-grained #multi #power management #reduction #using: Leakage power reduction for deeply-scaled FinFET circuits operating in multiple voltage regimes using fine-grained gate-length biasing technique (JL, QX, YW, SN, MP), pp. 1579–1582.
DATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction: Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
ESOP-2015-SchererR #reduction: Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.
PLDI-2015-Huang #concurrent #model checking #reduction #source code: Stateless model checking concurrent programs with maximal causality reduction (JH), pp. 165–174.
PLDI-2015-ZhangKW #memory management #modelling #partial order #reduction: Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
STOC-2015-AggarwalDKO #reduction: Non-malleable Reductions and Applications (DA, YD, TK, MO), pp. 459–468.
STOC-2015-BourgainDN #formal method #reduction #towards: Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.
STOC-2015-CohenEMMP #approximate #clustering #rank #reduction: Dimensionality Reduction for k-Means Clustering and Low Rank Approximation (MBC, SE, CM, CM, MP), pp. 163–172.
ICALP-v1-2015-JahanjouMV #reduction: Local Reductions (HJ, EM, EV), pp. 749–760.
SEFM-2015-Jakobs #clustering #configuration management #reduction #validation: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
CHI-2015-KonradBCTNDPW #adaptation #automation #reduction: Finding the Adaptive Sweet Spot: Balancing Compliance and Achievement in Automated Stress Reduction (AK, VB, NC, ST, LN, HD, PP, SW), pp. 3829–3838.
DUXU-DD-2015-FloraB #behaviour #energy #reduction: Motivators of Energy Reduction Behavioral Intentions: Influences of Technology, Personality Characteristics, Perceptions, and Behavior Barriers (JAF, BB), pp. 436–446.
ICEIS-v1-2015-PecliGPMFTTDFCG #learning #predict #problem #reduction: Dimensionality Reduction for Supervised Learning in Link Prediction Problems (AP, BG, CCP, CM, FF, FT, JT, MVD, SF, MCC, RRG), pp. 295–302.
ICML-2015-Yang0JZ15a #random #reduction: Theory of Dual-sparse Regularized Randomized Reduction (TY, LZ, RJ, SZ), pp. 305–314.
KDD-2015-MaoWGS #graph #learning #reduction: Dimensionality Reduction Via Graph Structure Learning (QM, LW, SG, YS), pp. 765–774.
SAC-2015-KapoorDC #capacity #energy #performance #reduction: Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.
SAC-2015-LeeP #reduction: Search space reduction for electric vehicle-based tour schedules (JL, GLP), pp. 2075–2076.
SAC-2015-MoreiraJR #analysis #reduction #similarity #visual notation: Visual similarity analysis in loop closure through data dimensionality reduction via diffusion maps (LASM, CMJ, PFFR), pp. 289–294.
ESEC-FSE-2015-ShiYGM #reduction #testing: Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #reduction #testing: The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction: Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
CASE-2014-ChiuC #bound #detection #image: A variance-reduction method for thyroid nodule boundary detection on ultrasound images (LYC, AC), pp. 681–685.
CASE-2014-HoussemanDRP #reduction: Smart dynamic sampling for wafer at risk reduction in semiconductor manufacturing (SH, SDP, GRV, JP), pp. 780–785.
CASE-2014-HuiM #assessment #performance #reduction: Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASE-2014-MashaeiL #energy #reduction: Energy reduction in cyclic flow shop plants through on-off control of robots (MM, BL), pp. 492–497.
DAC-2014-DongZC #algorithm #online #performance #reduction: A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DAC-2014-LiangC #analysis #clustering #named #network #probability #reduction #scalability #smarttech: ClusRed: Clustering and Network Reduction Based Probabilistic Optimal Power Flow Analysis for Large-Scale Smart Grids (YL, DC), p. 6.
DAC-2014-ShiWZXS #memory management #reduction: Retention Trimming for Wear Reduction of Flash Memory Storage Systems (LS, KW, MZ, CJX, EHMS), p. 6.
DAC-2014-WaeijenSCH #reduction: Reduction Operator for Wide-SIMDs Reconsidered (LW, DS, HC, YH), p. 6.
DATE-2014-BanagaayaAST #network #order #reduction: Implicit index-aware model order reduction for RLC/RC networks (NB, GA, WHAS, CT), pp. 1–6.
DATE-2014-LeeL #3d #gpu #on the #reduction: On GPU bus power reduction with 3D IC technologies (YJL, SKL), pp. 1–6.
DATE-2014-MahmoodPM #performance #reduction #using: Cache aging reduction with improved performance using dynamically re-sizable cache (HM, MP, EM), pp. 1–6.
DATE-2014-RanaC #analysis #named #reduction #scalability #simulation: SSFB: A highly-efficient and scalable simulation reduction technique for SRAM yield analysis (MR, RC), pp. 1–6.
DATE-2014-SongDY #analysis #bound #multi #order #parametricity #performance #reduction: Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
DATE-2014-WangFOT #3d #reduction: P/G TSV planning for IR-drop reduction in 3D-ICs (SW, FF, FO, MBT), pp. 1–6.
DocEng-2014-BoschGL #automation #css #reduction #refactoring: Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
TACAS-2014-HerreraWP #network #query #reduction: Quasi-Equal Clock Reduction: More Networks, More Queries (CH, BW, AP), pp. 295–309.
CSMR-WCRE-2014-VidacsBTSG #approach #detection #fault #locality #reduction #testing: Test suite reduction for fault detection and localization: A combined approach (LV, ÁB, DT, IS, TG), pp. 204–213.
SAS-2014-IoossAR #equivalence #on the #reduction: On Program Equivalence with Reductions (GI, CA, SVR), pp. 168–183.
STOC-2014-KumarS #all about #reduction: The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in (MK, SS), pp. 136–145.
ICALP-v1-2014-GavinskyL #reduction: En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.
FM-2014-RinastSG #graph #performance #reduction: A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
SEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using: Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
GRAPHITE-2014-SenniS #knowledge base #reduction: Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
CHI-2014-CrnovrsaninWM #reduction #visual notation: Stimulating a blink: reduction of eye fatigue with visual stimulus (TC, YW, KLM), pp. 2055–2064.
CAiSE-2014-KalamatianosK #independence #reduction #streaming: Schema Independent Reduction of Streaming Log Data (TK, KK), pp. 394–408.
ICEIS-v2-2014-ProcaciSA #analysis #community #metric #online #people #reduction #reliability: Finding Reliable People in Online Communities of Questions and Answers — Analysis of Metrics and Scope Reduction (TBP, SWMS, LCVdA), pp. 526–535.
ICML-c2-2014-CelikLL #estimation #network #performance #reduction: Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICML-c2-2014-WangWY #reduction #scalability: Scaling SVM and Least Absolute Deviations via Exact Data Reduction (JW, PW, JY), pp. 523–531.
ICML-c2-2014-XuTXR #reduction: Large-margin Weakly Supervised Dimensionality Reduction (CX, DT, CX, YR), pp. 865–873.
ICPR-2014-HuDGX #analysis #distance #reduction: Max-K-Min Distance Analysis for Dimension Reduction (JH, WD, JG, YX), pp. 726–731.
ICPR-2014-MolderCCH #automation #detection #reduction #using: Automatic Detection of Embryo Location in Medical Imaging Using Trigonometric Rotation for Noise Reduction (ALM, SC, NC, GH), pp. 3239–3244.
ICPR-2014-NegrelPG #image #learning #metric #performance #reduction #retrieval #using: Efficient Metric Learning Based Dimension Reduction Using Sparse Projectors for Image Near Duplicate Retrieval (RN, DP, PHG), pp. 738–743.
ICPR-2014-ZhaoF #algorithm #re-engineering #reduction: A Dictionary-Based Algorithm for Dimensionality Reduction and Data Reconstruction (ZZ, GF), pp. 1556–1561.
KDIR-2014-AbouEisha: Finding Optimal Exact Reducts (HA), pp. 149–153.
SEKE-2014-FernandesALG #modelling #probability #process #reduction: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
OOPSLA-2014-Desai0M #proving #reduction #source code #using: Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
OOPSLA-2014-XiaoGZZZYWLCZ #named #reduction #source code: Cybertron: pushing the limit on I/O reduction in data-parallel programs (TX, ZG, HZ, JZ, XZ, CY, XW, WL, WC, LZ), pp. 895–908.
POPL-2014-AbdullaAJS #partial order #reduction: Optimal dynamic partial order reduction (PAA, SA, BJ, KFS), pp. 373–384.
FSE-2014-ShiGGZM #reduction #testing #trade-off: Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
CGO-2014-WangWP #optimisation #reduction #virtual machine: Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
LCTES-2014-KochFBD #reduction #similarity: Exploiting function similarity for code size reduction (TJKEvK, BF, PB, AD), pp. 85–94.
CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women: Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
ICST-2014-GroceAZCR #reduction #testing: Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ISSTA-2014-GotliebM #named #network #reduction #testing: FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using: Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
LICS-CSL-2014-AccattoliL #invariant #reduction: β reduction is invariant, indeed (BA, UDL), p. 10.
RTA-TLCA-2014-NakazawaN #reduction #λ-calculus #μ-calculus: Reduction System for Extensional Λμ Calculus (KN, TN), pp. 349–363.
SAT-2014-CreusFG #automation #evaluation #problem #reduction: Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.
SAT-2014-HaanS #parametricity #reduction #satisfiability: Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
SAT-2014-SakaiST #reduction #satisfiability #strict: Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (TS, KS, ST), pp. 32–47.
CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing: Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
DAC-2013-DinakarraoWY #3d #multi #reduction: Peak power reduction and workload balancing by space-time multiplexing based demand-supply matching for 3D thousand-core microprocessor (SMPD, KW, HY), p. 6.
DAC-2013-KahngKL #reduction: Smart non-default routing for clock power reduction (ABK, SK, HL), p. 7.
DAC-2013-MinJP #energy #named #optimisation #reduction: XDRA: exploration and optimization of last-level cache for energy reduction in DDR DRAMs (SMM, HJ, SP), p. 10.
DATE-2013-AhmadyanV #analysis #reachability #reduction #set: Reachability analysis of nonlinear analog circuits through iterative reachable set reduction (SNA, SV), pp. 1436–1441.
DATE-2013-BakshiH #reduction #smt #using: LFSR seed computation and reduction using SMT-based fault-chaining (DB, MSH), pp. 1071–1076.
DATE-2013-CanisAB #multi #reduction #synthesis: Multi-pumping for resource reduction in FPGA high-level synthesis (AC, JHA, SDB), pp. 194–197.
DATE-2013-Feng #geometry #grid #power management #reduction #scalability: Large-scale flip-chip power grid reduction with geometric templates (ZF), pp. 1679–1682.
DATE-2013-KahngKP #power management #reduction: Active-mode leakage reduction with data-retained power gating (ABK, SK, BP), pp. 1209–1214.
DATE-2013-KhanSGH #collaboration #complexity #reduction: Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATE-2013-MohanramWI #certification #compilation #memory management #named #order #reduction: Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification (KM, MW, SI), pp. 1490–1493.
DATE-2013-PiriouDRR #architecture #estimation #performance #programmable #reduction: A fast and accurate methodology for power estimation and reduction of programmable architectures (EP, RD, FR, SR), pp. 1054–1055.
DATE-2013-SureshYOS #adaptation #multi #reduction: Adaptive reduction of the frequency search space for multi-vdd digital circuits (CKHS, EY, SO, OS), pp. 292–295.
DATE-2013-TengT #array #design #reduction: Sparse-rotary oscillator array (SROA) design for power and skew reduction (YT, BT), pp. 1229–1234.
ICDAR-2013-BaroniaN #reduction #using: Ink-Bleed Reduction Using Layer Separation (SB, AMN), pp. 215–219.
ICDAR-2013-El-KorashyS #recognition #reduction: Search Space Reduction for Holistic Ligature Recognition in Urdu Nastalique Script (AEK, FS), pp. 1125–1129.
ICDAR-2013-ParvezM #recognition #reduction #using: Lexicon Reduction Using Segment Descriptors for Arabic Handwriting Recognition (MTP, SAM), pp. 1265–1269.
ICDAR-2013-ZhongCC #empirical #evaluation #recognition #reduction: An Empirical Evaluation of Supervised Dimensionality Reduction for Recognition (GZ, YC, MC), pp. 1315–1319.
SCAM-2013-MuskeBS #bibliography #clustering #reduction #static analysis: Review efforts reduction by partitioning of static analysis warnings (TBM, AB, TS), pp. 106–115.
PEPM-2013-Garcia-PerezN #functional #reduction #semantics: A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
ICALP-v1-2013-GlasserNRSW #polynomial #reduction #set: Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions (CG, DTN, CR, ALS, MW), pp. 473–484.
GCM-J-2012-ErmlerKLT #graph transformation #reduction: A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).
CIKM-2013-LuoFHWB #bisimulation #graph #memory management #reduction: External memory K-bisimulation reduction of big graphs (YL, GHLF, JH, YW, PDB), pp. 919–928.
ICML-c1-2013-AvronBTZ #analysis #canonical #correlation #performance #reduction: Efficient Dimensionality Reduction for Canonical Correlation Analysis (HA, CB, ST, AZ), pp. 347–355.
KDD-2013-RaederPDSP #clustering #reduction #scalability #using: Scalable supervised dimensionality reduction using clustering (TR, CP, BD, OS, FJP), pp. 1213–1221.
MLDM-2013-OthmanB #induction #reduction: Preceding Rule Induction with Instance Reduction Methods (OO, CHB), pp. 209–218.
OOPSLA-2013-CoonsMM #bound #partial order #reduction: Bounded partial-order reduction (KEC, MM, KSM), pp. 833–848.
LOPSTR-2013-DanvyJ #automaton #reduction #semantics: From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.
SAC-2013-RabanalR #metaheuristic #polynomial #problem #reduction #using: Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems (PR, IR), pp. 194–199.
SAC-2013-SaitoRFSG #approach #image #performance #reduction: A data reduction and organization approach for efficient image annotation (PTMS, PJdR, AXF, CTNS, JFG), pp. 53–57.
ESEC-FSE-2013-InozemtsevaHH #fault #reduction #using: Using fault history to improve mutation reduction (LI, HH, RH), pp. 639–642.
LCTES-2013-WangLWS #hybrid #memory management #named #reduction: FTL2: a hybrid flash translation layer with logging for write reduction in flash memory (TW, DL, YW, ZS), pp. 91–100.
CADE-2013-KaminskiT #incremental #named #reasoning #reduction #satisfiability: InKreSAT: Modal Reasoning via Incremental Reduction to SAT (MK, TT), pp. 436–442.
CADE-2013-WilliamsK #problem #proving #reduction #satisfiability: Propositional Temporal Proving with Reductions to a SAT Problem (RW, BK), pp. 421–435.
ICTSS-2013-GuttingerKKW #reduction #testing: Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing: Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
SAT-2013-JordanK #reduction: Experiments with Reduction Finding (CJ, LK), pp. 192–207.
TLCA-2013-Clairambault #bound #linear #reduction: Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction (PC), pp. 109–124.
VMCAI-2013-JacobsKS #reduction #synthesis: Reductions for Synthesis Procedures (SJ, VK, PS), pp. 88–107.
VMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
ASE-2012-LuCC #fault #learning #predict #reduction #using: Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.
CASE-2012-DimitrovB #algorithm #evaluation #reduction #scheduling #search-based: Criteria evaluation considering the current time used by a genetic scheduling algorithm for changeover and tardiness reduction (TD, MB), pp. 425–430.
CASE-2012-LakshmiNBSSBV #reduction: A strategy-proof and budget balanced mechanism for carbon footprint reduction by global companies (LUL, YN, DB, PS, SVS, SB, NV), pp. 64–69.
DAC-2012-SeversonYD #performance #question #reduction: Not so fast my friend: is near-threshold computing the answer for power reduction of wireless devices? (MS, KY, YD), pp. 1164–1166.
DAC-2012-SuYZ #named #order #performance #reduction: AMOR: an efficient aggregating based model order reduction method for many-terminal interconnect circuits (YS, FY, XZ), pp. 295–300.
DAC-2012-ZhangLWFW #higher-order #performance #reduction: Fast nonlinear model order reduction via associated transforms of high-order volterra transfer functions (YZ, HL, QW, NF, NW), pp. 289–294.
DATE-2012-AridhiZT #order #reduction #simulation #towards #using: Towards improving simulation of analog circuits using model order reduction (HA, MHZ, ST), pp. 1337–1342.
DATE-2012-LvKE #multi #performance #reduction #verification: Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
DATE-2012-RichterC #manycore #reduction: Test pin count reduction for NoC-based Test delivery in multicore SOCs (MR, KC), pp. 787–792.
DATE-2012-TangHCH #generative #logic #multi #reduction: Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
DRR-2012-GaoZN #complexity #online #recognition #reduction: Complexity reduction with recognition rate maintained for online handwritten Japanese text recognition (JG, BZ, MN).
ESOP-2012-FajstrupGHMR #performance #reduction: Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
FASE-2012-Kahlon #reduction: Schedule Insensitivity Reduction (VK), pp. 99–114.
FASE-2012-UsaolaML #reduction #testing #using: Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.
TACAS-2012-WangTGLS #analysis #formal method: Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
PLDI-2012-JohnsonKPZA #reduction: Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.
PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing: Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
STOC-2012-ChawlaIL #black box #design #on the #reduction: On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
DLT-2012-NevisiR #reduction: Morphic Primitivity and Alphabet Reductions (HN, DR), pp. 440–451.
ICFP-2012-Sheard #design #programming #reduction: Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
ICML-2012-NeufeldYZKS #reduction: Regularizers versus Losses for Nonlinear Dimensionality Reduction: A Factored View with New Convex Relaxations (JN, YY, XZ, RK, DS), p. 191.
ICML-2012-ParrishG #reduction: Dimensionality Reduction by Local Discriminative Gaussians (NP, MRG), p. 30.
ICPR-2012-ChherawalaWC #documentation #reduction: Sparse descriptor for lexicon reduction in handwritten Arabic documents (YC, RW, MC), pp. 3729–3732.
ICPR-2012-FefilatyevSKHGKDRB #reduction: Label-noise reduction with support vector machines (SF, MS, KK, LOH, DBG, RK, KD, AR, HB), pp. 3504–3508.
ICPR-2012-Liao #reduction: Commensurate dimensionality reduction for extended local ternary patterns (WHL), pp. 3013–3016.
ICPR-2012-LiuLLC #graph #image #reduction: Graph-based dimensionality reduction for KNN-based image annotation (XL, RL, FL, QC), pp. 1253–1256.
ICPR-2012-ShaoS #analysis #distance #reduction: Fractional-step max-min distance analysis for dimension reduction (GS, NS), pp. 396–400.
ICPR-2012-XiongCLLSA #image #reduction #segmentation: Segmentation of neural stem cells/neurospheres in unevenly illuminated brightfield images with shading reduction (WX, SCC, JHL, HKL, SS, SA), pp. 1623–1626.
ICPR-2012-ZhangSLZS #image #reduction: Enhancement and noise reduction of very low light level images (XZ, PS, LL, LZ, JS), pp. 2034–2037.
KDD-2012-WauthierJJ #clustering #nondeterminism #reduction: Active spectral clustering via iterative uncertainty reduction (FLW, NJ, MIJ), pp. 1339–1347.
MLDM-2012-Kovacs #distance #reduction: Reduction of Distance Computations in Selection of Pivot Elements for Balanced GHT Structure (LK), pp. 50–62.
SEKE-2012-ZhangCGZSC #named #reduction #requirements #testing: CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.
OOPSLA-2012-HuangZ #agile #concurrent #debugging #execution #named #reduction: LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
ICSE-2012-HaoZWMR #on-demand #reduction #testing: On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
PPoPP-2012-BallardDK #communication #reduction: Communication avoiding successive band reduction (GB, JD, NK), pp. 35–44.
CAV-2012-ChuJ #reduction #safety #symmetry #verification: A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
CSL-2012-DeYoungCPT #communication #linear #logic #reduction: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
ICST-2012-MateoU #execution #music #reduction: Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.
RTA-2012-AccattoliL #cost analysis #on the #reduction: On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
SAT-2012-Gupta #algorithm #proving #reduction: Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.
SAT-2012-KullmannZ #on the #reduction #satisfiability: On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (OK, XZ), pp. 270–283.
ASE-2011-BokorKSS #partial order #reduction: Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ASE-2011-Gonzalez-SanchezAGG #ambiguity #fault #locality #reduction #testing: Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.
DAC-2011-HochmanBW #empirical #reduction: A stabilized discrete empirical interpolation method for model reduction of electrical, thermal, and microelectromechanical systems (AH, BNB, JKW), pp. 540–545.
DAC-2011-RahmanATS #library #physics #reduction #synthesis: Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.
DATE-2011-HashempourDTKHBX #fault #industrial #reduction #testing: Test time reduction in analogue/mixed-signal devices by defect oriented testing: An industrial example (HH, JD, BT, BK, CH, MvB, YX), pp. 371–376.
DATE-2011-LiuOXL #energy #reduction: Register allocation for simultaneous reduction of energy and peak temperature on registers (TL, AO, CJX, ML), pp. 20–25.
DATE-2011-RahmanTS #reduction: Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.
DATE-2011-YangSSL #reduction #testing: A clock-gating based capture power droop reduction methodology for at-speed scan testing (BY, AS, SS, CL), pp. 197–203.
DATE-2011-ZhangHCW #grid #network #power management #reduction: A block-diagonal structured model reduction scheme for power grid networks (ZZ, XH, CKC, NW), pp. 44–49.
ICDAR-2011-GatosLS #performance #reduction: Greek Polytonic OCR Based on Efficient Character Class Number Reduction (BG, GL, NS), pp. 1155–1159.
SIGMOD-2011-HuangSLZ #effectiveness #multi #similarity: Effective data co-reduction for multimedia similarity search (ZH, HTS, JL, XZ), pp. 1021–1032.
FASE-2011-CrouzenL #reduction: Smart Reduction (PC, FL), pp. 111–126.
TACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction: Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.
TACAS-2011-TimmerSP #confluence #probability #reduction: Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.
ICSM-2011-SampathBJM #reduction #testing: A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
SAS-2011-Feret #formal method #reduction: Formal Model Reduction (JF), p. 6.
STOC-2011-NovocinSV #algorithm #complexity: An LLL-reduction algorithm with quasi-linear time complexity: extended abstract (AN, DS, GV), pp. 403–412.
DLT-J-2009-HalavaH11 #problem #reduction: Reduction Tree of the Binary Generalized Post Correspondence Problem (VH, SH), pp. 473–490.
ICALP-v1-2011-AustrinK #distance #problem #reduction: A Simple Deterministic Reduction for the Gap Minimum Distance of Code Problem (PA, SK), pp. 474–485.
ICALP-v1-2011-HarrowMS #quantum #reduction: Limitations on Quantum Dimensionality Reduction (AWH, AM, AJS), pp. 86–97.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction: Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
FM-2011-ZhangSPLD #on the #reduction: On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
HCI-UA-2011-FolmerPV #reduction: An Analytical Alarm Flood Reduction to Reduce Operator’s Workload (JF, DP, BVH), pp. 297–306.
CIKM-2011-GangulyLMJ #feedback #pseudo #query #reduction #using: Patent query reduction using pseudo relevance feedback (DG, JL, WM, GJFJ), pp. 1953–1956.
KDIR-2011-BressoBSMKSND #mining #reduction: Use of Domain Knowledge for Dimension Reduction — Application to Mining of Drug Side Effects (EB, SB, MST, GM, ASK, MS, AN, MDD), pp. 271–276.
KDIR-2011-KomninosPSG #information management #mobile #reduction: Context Dimensionality Reduction for Mobile Personal Information Access (AK, AP, VS, JDG), pp. 493–498.
MLDM-2011-SanchezGM #classification #reduction #tool support: Exploring Synergetic Effects of Dimensionality Reduction and Resampling Tools on Hyperspectral Imagery Data Classification (JSS, VG, RAM), pp. 511–523.
SEKE-2011-ZhaoZWY #fault #locality #named #reduction: PAFL: Fault Localization via Noise Reduction on Coverage Vector (LZ, ZZ, LW, XY), pp. 203–206.
PPDP-2011-Guenot #proving #reduction #λ-calculus: Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.
SAC-2011-ChenZGZWSC #approach #interactive #reduction #requirements #testing: A test suite reduction approach based on pairwise interaction of requirements (XC, LZ, QG, HZ, ZW, XS, DC), pp. 1390–1397.
SAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime: Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
SAC-2011-LeePKKS #grid #power management #reduction #scheduling #smarttech: Power consumption scheduling for peak load reduction in smart grid homes (JL, GLP, SWK, HJK, COS), pp. 584–588.
SAC-2011-TsaiCHH #api #mobile #reduction #rest: Transmission reduction between mobile phone applications and RESTful APIs (CLT, HWC, JLH, CLH), pp. 445–450.
SPLC-2011-SinhaDR #development #multi #performance #product line #reduction #scalability #testing: Governance and Cost Reduction through Multi-tier Preventive Performance Tests in a Large-Scale Product Line Development (SS, TD, RR), pp. 295–302.
SOSP-2011-GuoWZHYZ #interface #model checking #reduction: Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
RTA-2011-AotoT #confluence #proving #term rewriting: A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems (TA, YT), pp. 91–106.
RTA-2011-GrathwohlKPS #graph #named #reduction #term rewriting #visualisation #λ-calculus: Anagopos: A Reduction Graph Visualizer for Term Rewriting and λ Calculus (NBBG, JK, JDP, JGS), pp. 61–70.
RTA-2011-Rose #combinator #named #reduction: CRSX — Combinatory Reduction Systems with Extensions (KHR), pp. 81–90.
CASE-2010-RoutrayRS #clustering #detection #fault #reduction: Data reduction and clustering techniques for fault detection and diagnosis in automotives (AR, AR, SS), pp. 326–331.
DATE-2010-El-MoselhyD #order #reduction #statistics #using: Variation-aware interconnect extraction using statistical moment preserving model order reduction (TAEM, LD), pp. 453–458.
DATE-2010-LiuNCMP #reduction: Post-placement temperature reduction techniques (WL, AN, AC, EM, MP), pp. 634–637.
DATE-2010-PanYZS #approach #megamodelling #order #performance #reduction: An efficient transistor-level piecewise-linear macromodeling approach for model order reduction of nonlinear circuits (XP, FY, XZ, YS), pp. 1673–1676.
DATE-2010-QaziTDSC #analysis #performance #reduction: Loop flattening & spherical sampling: Highly efficient model reduction techniques for SRAM yield analysis (MQ, MT, LD, DS, AC), pp. 801–806.
DATE-2010-ShafiqueMH #adaptation #complexity #reduction #using #video: An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusion (MS, BM, JH), pp. 1713–1718.
DATE-2010-TieDWC #performance #reduction #scheduling: Dual-Vth leakage reduction with Fast Clock Skew Scheduling Enhancement (MT, HD, TW, XC), pp. 520–525.
DATE-2010-VillenaS #named #order #reduction: HORUS — high-dimensional Model Order Reduction via low moment-matching upgraded sampling (JFV, LMS), pp. 465–470.
FASE-2010-LauterburgKMA #heuristic #partial order #reduction: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
TACAS-2010-ElmasQSST #abstraction #proving #reduction: Simplifying Linearizability Proofs with Reduction and Abstraction (TE, SQ, AS, OS, ST), pp. 296–311.
ICALP-v1-2010-MakarychevMS #algorithm #approximate #polynomial #problem #reduction: Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm (KM, RM, MS), pp. 594–604.
ICALP-v1-2010-Xia #artificial reality #reduction #theorem: Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems (MX), pp. 666–677.
LATA-2010-Cruz-SantosM #on the #quantum #reduction #satisfiability: On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT (WCS, GML), pp. 239–248.
SEFM-2010-BarnatBR #parallel #partial order #reduction: Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics: Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
CIKM-2010-GuanXZGY #analysis #classification #documentation #performance #reduction: Fast dimension reduction for document classification based on imprecise spectrum analysis (HG, BX, JZ, MG, TY), pp. 1753–1756.
ICML-2010-Carreira-Perpinan #algorithm #reduction: The Elastic Embedding Algorithm for Dimensionality Reduction (MÁCP), pp. 167–174.
ICML-2010-MasaeliFD #feature model #reduction: From Transformation-Based Dimensionality Reduction to Feature Selection (MM, GF, JGD), pp. 751–758.
ICML-2010-ZhangS #reduction: Projection Penalties: Dimension Reduction without Loss (YZ, JGS), pp. 1223–1230.
ICPR-2010-AouadaBK #adaptation #reduction: Mahalanobis-based Adaptive Nonlinear Dimension Reduction (DA, YB, HK), pp. 742–745.
ICPR-2010-LewandowskiRMN #reduction: Temporal Extension of Laplacian Eigenmaps for Unsupervised Dimensionality Reduction of Time Series (ML, JMdR, DM, JCN), pp. 161–164.
ICPR-2010-LiGW #adaptation #image #reduction #using: Adaptive Enhancement with Speckle Reduction for SAR Images Using Mirror-Extended Curvelet and PSO (YL, HG, QW), pp. 4520–4523.
ICPR-2010-MoonQ #effectiveness #reduction: Effective Dimensionality Reduction Based on Support Vector Machine (SM, HQ), pp. 173–176.
ICPR-2010-SulicPKK #distributed #random #reduction #using: Dimensionality Reduction for Distributed Vision Systems Using Random Projection (VS, JP, MK, SK), pp. 380–383.
ICPR-2010-WshahGCL #novel #recognition #reduction: A Novel Lexicon Reduction Method for Arabic Handwriting Recognition (SW, VG, YC, HL), pp. 2865–2868.
ICPR-2010-XuHL #distance #reduction: Dimensionality Reduction by Minimal Distance Maximization (BX, KH, CLL), pp. 569–572.
ICPR-2010-ZafeiriouL #reduction #visualisation: Nonnegative Embeddings and Projections for Dimensionality Reduction and Information Visualization (SZ, NAL), pp. 726–729.
ICPR-2010-ZhangYFZ #on the #recognition #reduction #representation: On the Dimensionality Reduction for Sparse Representation Based Face Recognition (LZ, MY, ZF, DZ), pp. 1237–1240.
KDD-2010-HoTL #learning #metric #reduction #sequence #similarity: Tropical cyclone event sequence similarity search via dimensionality reduction and metric learning (SSH, WT, WTL), pp. 135–144.
KDD-2010-SunCY #approach #reduction #scalability: A scalable two-stage approach for a class of dimensionality reduction techniques (LS, BC, JY), pp. 313–322.
KDIR-2010-BadrWF #automation #named #reduction #summary: AutoLSA: Automatic Dimension Reduction of LSA for Single-document Summarization (HB, NMW, MF), pp. 444–448.
KDIR-2010-PadmajaBK #framework #problem #reduction: A Class Specific Dimensionality Reduction Framework for Class Imbalance Problem: CPC_SMOTE (TMP, RSB, PRK), pp. 237–242.
SEKE-2010-AbuzeidHT #algorithm #performance #reduction #testing: FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction (ARA, HSH, IAHT), p. 67.
SIGIR-2010-BalasubramanianKC #query #reduction #web: Exploring reductions for long web queries (NB, GK, VRC), pp. 571–578.
LOPSTR-2010-DanvyZ #combinator #graph #reduction: Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.
RE-2010-WnukCR #reduction #requirements #towards #using: Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.
SAC-2010-AlmeidaYA #anti #probability #reduction: Probabilistic anti-spam filtering with dimensionality reduction (TAA, AY, JA), pp. 1802–1806.
SAC-2010-McDonaldTKG #component #reduction #using: Using logic-based reduction for adversarial component recovery (JTM, EDT, YCK, MRG), pp. 1993–2000.
SAC-2010-ZhangGCQC #case study #effectiveness #reduction #testing: A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness (XZ, QG, XC, JQ, DC), pp. 2229–2236.
ICSE-2010-Elmas #abstraction #concurrent #named #proving #reduction #verification: QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
CGO-2010-HanLT #parallel #reduction: Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.
HPDC-2010-BaeCQF #reduction #scalability #visualisation: Dimension reduction and visualization of large high-dimensional data via interpolation (SHB, JYC, JQ, GF), pp. 203–214.
HPDC-2010-ChoiBQFCW #reduction #scalability: Browsing large scale cheminformatics data with dimension reduction (JYC, SHB, JQ, GF, BC, DJW), pp. 503–506.
IJCAR-2010-MaricJ #named #reduction: URBiVA: Uniform Reduction to Bit-Vector Arithmetic (FM, PJ), pp. 346–352.
LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
RTA-2010-Bahr #modelling #reduction: Abstract Models of Transfinite Reductions (PB), pp. 49–66.
DAC-2009-CromarLC #algorithm #reduction: FPGA-targeted high-level binding algorithm for power and area reduction with glitch-estimation (SC, JL, DC), pp. 838–843.
DAC-2009-Geilen #data flow #graph #reduction: Reduction techniques for synchronous dataflow graphs (MG), pp. 911–916.
DATE-2009-AhmedERCST #performance #pipes and filters #programmable #reduction: Exploration of power reduction and performance enhancement in LEON3 processor with ESL reprogrammable eFPGA in processor pipeline and as a co-processor (SZA, JE, LR, JBC, GS, LT), pp. 184–189.
DATE-2009-Diaz-MadridNHDR #pipes and filters #reduction: Power reduction of a 12-bit 40-MS/s pipeline ADC exploiting partial amplifier sharing (JÁDM, HN, HH, GDA, RRM), pp. 369–373.
DATE-2009-HsiehLH #reduction: A physical-location-aware X-filling method for IR-drop reduction in at-speed scan test (WWH, ISL, TH), pp. 1234–1237.
DATE-2009-KhursheedAH #design #fault #multi #reduction: Test cost reduction for multiple-voltage designs with bridge defects through Gate-Sizing (SSK, BMAH, PH), pp. 1349–1354.
DATE-2009-LiuX09a #framework #reduction: A generic framework for scan capture power reduction in fixed-length symbol-based test compression environment (XL, QX), pp. 1494–1499.
DATE-2009-MonyBMB #identification #scalability: Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.
DATE-2009-VillenaCIS #modelling #on the #parametricity #performance #reduction: On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
FoSSaCS-2009-LohreyMS #parametricity #reduction: Parameter Reduction in Grammar-Compressed Trees (ML, SM, MSS), pp. 212–226.
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-ChengW #distance #problem #reduction: A deterministic reduction for the gap minimum distance problem: [extended abstract] (QC, DW), pp. 33–38.
STOC-2009-Tulsiani #csp #reduction: CSP gaps and reductions in the lasserre hierarchy (MT), pp. 303–312.
ICALP-v1-2009-ChekuriK #graph #reduction: A Graph Reduction Step Preserving Element-Connectivity and Applications (CC, NK), pp. 254–265.
FM-2009-LangM #composition #confluence #detection #partial order #reduction #using: Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.
IFM-2009-BenesBCSVZ #ltl #partial order #reduction: Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
IFM-2009-Rakow #petri net #reduction: Decompositional Petri Net Reductions (AR), pp. 352–366.
IFM-2009-YangASHSG #model checking #reduction: Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
HIMI-II-2009-NozawaK #analysis #comparison #realtime #reduction: A Comparison of Artifact Reduction Methods for Real-Time Analysis of fNIRS Data (TN, TK), pp. 413–422.
ICEIS-J-2009-Cuzzocrea #approximate #evaluation #named #probability #query #reduction #scalability: s-OLAP: Approximate OLAP Query Evaluation on Very Large Data Warehouses via Dimensionality Reduction and Probabilistic Synopses (AC), pp. 248–262.
CIKM-2009-WestPP #reduction #wiki: Completing wikipedia’s hyperlink structure through dimensionality reduction (RW, DP, JP), pp. 1097–1106.
ICML-2009-BeygelzimerLZ #machine learning #reduction #summary #tutorial: Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.
KDIR-2009-VillalbaC #biology #case study #classification #generative #reduction: Artificial Data Generation for One-class Classification — A Case Study of Dimensionality Reduction for Text and Biological Data (SDV, PC), pp. 202–210.
KEOD-2009-AnderlMS #approach #complexity #optimisation #reduction: An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.
MLDM-2009-RiesenB #difference #graph #prototype #reduction #using: Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
SIGIR-2009-LeeLP #reduction #similarity #using: Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
SAC-2009-SmithK #empirical #reduction #testing: An empirical study of incorporating cost into test suite reduction and prioritization (AMS, GMK), pp. 461–467.
CGO-2009-BerubeAHS #multi #optimisation #reduction: Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
CAV-2009-KahlonWG #partial order #reduction: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
ICLP-2009-Truszczynski #logic programming #satisfiability #semantics #source code: Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.
VMCAI-2009-TreflerW #architecture #reduction #symmetry: Extending Symmetry Reduction by Exploiting System Architecture (RJT, TW), pp. 320–334.
CBSE-2008-LumpeGS #component #interface #reduction: State Space Reduction Techniques for Component Interfaces (ML, LG, JGS), pp. 130–145.
CASE-2008-ParkDB #collaboration #energy #network #performance #reduction: Collaborative data reduction for energy efficient sensor networks (CP, YD, EB), pp. 442–447.
DAC-2008-BournoutianO #design #embedded #reduction: Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DAC-2008-ElmWIZLM #clustering #reduction: Scan chain clustering for test power reduction (ME, HJW, MEI, CGZ, JL, NM), pp. 828–833.
DAC-2008-HuSMH #multi #reduction: FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.
DAC-2008-JeongKPY #power management #reduction: Dose map and placement co-optimization for timing yield enhancement and leakage power reduction (KJ, ABK, CHP, HY), pp. 516–521.
DAC-2008-JiangM #power management #reduction #scheduling: Power gating scheduling for power/ground noise reduction (HJ, MMS), pp. 980–985.
DAC-2008-JoshiCSBA #power management #reduction #using: Leakage power reduction using stress-enhanced layouts (VJ, BC, DS, DB, KA), pp. 912–917.
DAC-2008-KunduGG #design #partial order #reduction #scalability #testing: Partial order reduction for scalable testing of systemC TLM designs (SK, MKG, RG), pp. 936–941.
DAC-2008-NiM #power management #reduction #scheduling: Leakage power-aware clock skew scheduling: converting stolen time into leakage power reduction (MN, SOM), pp. 610–613.
DAC-2008-YanZTCM #distributed #linear #named #network #order #reduction: DeMOR: decentralized model order reduction of linear networks with massive ports (BY, LZ, SXDT, JC, BM), pp. 409–414.
DAC-2008-ZhouYP #compilation #reduction: Compiler-driven register re-assignment for register file power-density and temperature reduction (XZ, CY, PP), pp. 750–753.
DATE-2008-ChandraNK #architecture #power management #reduction #testing: Low Power Illinois Scan Architecture for Simultaneous Power and Test Data Volume Reduction (AC, FN, RK), pp. 462–467.
DATE-2008-LeinweberB #clustering #composition #fine-grained #reduction: Fine-Grained Supply Gating Through Hypergraph Partitioning and Shannon Decomposition for Active Power Reduction (LL, SB), pp. 373–378.
DATE-2008-LiXHL #named #reduction #testing: iFill: An Impact-Oriented X-Filling Method for Shift- and Capture-Power Reduction in At-Speed Scan-Based Testing (JL, QX, YH, XL), pp. 1184–1189.
DATE-2008-ScheerSB #complexity #reduction #standard: CARbridge, Reduction of System Complexity by Standardisation of the System-Basis-Chips for Automotive Applications (PS, ES, SB), pp. 1107–1110.
DATE-2008-SinanogluM #analysis #composition #reduction #testing: Analysis of The Test Data Volume Reduction Benefit of Modular SOC Testing (OS, EJM), pp. 182–187.
SIGMOD-2008-WichterichAKS #database #flexibility #multi #performance #reduction #similarity: Efficient EMD-based similarity search in multimedia databases via flexible dimensionality reduction (MW, IA, PK, TS), pp. 199–212.
VLDB-2008-DDH #diagrams #identification #reduction #robust: Identifying robust plans through plan diagram reduction (HD, PND, JRH), pp. 1124–1140.
ITiCSE-2008-Armoni #algorithm: Reductive thinking in a quantitative perspective: the case of the algorithm course (MA), pp. 53–57.
FoSSaCS-2008-KikuchiL #normalisation: Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
TACAS-2008-WangYKG #partial order #reduction: Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
ICSM-2008-CornelissenMZ #assessment #reduction: An assessment methodology for trace reduction techniques (BC, LM, AZ), pp. 107–116.
SAS-2008-KiddLR #reduction: Language Strength Reduction (NK, AL, TWR), pp. 283–298.
LATA-2008-BaumeisterR #problem #reduction: The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions (DB, JR), pp. 76–87.
AFP-2008-Danvy08 #normalisation: From Reduction-Based to Reduction-Free Normalization (OD), pp. 66–164.
IFL-2008-Mackie #implementation #interactive #reduction: An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.
GT-VMT-2008-Weinell #graph #query #reduction: Extending Graph Query Languages by Reduction (EW).
ICEIS-AIDSS-2008-JansLV #case study #data mining #mining #reduction: Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.
ICML-2008-DonmezC #learning #optimisation #rank #reduction: Optimizing estimated loss reduction for active sampling in rank learning (PD, JGC), pp. 248–255.
ICML-2008-RishGCPG #linear #modelling #reduction: Closed-form supervised dimensionality reduction with generalized linear models (IR, GG, GAC, FP, GJG), pp. 832–839.
ICPR-2008-BruneauGP #approach #modelling #reduction: Parameter-based reduction of Gaussian mixture models with a variational-Bayes approach (PB, MG, FP), pp. 1–4.
ICPR-2008-JiaZ #reduction: Local Regularized Least-Square Dimensionality Reduction (YJ, CZ), pp. 1–4.
ICPR-2008-LuFJW #classification #framework #learning #metric #reduction #visualisation: Metric Learning: A general dimension reduction framework for classification and visualization (CL, GF, JJ, PSPW), pp. 1–4.
ICPR-2008-PiccardiGO #classification #modelling #reduction: Maximum-likelihood dimensionality reduction in gaussian mixture models with an application to object classification (MP, HG, AFO), pp. 1–4.
ICPR-2008-SubrahmanyamRAR #reduction: Edge-preserving unscented Kalman filter for speckle reduction (GRKSS, ANR, RA, GR), pp. 1–4.
ICPR-2008-WatanabeIHY #algorithm #performance #reduction #using #video: A fast algorithm of video super-resolution using dimensionality reduction by DCT and example selection (KW, YI, TH, MY), pp. 1–5.
KR-2008-LianW #reduction: Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
RecSys-2008-OostendorpR #interface #recommendation #reduction: Three recommender approaches to interface controls reduction (NO, PR), pp. 235–242.
RecSys-2008-SymeonidisNM #recommendation #reduction: Tag recommendations based on tensor dimensionality reduction (PS, AN, YM), pp. 43–50.
SEKE-2008-ChenZX #approach #reduction #testing: A Degraded ILP Approach for Test Suite Reduction (ZC, XZ, BX), pp. 494–499.
OOPSLA-2008-KawachiyaOO #analysis #java #memory management #reduction #string: Analysis and reduction of memory inefficiencies in Java strings (KK, KO, TO), pp. 385–402.
SAC-2008-AquinoFNFLF #clustering #network #reduction: Sensor stream reduction for clustered wireless sensor networks (ALLdA, CMSF, EFN, ACF, AAFL, AOF), pp. 2052–2056.
SAC-2008-ChengHVL #image #reduction: Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SAC-2008-ChenXZN #approach #novel #reduction #testing: A novel approach for test suite reduction based on requirement relation contraction (ZC, BX, XZ, CN), pp. 390–394.
ICSE-2008-YuJH #empirical #fault #locality #reduction #testing: An empirical study of the effects of test-suite reduction on fault localization (YY, JAJ, MJH), pp. 201–210.
CAV-2008-VakkalankaGK #order #reduction #source code #verification: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (SSV, GG, RMK), pp. 66–79.
LICS-2008-AehligB #complexity #on the: On the Computational Complexity of Cut-Reduction (KA, AB), pp. 284–293.
RTA-2008-EndrullisV #reduction: Reduction Under Substitution (JE, RCdV), pp. 425–440.
RTA-2008-Ketema #combinator #normalisation #on the #reduction: On Normalisation of Infinitary Combinatory Reduction Systems (JK), pp. 172–186.
ASE-2007-SmithGKS #reduction #testing: Test suite reduction and prioritization with call trees (AMS, JG, GMK, MLS), pp. 539–540.
DAC-2007-FengLZ #analysis #higher-order #parametricity #performance #reduction #statistics #using: Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.
DAC-2007-ImhofZWML #reduction #testing: Scan Test Planning for Power Reduction (MEI, CGZ, HJW, NM, JL), pp. 521–526.
DAC-2007-MorganT #encoding #energy #reduction: ASIP Instruction Encoding for Energy and Area Reduction (PM, RT), pp. 797–800.
DAC-2007-WenMSKOS #effectiveness #reduction #testing: Critical-Path-Aware X-Filling for Effective IR-Drop Reduction in At-Speed Scan Testing (XW, KM, TS, SK, YO, KKS), pp. 527–532.
DAC-2007-YanTLM #higher-order #named #reduction: SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits (BY, SXDT, PL, BM), pp. 158–161.
DATE-2007-FanMTCH #correlation #order #reduction #statistics: Statistical model order reduction for interconnect circuits considering spatial correlations (JF, NM, SXDT, YC, XH), pp. 1508–1513.
DATE-2007-HsiehLB #detection #fault #reduction: Reduction of detected acceptable faults for yield improvement via error-tolerance (TYH, KJL, MAB), pp. 1599–1604.
DATE-2007-JangKL #fault #profiling #reduction #self: Error rate reduction in DNA self-assembly by non-constant monomer concentrations and profiling (BJ, YBK, FL), pp. 847–852.
DATE-2007-LinH #interactive #reduction #statistics: Interactive presentation: Statistical dual-Vdd assignment for FPGA interconnect power reduction (YL, LH), pp. 636–641.
DATE-2007-MogalB #architecture #reduction: Microarchitecture floorplanning for sub-threshold leakage reduction (HM, KB), pp. 1238–1243.
DATE-2007-PeterLP #encryption #flexibility #hardware #reduction: Flexible hardware reduction for elliptic curve cryptography in GF(2m) (SP, PL, KP), pp. 1259–1264.
DATE-2007-ZhouB #approach #reduction #scheduling #testing #using: Test cost reduction for SoC using a combined approach to test data compression and test scheduling (QZ, KJB), pp. 39–44.
DATE-2007-ZhuP #algorithm #graph #probability #random: Random sampling of moment graph: a stochastic Krylov-reduction algorithm (ZZ, JRP), pp. 1502–1507.
ICDAR-2007-MozaffariFMA #reduction #scalability: Strategies for Large Handwritten Farsi/Arabic Lexicon Reduction (SM, KF, VM, HEA), pp. 98–102.
ICDAR-2007-VamvakasGPS #feature model #performance #recognition #reduction: An Efficient Feature Extraction and Dimensionality Reduction Scheme for Isolated Greek Handwritten Character Recognition (GV, BG, SP, NS), pp. 1073–1077.
WRLA-2006-FarzanM07 #partial order #programming language #reduction #semantics: Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
FASE-2007-FraserW #reduction #testing: Redundancy Based Test-Suite Reduction (GF, FW), pp. 291–305.
FoSSaCS-2007-BertolissiK #calculus #combinator #reduction: The Rewriting Calculus as a Combinatory Reduction System (CB, CK), pp. 78–92.
ICSM-2007-McMasterM #analysis #detection #fault #probability #reduction #testing: Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction (SM, AMM), pp. 335–344.
PLDI-2007-LiCKK #energy #reduction: Profile-driven energy reduction in network-on-chips (FL, GC, MTK, IK), pp. 394–404.
PLDI-2007-TitzerABP #automation #reduction #virtual machine: The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
STOC-2007-BrinkmanKL #graph #random #reduction: Vertex cuts, random walks, and dimension reduction in series-parallel graphs (BB, AK, JRL), pp. 621–630.
STOC-2007-DeshpandeV #approximate #reduction: Sampling-based dimension reduction for subspace approximation (AD, KRV), pp. 641–650.
CIAA-2007-HoltmannL #game studies #infinity #memory management #reduction: Memory Reduction for Strategies in Infinite Games (MH, CL), pp. 253–264.
DLT-2007-BrijderH #assembly #graph #reduction: Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.
LATA-2007-KocholKSS #matrix #reduction: Reductions of matrices associated with nowhere-zero flows (MK, NK, SS, KS), pp. 297–306.
IFM-2007-Toben #communication #data type #reduction: Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
IFL-2007-NaylorR #graph #reduction #using: The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.
AGTIVE-2007-MolEP #proving #reduction: A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.
ICML-2007-DingL #adaptation #analysis #clustering #reduction #using: Adaptive dimension reduction using discriminant analysis and K-means clustering (CHQD, TL), pp. 521–528.
ICML-2007-GerberTW #reduction #robust #using: Robust non-linear dimensionality reduction using successive 1-dimensional Laplacian Eigenmaps (SG, TT, RTW), pp. 281–288.
ICML-2007-LiYW #distance #framework #learning #metric #reduction: A transductive framework of distance metric learning by spectral dimensionality reduction (FL, JY, JW), pp. 513–520.
ICML-2007-MosciRV #reduction: Dimensionality reduction and generalization (SM, LR, AV), pp. 657–664.
ICML-2007-NilssonSJ #kernel #reduction #using: Regression on manifolds using kernel dimension reduction (JN, FS, MIJ), pp. 697–704.
ICML-2007-Yairi #locality #reduction: Map building without localization by dimensionality reduction techniques (TY), pp. 1071–1078.
KDD-2007-Li #random #reduction: Very sparse stable random projections for dimension reduction in lalpha (0 <alpha<=2) norm (PL0), pp. 440–449.
MLDM-2007-FranceC #development #evaluation #metric #reduction: Development of an Agreement Metric Based Upon the RAND Index for the Evaluation of Dimensionality Reduction Techniques, with Applications to Mapping Customer Data (SLF, JDC), pp. 499–517.
MLDM-2007-LeeP #multi #on the #problem #reduction: On Applying Dimension Reduction for Multi-labeled Problems (ML, CHP), pp. 131–143.
MLDM-2007-ZagorisPK #algorithm #fuzzy #reduction #self #using: Color Reduction Using the Combination of the Kohonen Self-Organized Feature Map and the Gustafson-Kessel Fuzzy Algorithm (KZ, NP, IK), pp. 703–715.
SIGIR-2007-HuangSZSR #reduction: Dimensionality reduction for dimension-specific search (ZH, HTS, XZ, DS, SMR), pp. 849–850.
SAC-2007-Al-NaymatCG #query #reduction: Dimensionality reduction for long duration and complex spatio-temporal queries (GAN, SC, JG), pp. 393–397.
SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using: Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.
SAC-2007-XianhuaJX #performance #reduction: Efficient code size reduction without performance loss (LX, ZJ, CX), pp. 666–672.
ESEC-FSE-2007-HarmanHLMW #generative #reduction #search-based #testing: The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.
LDTA-J-2005-JohnstoneS #automation #parsing #recursion #reduction: Automatic recursion engineering of reduction incorporated parsers (AJ, ES), pp. 95–110.
CC-2007-ShyamG #architecture #array #energy #memory management #reduction: An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
LCTES-2007-ZhuM #feedback #named #reduction #scalability #scheduling: DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling (YZ, FM), pp. 31–40.
CAV-2007-Wahl #adaptation #reduction #symmetry: Adaptive Symmetry Reduction (TW), pp. 393–405.
ISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread: Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
LICS-2007-BaillotCL #complexity #logic #reduction: Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.
RTA-2007-Tatsuta #λ-calculus #μ-calculus: The Maximum Length of μ-Reduction in λμ-Calculus (MT), pp. 359–373.
TLCA-2007-Nakazawa #morphism #proving #reduction: An Isomorphism Between Cut-Elimination Procedure and Proof Reduction (KN), pp. 336–350.
DAC-2006-ChengDCW #algorithm #generative #performance #power management #reduction: A fast simultaneous input vector generation and gate replacement algorithm for leakage power reduction (LC, LD, DC, MDFW), pp. 117–120.
DAC-2006-GhoshMKR #power management #reduction #self: Self-calibration technique for reduction of hold failures in low-power nano-scaled SRAM (SG, SM, KK, KR), pp. 971–976.
DAC-2006-HuLHT #reduction: Simultaneous time slack budgeting and retiming for dual-Vdd FPGA power reduction (YH, YL, LH, TT), pp. 478–483.
DAC-2006-LiS #linear #network #order #reduction: Model order reduction of linear networks with massive ports via frequency-dependent port packing (PL, WS), pp. 267–272.
DAC-2006-MengSK #embedded #power management #reduction: Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.
DAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction: MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DAC-2006-ShahGK #library #optimisation #reduction #standard: Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.
DAC-2006-YuSH #analysis #grid #order #performance #power management #reduction: Fast analysis of structured power grid by triangularization based structure preserving model order reduction (HY, YS, LH), pp. 205–210.
DATE-2006-DililloRAG #process #reduction: Minimizing test power in SRAM through reduction of pre-charge activity (LD, PMR, BMAH, PG), pp. 1159–1164.
DATE-2006-MartinezLC #order #reduction #using: Nonlinear model order reduction using remainder functions (JAM, SPL, DMC), pp. 281–282.
DATE-2006-NegreirosCS #reduction: An improved RF loopback for test time reduction (MN, LC, AAS), pp. 646–651.
DATE-2006-XianL #adaptation #energy #multi #reduction: Energy reduction by workload adaptation in a multi-process environment (CX, YHL), pp. 514–519.
DATE-2006-ZengFSCZC #domain model #order #reduction: Time domain model order reduction by wavelet collocation method (XZ, LF, YS, WC, DZ, CC), pp. 21–26.
SIGMOD-2006-VuHCL #database #performance #scalability #similarity: A non-linear dimensionality-reduction technique for fast similarity search in large databases (KV, KAH, HC, SDL), pp. 527–538.
ITiCSE-2006-ArmoniGH: Reductive thinking in undergraduate CS courses (MA, JGE, OH), pp. 133–137.
TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
ICSM-2006-NeginhalK #c #comprehension #graph #reduction: Event Views and Graph Reductions for Understanding System Level C Code (SN, SK), pp. 279–288.
ICALP-v1-2006-HitchcockP #reduction #set: Comparing Reductions to NP-Complete Sets (JMH, AP), pp. 465–476.
FM-2006-DonaldsonM #approximate #model checking #reduction #symmetry: Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.
ICML-2006-Sugiyama #analysis #reduction: Local Fisher discriminant analysis for supervised dimensionality reduction (MS), pp. 905–912.
ICML-2006-XiaoSB #reduction: A duality view of spectral methods for dimensionality reduction (LX, JS, SPB), pp. 1041–1048.
ICML-2006-XiKSWR #classification #performance #reduction #using: Fast time series classification using numerosity reduction (XX, EJK, CRS, LW, CAR), pp. 1033–1040.
ICML-2006-YangFZB #reduction: Semi-supervised nonlinear dimensionality reduction (XY, HF, HZ, JLB), pp. 1065–1072.
ICPR-v2-2006-ChenJY #learning #reduction #robust: Robust Nonlinear Dimensionality Reduction for Manifold Learning (HC, GJ, KY), pp. 447–450.
ICPR-v2-2006-ChouKC #nearest neighbour #reduction: The Generalized Condensed Nearest Neighbor Rule as A Data Reduction Method (CHC, BHK, FC), pp. 556–559.
ICPR-v2-2006-YanT #adaptation #kernel #reduction: Dimensionality Reduction with Adaptive Kernels (SY, XT), pp. 626–629.
ICPR-v3-2006-MalmW #image #reduction #sequence: Motion Dependent Spatiotemporal Smoothing for Noise Reduction in Very Dim Light Image Sequences (HM, EW), pp. 954–959.
ICPR-v3-2006-ZhaoY #graph #incremental #reduction: Incremental Construction of Neighborhood Graphs for Nonlinear Dimensionality Reduction (DZ, LY), pp. 177–180.
ICPR-v4-2006-Yang06a #multi #reduction #scalability: Locally Multidimensional Scaling for Nonlinear Dimensionality Reduction (LY), pp. 202–205.
QAPL-2005-BaierDG06 #branch #partial order #probability #reduction: Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
POPL-2006-GuptaR #reduction: Simplifying reductions (GG, SVR), pp. 30–41.
SAC-2006-PechenizkiyPT #feature model #learning #reduction: The impact of sample reduction on PCA-based feature extraction for supervised learning (MP, SP, AT), pp. 553–558.
ICSE-2006-ZhongZM #comparison #reduction #testing: An experimental comparison of four test suite reduction techniques (HZ, LZ, HM), pp. 636–640.
ASPLOS-2006-XuHB #memory management #reduction #transitive: A regulated transitive reduction (RTR) for longer memory race recording (MX, MDH, RB), pp. 49–60.
LCTES-2006-ParkSDNPE #reduction #scheduling: Bypass aware instruction scheduling for register file power reduction (SP, AS, NDD, AN, YP, EE), pp. 173–181.
PPoPP-2006-DeitzCCS #abstraction #reduction: Global-view abstractions for user-defined reductions and scans (SJD, DC, BLC, LS), pp. 40–47.
CAV-2006-KwiatkowskaNP #model checking #probability #reduction #symmetry: Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
DAC-2005-BhuniaBCMR #approach #novel #power management #reduction #synthesis #using: A novel synthesis approach for active leakage power reduction using dynamic supply gating (SB, NB, QC, HMM, KR), pp. 479–484.
DAC-2005-ChengWLLH #architecture #reduction: Device and architecture co-optimization for FPGA power reduction (LC, PW, FL, YL, LH), pp. 915–920.
DAC-2005-GaoH #multi #reduction: Total power reduction in CMOS circuits via gate sizing and multiple threshold voltages (FG, JPH), pp. 31–36.
DAC-2005-KlemasDW #algorithm #order #reduction: Segregation by primary phase factors: a full-wave algorithm for model order reduction (TJK, LD, JKW), pp. 943–946.
DAC-2005-LinH #performance #reduction: Leakage efficient chip-level dual-Vdd assignment with time slack allocation for FPGA power reduction (YL, LH), pp. 720–725.
DAC-2005-MetzgenN #implementation #multi #reduction: Multiplexer restructuring for FPGA implementation cost reduction (PM, DN), pp. 421–426.
DAC-2005-RoyannezMDWSBBCSDSPRK #design #framework #reduction: A design platform for 90-nm leakage reduction techniques (PR, HM, FD, MW, MS, LB, JB, HC, GS, JD, DS, BP, CR, UK), pp. 549–550.
DAC-2005-SaneeiAN #encoding #power management #reduction: Sign bit reduction encoding for low power applications (MS, AAK, ZN), pp. 214–217.
DAC-2005-SouMD #approach #optimisation #order #reduction: A quasi-convex optimization approach to parameterized model order reduction (KCS, AM, LD), pp. 933–938.
DAC-2005-WanR #linear #reduction: Operator-based model-order reduction of linear periodically time-varying systems (YW, JSR), pp. 391–396.
DAC-2005-YuanQ #reduction: Enhanced leakage reduction Technique by gate replacement (LY, GQ), pp. 47–50.
DAC-2005-ZhouMA #reduction: Structure preserving reduction of frequency-dependent interconnect (QZ, KM, ACA), pp. 939–942.
DATE-2005-AmoryLMM #architecture #multi #reduction #reuse: Test Time Reduction Reusing Multiple Processors in a Network-on-Chip Based Architecture (AMA, ML, FGM, EIM), pp. 62–63.
DATE-2005-HassanADE #power management #process #reduction: Activity Packing in FPGAs for Leakage Power Reduction (HH, MA, AED, MIE), pp. 212–217.
DATE-2005-KitaharaKMSF #design #multi #power management #reduction: Area-Efficient Selective Multi-Threshold CMOS Design Methodology for Standby Leakage Power Reduction (TK, NK, FM, KS, TF), pp. 646–647.
DATE-2005-LiLLPN #modelling #order #parametricity #performance #reduction #using #variability: Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction (PL, FL, XL, LTP, SRN), pp. 958–963.
DATE-2005-SharifiJHAN #reduction: Simultaneous Reduction of Dynamic and Static Power in Scan Structures (SS, JJ, MH, AAK, ZN), pp. 846–851.
DATE-2005-ZuberWOSH #optimisation #power management #reduction: Reduction of CMOS Power Consumption and Signal Integrity Issues by Routing Optimization (PZ, AW, RMBdO, WS, AH), pp. 986–987.
ICDAR-2005-MarinaiMS #documentation #image #layout #reduction #retrieval: Layout based document image retrieval by means of XY tree reduction (SM, EM, GS), pp. 432–436.
ICDAR-2005-MilewskiSG #reduction: A Lexicon Reduction Strategy in the Context of Handwritten Medical Forms (RM, SS, VG), pp. 1146–1150.
ITiCSE-2005-ArmoniG: Reductive thinking in undergraduate CS courses (MA, JGE), p. 362.
ESOP-2005-MakholmW #calculus #mobile #polymorphism #process #reduction #type system: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close (HM, JBW), pp. 389–407.
ESOP-2005-ShiversW #bottom-up: Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
TACAS-2005-EmersonW #reduction #symmetry: Dynamic Symmetry Reduction (EAE, TW), pp. 382–396.
ICSM-2005-HaoZZMS #case study #fault #locality #reduction #testing #using: Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study (DH, LZ, HZ, HM, JS), pp. 683–686.
ICSM-2005-JeffreyG #reduction #testing: Test Suite Reduction with Selective Redundancy (DJ, NG), pp. 549–558.
ICSM-2005-McMasterM #reduction #stack #testing: Call Stack Coverage for Test Suite Reduction (SM, AMM), pp. 539–548.
ICSM-2005-SprenkleSGPS #comparison #empirical #reduction #testing #web: An Empirical Comparison of Test Suite Reduction Techniques for User-Session-Based Testing of Web Applications (SS, SS, EG, LLP, ALS), pp. 587–596.
CIAA-2005-TammNU #automaton #multi #reduction: Size Reduction of Multitape Automata (HT, MN, EU), pp. 307–318.
CAiSE-2005-DongenAV #petri net #reduction #using #verification: Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
ICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using: Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (FÅ, LH), pp. 220–225.
CIKM-2005-OrlandicLY #clustering #effectiveness #performance #reduction #using: Clustering high-dimensional data using an efficient and effective data space reduction (RO, YL, WGY), pp. 201–208.
ECIR-2005-BlancoB #documentation #identifier #reduction: Document Identifier Reassignment Through Dimensionality Reduction (RB, AB), pp. 375–387.
ICML-2005-BeygelzimerDHLZ #classification #fault #reduction: Error limiting reductions between classification tasks (AB, VD, TPH, JL, BZ), pp. 49–56.
ICML-2005-SajamaO05a #modelling #reduction #using: Supervised dimensionality reduction using mixture models (S, AO), pp. 768–775.
ICML-2005-ShaS #analysis #reduction: Analysis and extension of spectral methods for nonlinear dimensionality reduction (FS, LKS), pp. 784–791.
KDD-2005-HershkopS #email #modelling #reduction: Combining email models for false positive reduction (SH, SJS), pp. 98–107.
SEKE-2005-ChanCT #adaptation #random testing #reduction #testing: Adaptive Random Testing with Filtering: An Overhead Reduction Technique (KPC, TYC, DT), pp. 292–299.
POPL-2005-FlanaganG #model checking #partial order #reduction: Dynamic partial-order reduction for model checking software (CF, PG), pp. 110–121.
SAC-2005-FoutMA #multi #reduction: Time-varying, multivariate volume data reduction (NF, KLM, JPA), pp. 1224–1230.
SAC-2005-WuA #reduction: The intensity level reduction in radiation therapy (XW, JA), pp. 242–246.
LDTA-2005-JohnstoneS #parsing #recursion #reduction: Recursion Engineering for Reduction Incorporated Parsers (AJ, ES), pp. 143–160.
HPCA-2005-ChaparroMGG #reduction: Distributing the Frontend for Temperature Reduction (PC, GM, JG, AG), pp. 61–70.
HPCA-2005-JonesOAG #queue #reduction: Software Directed Issue Queue Power Reduction (TMJ, MFPO, JA, AG), pp. 144–153.
HPCA-2005-MengSK #on the #power management #reduction: On the Limits of Leakage Power Reduction in Caches (YM, TS, RK), pp. 154–165.
CAV-2005-TangMGI #model checking #reduction #satisfiability #symmetry: Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.
LICS-2005-Niemisto #locality #on the #reduction: On Locality and Uniform Reduction (HN), pp. 41–50.
RTA-2005-KetemaS #combinator #reduction: Infinitary Combinatory Reduction Systems (JK, JGS), pp. 438–452.
RTA-2005-Simpson #linear #reduction #semantics #λ-calculus: Reduction in a Linear λ-Calculus with Applications to Operational Semantics (AKS), pp. 219–234.
SAT-2005-ZhaoB #reduction: Model-Equivalent Reductions (XZ, HKB), pp. 355–370.
ASE-2004-HeimdahlG #modelling #quality #reduction #testing: Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.
DAC-2004-DeogunRSB #encoding #reduction: Leakage-and crosstalk-aware bus encoding for total power reduction (HD, RRR, DS, DB), pp. 779–782.
DAC-2004-HeLS #reduction: System level leakage reduction considering the interdependence of temperature and leakage (LH, WL, MRS), pp. 12–17.
DAC-2004-LiLH #configuration management #reduction #using: FPGA power reduction using configurable dual-Vdd (FL, YL, LH), pp. 735–740.
DAC-2004-SilveiraP #algorithm #network #reduction: Exploiting input information in a model reduction algorithm for massively coupled parasitic networks (LMS, JRP), pp. 385–388.
DAC-2004-WongBK #performance #reduction: Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.
DATE-v1-2004-AndreiSEPA #energy #reduction: Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems (AA, MTS, PE, ZP, BMAH), pp. 518–525.
DATE-v1-2004-BadarogluWPDGM #reduction: Digital Ground Bounce Reduction by Phase Modulation of the Clock (MB, PW, GVdP, SD, GGEG, HDM), pp. 88–93.
DATE-v1-2004-ChenG #adaptation #bias #low cost #performance #power management #reduction: A Low Cost Individual-Well Adaptive Body Bias (IWABB) Scheme for Leakage Power Reduction and Performance Enhancement in the Presence of Intra-Die Variations (TWC, JG), pp. 240–245.
DATE-v1-2004-HuVKKI #reduction #reuse #scheduling: Scheduling Reusable Instructions for Power Reduction (JSH, NV, SK, MTK, MJI), pp. 148–155.
DATE-v2-2004-ArslanO #architecture #named #reduction: CircularScan: A Scan Architecture for Test Cost Reduction (BA, AO), pp. 1290–1295.
DATE-v2-2004-Feldmann #linear #order #reduction #scalability: Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals (PF), pp. 944–947.
DATE-v2-2004-FengZCZF #analysis #order #reduction: Direct Nonlinear Order Reduction with Variational Analysis (LF, XZ, CC, DZ, QF), pp. 1316–1321.
DATE-v2-2004-JiangC04a #reduction: Realizable Reduction for Electromagnetically Coupled RLMC Interconnects (RJ, CCPC), pp. 1400–1401.
DATE-v2-2004-KumarBK #algorithm #analysis #array #embedded #memory management #named #reduction #using: MemMap: Technology Mapping Algorithm for Area Reduction in FPGAs with Embedded Memory Arrays Using Reconvergence Analysis (AMK, JB, VK), pp. 922–929.
DATE-v2-2004-MineKKWA #hybrid #linear #performance #reduction #simulation: Hybrid Reduction Technique for Efficient Simulation of Linear/Nonlinear Mixed Circuits (TM, HK, AK, TW, HA), pp. 1327–1333.
DATE-v2-2004-PhillipsS #reduction: Poor Man’s TBR: A Simple Model Reduction Scheme (JRP, LMS), pp. 938–943.
DATE-2005-Hillman04 #power management #reduction #using: Using Mobilize Power Management IP for Dynamic & Static Power Reduction in SoC at 130 nm (DH), pp. 240–246.
ITiCSE-2004-Armoni #education #how #question: Reductive thinking: how to teach it? (MA), p. 280.
ESOP-2004-HirschowitzLW #call-by #mixin #reduction #semantics: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types (TH, XL, JBW), pp. 64–78.
STOC-2004-ChenHKX #bound #linear #reduction: Linear FPT reductions and computational lower bounds (JC, XH, IAK, GX), pp. 212–221.
CIAA-2004-TammNU #automaton #multi #reduction: Size Reduction of Multitape Automata (HT, MN, EU), pp. 329–330.
IFL-2004-BentonKLR #reduction: Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
IFL-2004-StefanovS #effectiveness #functional #reduction #source code: Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.
ICEIS-v2-2004-SanchezSA #database #reduction: Databases Reduction (RRS, JCRS, JSAR), pp. 98–103.
CIKM-2004-MegalooikonomouLW #analysis #database #performance #reduction #similarity: A dimensionality reduction technique for efficient similarity analysis of time series databases (VM, GL, QW), pp. 160–161.
ECIR-2004-XueS #categorisation #reduction: Eliminating High-Degree Biased Character Bigrams for Dimensionality Reduction in Chinese Text Categorization (XD, MS), pp. 197–208.
ICML-2004-HamLMS #kernel #reduction: A kernel view of the dimensionality reduction of manifolds (JH, DDL, SM, BS).
ICML-2004-JenkinsM #reduction: A spatio-temporal extension to Isomap nonlinear dimension reduction (OCJ, MJM).
ICML-2004-WeinbergerSS #kernel #learning #matrix #reduction: Learning a kernel matrix for nonlinear dimensionality reduction (KQW, FS, LKS).
ICPR-v1-2004-LebrunCC #reduction #using: SVM Training Time Reduction using Vector Quantization (GL, CC, HC), pp. 160–163.
ICPR-v3-2004-ParedesV #fault #learning #nearest neighbour #prototype #reduction: Learning Prototypes and Distances (LPD). A Prototype Reduction Technique based on Nearest Neighbor Error Minimization (RP, EV), pp. 442–445.
KDD-2004-YeJL #image #named #performance #reduction #retrieval: GPCA: an efficient dimension reduction scheme for image compression and retrieval (JY, RJ, QL), pp. 354–363.
KDD-2004-YePLJXK #algorithm #composition #incremental #named #reduction: IDR/QR: an incremental dimension reduction algorithm via QR decomposition (JY, QL, HX, HP, RJ, VK), pp. 364–373.
SEKE-2004-FoxF #adaptation #clustering #documentation #reduction: Document Clustering with Adaptive Term Weighting and Feature Reduction Capabilities (TWF, BJF), pp. 142–147.
PPDP-2004-CarlierW #type inference: Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.
ICSE-2004-BlackMK #modelling #reduction #testing: Bi-Criteria Models for All-Uses Test Suite Reduction (JB, EM, DRK), pp. 106–115.
CAV-2004-GaoH #algorithm #parallel #reduction: A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.
CAV-2004-JiangB #dependence #functional #reduction #verification: Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
ASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using: Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
DAC-2003-BecerBAPOZH #reduction: Post-route gate sizing for crosstalk noise reduction (MRB, DB, IA, RP, CO, VZ, INH), pp. 954–957.
DAC-2003-DongR #polynomial #reduction: Piecewise polynomial nonlinear model reduction (ND, JSR), pp. 484–489.
DAC-2003-GadN #congruence #order #reduction #using: Model order reduction of nonuniform transmission lines using integrated congruence transform (EG, MSN), pp. 238–243.
DAC-2003-Givargis #embedded #reduction: Improved indexing for cache miss reduction in embedded systems (TG), pp. 875–880.
DAC-2003-HuaQB #energy #multi #reduction: Energy reduction techniques for multimedia applications with tolerance to deadline misses (SH, GQ, SSB), pp. 131–136.
DAC-2003-KaplanBK #communication #configuration management #estimation #reduction: Data communication estimation and reduction for reconfigurable systems (AK, PB, RK), pp. 616–621.
DAC-2003-LeeB #reduction: Static leakage reduction through simultaneous threshold voltage and state assignment (DL, DB), pp. 191–194.
DAC-2003-LiP #named #order #reduction: NORM: compact model order reduction of weakly nonlinear systems (PL, LTP), pp. 472–477.
DAC-2003-LongH #distributed #network #reduction: Distributed sleep transistor network for power reduction (CL, LH), pp. 181–186.
DAC-2003-MeiAI #order #performance #reduction: Efficient model order reduction including skin effect (SM, CSA, YII), pp. 232–237.
DAC-2003-QinC #reduction #using: Realizable parasitic reduction using generalized Y-Delta transformation (ZQ, CKC), pp. 220–225.
DAC-2003-SehgalIKC #multi #reduction #using: Test cost reduction for SOCs using virtual TAMs and lagrange multipliers (AS, VI, MDK, KC), pp. 738–743.
DAC-2003-SuAN #algebra #grid #multi #power management #reduction: Power grid reduction based on algebraic multigrid principles (HS, EA, SRN), pp. 109–112.
DAC-2003-TsaiDVI #reduction #scalability: Implications of technology scaling on leakage reduction techniques (YFT, DD, NV, MJI), pp. 187–190.
DATE-2003-ChenKRZZ #generative #reduction: Area Fill Generation With Inherent Data Volume Reduction (YC, ABK, GR, AZ, YZ), pp. 10868–10875.
DATE-2003-MansourM #reduction: Model-Order Reduction Based on PRONY’s Method (MMM, AM), pp. 10530–10535.
DATE-2003-SmeySM #reduction: Crosstalk Reduction in Area Routing (RMS, BS, PHM), pp. 10862–10867.
SIGMOD-2003-ShenNSHS #database #image #named #novel #performance #reduction #scalability: CMVF: A Novel Dimension Reduction Scheme for Efficient Indexing in A Large Image Database (JS, AHHN, JS, DQH, QZS), p. 657.
TACAS-2003-StollerC #reduction: Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
PLDI-2003-HsuK #algorithm #compilation #cpu #design #energy #evaluation #implementation #reduction: The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction (CHH, UK), pp. 38–48.
DLT-2003-ChamparnaudC #algorithm #automaton #nondeterminism #reduction: NFA Reduction Algorithms by Means of Regular Inequalities (JMC, FC), pp. 194–205.
AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification: Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
CIKM-2003-OgrasF #approximate #reduction #using: Dimensionality reduction using magnitude and shape approximations (ÜYO, HF), pp. 99–107.
ICML-2003-ShihRCK #statistics: Text Bundling: Statistics Based Data-Reduction (LS, JDR, YHC, DRK), pp. 696–703.
KDD-2003-BronnimannCDHS #performance #reduction: Efficient data reduction with EASE (HB, BC, MD, PJH, PS), pp. 59–68.
SEKE-2003-MenziesKF #automation #re-engineering #reduction #tool support: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
PPDP-2003-NadathurQ #reduction: Explicit substitutions in the reduction of λ terms (GN, XQ), pp. 195–206.
HPCA-2003-LiBCVR #reduction: Deterministic Clock Gating for Microprocessor Power Reduction (HL, SB, YC, TNV, KR), pp. 113–122.
ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction: Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.
LICS-2003-Raffalli: System ST β-reduction and completeness (CR), p. 21–?.
RTA-2003-ForestK #reduction: Expression Reduction Systems with Patterns (JF, DK), pp. 107–122.
RTA-2003-SinotFM #performance #reduction #string: Efficient Reductions with Director Strings (FRS, MF, IM), pp. 46–60.
SAT-2003-BacchusW #effectiveness #preprocessor #reduction #similarity: Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
SAT-2003-Pretolani #problem #reduction #satisfiability: Hypergraph Reductions and Satisfiability Problems (DP), pp. 383–397.
VMCAI-2003-Sistla #model checking #reduction #symmetry: Symmetry Reductions in Model-Checking (APS), p. 25.
DAC-2002-AnisMEA #automation #clustering #performance #power management #reduction #using: Dynamic and leakage power reduction in MTCMOS circuits using an automated efficient gate clustering technique (MA, MM, MIE, SA), pp. 480–485.
DAC-2002-BadarogluTDWMVG #optimisation #reduction #using: Clock tree optimization in synchronous CMOS digital circuits for substrate noise reduction using folding of supply current transients (MB, KT, SD, PW, HDM, IV, GGEG), pp. 399–404.
DAC-2002-ChandraC #reduction #testing #using: Reduction of SOC test data volume, scan power and testing time using alternating run-length codes (AC, KC), pp. 673–678.
DAC-2002-DanielP #distributed #order #reduction #strict: Model order reduction for strictly passive and causal distributed systems (LD, JRP), pp. 46–51.
DAC-2002-IyengarCM #constraints #reduction #scheduling: Wrapper/TAM co-optimization, constraint-driven test scheduling, and tester data volume reduction for SOCs (VI, KC, EJM), pp. 685–690.
DAC-2002-JooCSLKC #energy #memory management #reduction: Energy exploration and reduction of SDRAM memory systems (YJ, YC, HS, HGL, KK, NC), pp. 892–897.
DAC-2002-KapurCS #estimation #novel #optimisation #reduction #using: Power estimation in global interconnects and its reduction using a novel repeater optimization methodology (PK, GC, KS), pp. 461–466.
DAC-2002-MoonKB #graph #reduction: Timing model extraction of hierarchical blocks by graph reduction (CWM, HK, KPB), pp. 152–157.
DAC-2002-PhillipsDS #order #reduction: Guaranteed passive balancing transformations for model order reduction (JRP, LD, LMS), pp. 52–57.
DAC-2002-SuBK #framework #reduction: A factorization-based framework for passivity-preserving model reduction of RLC systems (QS, VB, CKK), pp. 40–45.
DATE-2002-ChenBKR #reduction #using: Model Reduction in the Time-Domain Using Laguerre Polynomials and Krylov Methods (YC, VB, CKK, KR), pp. 931–935.
DATE-2002-GadN #linear #performance #reduction: Efficient Model Reduction of Linear Time-Varying Systems via Compressed Transient System Function (EG, MSN), pp. 916–922.
DATE-2002-GorenF #finite #heuristic #named #reduction #state machine: CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.
DATE-2002-HalambiSBDN #compilation #performance #reduction #using: An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs (AH, AS, PB, NDD, AN), pp. 402–408.
DATE-2002-KimR #power management #reduction #scalability: Dynamic VTH Scaling Scheme for Active Leakage Power Reduction (CHK, KR), pp. 163–167.
DATE-2002-SteinkeWLM #energy #reduction: Assigning Program and Data Objects to Scratchpad for Energy Reduction (SS, LW, BSL, PM), pp. 409–415.
SIGMOD-2002-Aggarwal #estimation #framework #nearest neighbour #reduction: Hierarchical subspace sampling: a unified framework for high dimensional data reduction, selectivity estimation and nearest neighbor search (CCA), pp. 452–463.
FASE-2002-XieB #design #execution #model checking #object-oriented #reduction: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.
ICSM-2002-KorelTV #analysis #dependence #modelling #reduction #testing #using: Model Based Regression Test Reduction Using Dependence Analysis (BK, LHT, BV), pp. 214–223.
ICSM-2002-LinH #approach #reduction #testing: A Table Reduction Approach for Software Structure Testing (JCL, LHH), pp. 414–421.
ICALP-2002-HearnD #constraints #logic #nondeterminism #reduction: The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications (RAH, EDD), pp. 401–413.
ICFP-2002-GregoireL #implementation #reduction: A compiled implementation of strong reduction (BG, XL), pp. 235–246.
ECIR-2002-PetersK #categorisation #reduction: Uncertainty-Based Noise Reduction and Term Selection in Text Categorization (CMEEP, CHAK), pp. 248–267.
ICML-2002-GlobersonT #analysis #novel #reduction: Sufficient Dimensionality Reduction — A novel Analysis Method (AG, NT), pp. 203–210.
KDD-2002-VlachosDGKK #classification #reduction #visualisation: Non-linear dimensionality reduction techniques for classification and visualization (MV, CD, DG, GK, NK), pp. 645–651.
UML-2002-SteimannK #reduction #semantics #uml: A Radical Reduction of UML’s Core Semantics (FS, TK), pp. 34–48.
SAC-2002-AghbariKM #performance #reduction #video: Topological mapping: a dimensionality reduction method for efficient video search (ZA, KK, AM), pp. 470–475.
SAC-2002-Naharro-BerrocalPUV #reduction #visual notation #visualisation: Approaches to comprehension-preserving graphical reduction of program visualizations (FNB, CPF, JUF, JÁVI), pp. 771–777.
CAV-2002-BarnerG #approximate #model checking #reduction #symmetry: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction: Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
CAV-2002-BlomP #confluence #proving #reduction: State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
ICLP-2002-FerrandL #approximate #finite #logic programming #reduction: A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ISSTA-2002-VaysburgTK #analysis #dependence #reduction #testing: Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.
RTA-2002-KennawayKP #composition #static analysis #λ-calculus: Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
VMCAI-2002-TronconBJC #array #reduction: Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.
ASE-2001-BastenB #clustering #partial order #process #reduction: Enhancing Partial-Order Reduction via Process Clustering (TB, DB), pp. 245–253.
DAC-2001-BayraktarogluO #reduction: Test Volume and Application Time Reduction Through Scan Chain Concealment (IB, AO), pp. 151–155.
ICDAR-2001-IshideraS #recognition #reduction: A Candidate Reduction Method for Handwritten Kanji Character Recognition (EI, AS), pp. 8–13.
ICDAR-2001-YeCS #classification #reduction #using: Reduction of the Classification Cost Using Hierarchical Classifiers based on the k-NN Rule (XY, MC, CYS), pp. 716–720.
PODS-2001-Aggarwal #on the #reduction #similarity: On the Effects of Dimensionality Reduction on High Dimensional Similarity Search (CCA).
ICSM-2001-JonesH #reduction #testing: Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (JAJ, MJH), p. 92–?.
ICALP-2001-EtessamiWS #automaton #game studies #reduction #simulation: Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (KE, TW, RAS), pp. 694–707.
ICALP-2001-Kirsten #monad #problem #reduction: The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.
FME-2001-BosnackiDH #heuristic #reduction #symmetry: A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
AdaEurope-2001-ChenL #detection #effectiveness #empirical #evaluation #fault #reduction #testing: Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation (TYC, MFL), pp. 253–265.
ICEIS-v1-2001-RodriguesH #reduction: Data Reduction to Improve Knowledge Extraction (MdFR, PRH), pp. 445–451.
ICML-2001-RoyM #estimation #fault #learning #reduction #towards: Toward Optimal Active Learning through Sampling Estimation of Error Reduction (NR, AM), pp. 441–448.
KDD-2001-BinghamM #image #random #reduction: Random projection in dimensionality reduction: applications to image and text data (EB, HM), pp. 245–250.
PPDP-2001-KamareddineBN #equivalence #syntax: De Bruijn’s Syntax and Reductional Equivalence of λ-Terms (FK, RB, RN), pp. 16–27.
RE-2001-Feather #detection #fault #reduction #using: Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications (MSF), p. 288.
IJCAR-2001-Pientka #higher-order #logic programming #reduction #source code #termination: Termination and Reduction Checking for Higher-Order Logic Programs (BP), pp. 401–415.
RTA-2001-BodirskyEKN #constraints #reduction: β Reduction Constraints (MB, KE, AK, JN), pp. 31–46.
TLCA-2001-DoughertyL #reduction: Reductions, Intersection Types, and Explicit Substitutions (DJD, PL), pp. 121–135.
TLCA-2001-Schubert #complexity #order: The Complexity of β-Reduction in Low Orders (AS), pp. 400–414.
DAC-2000-GadDNA #distributed #multi #order #reduction: Passive model order reduction of multiport distributed interconnects (EG, AD, MSN, RA), pp. 526–531.
DAC-2000-Phillips #framework #reduction: Projection frameworks for model reduction of weakly nonlinear systems (JRP), pp. 184–189.
DAC-2000-TsaiK #performance #reduction #simulation: Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction (CHT, SMK), pp. 750–755.
DAC-2000-YuWK #algorithm #network #order #reduction: Passive model order reduction algorithm based on Chebyshev expansion of impulse response of interconnect networks (QY, JMW, ESK), pp. 520–525.
DATE-2000-AnghelN #detection #evaluation #fault #reduction: Cost Reduction and Evaluation of a Temporary Faults Detecting Technique (LA, MN), pp. 591–598.
DATE-2000-HiroseY #reduction: A Bus Delay Reduction Technique Considering Crosstalk (KH, HY), pp. 441–445.
DATE-2000-IshiharaY #embedded #reduction: A Power Reduction Technique with Object Code Merging for Application Specific Embedded Processors (TI, HY), pp. 617–623.
DATE-2000-KumthekarS #logic #optimisation #reduction: Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs (BK, FS), pp. 202–207.
VLDB-2000-ChakrabartiM #approach #reduction: Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
TACAS-2000-ClarkeJM #partial order #protocol #reduction #security #verification: Partial Order Reductions for Security Protocol Verification (EMC, SJ, WRM), pp. 503–518.
TACAS-2000-KrimmM #communication #composition #generative #partial order #reduction: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.
PEPM-2000-Taha #formal method #ml #multi #reduction #semantics: A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.
CIKM-2000-EgeciogluF #approximate #reduction #similarity: Dimensionality Reduction and Similarity Computation by Inner Product Approximations (ÖE, HF), pp. 219–226.
CIKM-2000-HanK #algorithm #categorisation #documentation #performance #reduction #retrieval: Fast Supervised Dimensionality Reduction Algorithm with Applications to Document Categorization & Retrieval (EHH, GK), pp. 12–19.
ICML-2000-CampbellTB #network #polynomial #reduction: Dimension Reduction Techniques for Training Polynomial Networks (WMC, KT, SVB), pp. 119–126.
ICML-2000-LaneB #interface #learning #reduction: Data Reduction Techniques for Instance-Based Learning from Human/Computer Interface Data (TL, CEB), pp. 519–526.
ICML-2000-NiyogiK #approach #clustering #reduction: An Approach to Data Reduction and Clustering with Theoretical Guarantees (PN, NK), pp. 679–686.
ICPR-v2-2000-SunOKAKT #algorithm #approximate #distance #reduction: Two-Stage Computational Cost Reduction Algorithm Based on Mahalanobis Distance Approximations (FS, SO, NK, HA, SK, TT), pp. 2696–2699.
ICPR-v3-2000-MateiM #bias #reduction: Reduction of Bias in Maximum Likelihood Ellipse Fitting (BM, PM), pp. 3802–3806.
ICPR-v3-2000-Papamarkos #network #reduction #using: Using Local Features in a Neural Network Based Gray-Level Reduction Technique (NP), pp. 7037–7040.
KR-2000-Massacci #first-order #reduction: Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.
PPDP-2000-PediciniQ #implementation #parallel #reduction #λ-calculus: A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.
ISSTA-2000-SchroederK #analysis #black box #reduction #using: Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
LICS-2000-EmersonHT #reduction #symmetry: Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
RTA-2000-DoughertyG #normalisation #reduction: Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
DAC-1999-DaemsGS #analysis #complexity #reduction: Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits (WD, GGEG, WMCS), pp. 958–963.
DAC-1999-GunupudiN #using: Model-Reduction of Nonlinear Circuits Using Krylov-Space Techniques (PKG, MSN), pp. 13–16.
DAC-1999-HashimotoOT #design #power management #reduction: A Practical Gate Resizing Technique Considering Glitch Reduction for Low Power Design (MH, HO, KT), pp. 446–451.
DAC-1999-LiuPS #analysis: Model Order-Reduction of RC(L) Interconnect Including Variational Analysis (YL, LTP, AJS), pp. 201–206.
DAC-1999-Sheehan #equation #named #order #performance #reduction #using: ENOR: Model Order Reduction of RLC Circuits Using Nodal Equations for Efficient Factorization (BNS), pp. 17–21.
DATE-1999-Sheehan #reduction #using: Projective Convolution: RLC Model-Order Reduction Using the Impulse Response (BNS), p. 669–?.
DATE-1999-WuGR #approach #fault #performance #reduction: A Fault List Reduction Approach for Efficient Bridge Fault Diagnosis (JW, GSG, EMR), pp. 780–781.
ICDAR-1999-BippusM #2d #recognition #reduction #using: Script Recognition using Inhomogeneous P2DHMM and Hierarchical Search Space Reduction (RDB, VM), pp. 773–776.
PLDI-1999-SchlanskerMJ #architecture #branch #optimisation #reduction: Control CPR: A Branch Height Reduction Optimization for EPIC Architectures (MSS, SAM, RJ), pp. 155–168.
SAS-1999-BozgaFG #analysis #reduction: State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
FLOPS-1999-Ohlebusch #on the #term rewriting: On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems (EO), pp. 179–193.
HCI-CCAD-1999-NumanoMTMNFM #fault #reduction: Reduction of human errors in plant operation utilizing human error correction function as an individual and crew (MN, KM, KT, HM, YN, JF, YM), pp. 1206–1210.
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.
CAiSE-1999-SadiqO #graph #identification #modelling #process #reduction: Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (WS, MEO), pp. 195–209.
CSL-1999-FernandezM #reduction #λ-calculus: Closed Reductions in the λ-Calculus (MF, IM), pp. 220–234.
CSL-1999-LautemannW #quantifier #reduction: MonadicNLIN and Quantifier-Free Reductions (CL, BW), pp. 322–337.
DATE-1998-MarquesKWS #3d #algorithm #modelling #order #performance #reduction: An Efficient Algorithm for Fast Parasitic Extraction and Passive Order Reduction of 3D Interconnect Models (NAM, MK, JW, LMS), pp. 538–543.
DATE-1998-TomiyamaIIY #design #reduction #scheduling: Instruction Scheduling for Power Reduction in Processor-Based System Design (HT, TI, AI, HY), pp. 855–860.
DATE-1998-WangK #reduction: A Performance-Driven MCM Router with Special Consideration of Crosstalk Reduction (DW, ESK), pp. 466–470.
SIGMOD-1998-KanthAS #database #reduction #similarity: Dimensionality Reduction for Similarity Searching in Dynamic Databases (KVRK, DA, AKS), pp. 166–176.
TACAS-1998-KurshanLMPY #partial order #reduction: Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.
STOC-1998-Ajtai #np-hard #problem #random #reduction: The Shortest Vector Problem in L2 is NP-hard for Randomized Reductions (Extended Abstract) (MA), pp. 10–19.
ICALP-1998-Walukiewicz98a #higher-order #reduction: A Total AC-Compatible Reduction Ordering on Higher-Order Terms (DW), pp. 530–542.
ICPR-1998-Aladjem #classification #ml #network #recursion #reduction: Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.
KDD-1998-WangDB #reduction: Data Reduction Based on Hyper Relations (HW, ID, DAB), pp. 349–353.
TOOLS-USA-1998-MaY #diagrams #reduction: Practical Rules for Reduction on the Number of States of a State Diagram (JM, SY), p. 46–?.
ALP-PLILP-1998-Asperti #functional #reduction: Optimal Reduction of Functional Expressions (AA), pp. 427–428.
POPL-1998-AspertiM #parallel #recursion #reduction: Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.
SAC-1998-DuruDA #fuzzy #logic #reduction #speech: Fuzzy logic based noise reduction of digitally recorded speech signal (ND, TD, NA), pp. 287–291.
CC-1998-KennedyCDLLS #reduction: Strength Reduction via SSAPRE (RK, FCC, PD, SML, RL, MS), pp. 144–158.
CADE-1998-Pagano #calculus #first-order #higher-order #reduction: X.R.S : Explicit Reduction Systems — A First-Order Calculus for Higher-Order Calculi (BP), pp. 72–87.
CAV-1998-AbdullaJKP #approach #partial order #reduction #verification: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) (PAA, BJ, MK, DP), pp. 379–390.
CAV-1998-ClarkeEJS #model checking #reduction #symmetry: Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.
CAV-1998-Peled #partial order #reduction: Ten Years of Partial Order Reduction (DP), pp. 17–28.
RTA-1998-Ohlebusch #equivalence #reduction #theorem: Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation (EO), pp. 17–31.
RTA-1998-VermaRL #algorithm #problem #reduction: Algorithms and Reductions for Rewriting Problems (RMV, MR, DL), pp. 166–180.
DAC-1997-KernsY #congruence #network #reduction: Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations (KJK, ATY), pp. 34–39.
ICDAR-1997-KaufmannBH #reduction: Lexicon Reduction in an HMM-Framework Based on Quantized Feature Vectors (GK, HB, MH), pp. 1097–1101.
TACAS-1997-EmersonJP #partial order #reduction #symmetry: Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
STOC-1997-AgrawalAIPR #complexity #reduction: Reducing the Complexity of Reductions (MA, EA, RI, TP, SR), pp. 730–738.
ICALP-1997-Dami #fault #reduction #runtime: Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
ICALP-1997-KhasidashviliG #geometry #orthogonal #reduction: The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
FME-1997-SilvaSB #clustering #hardware #normalisation #reduction: A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
ICFP-1997-LawallM #graph #on the #reduction: On Global Dynamics of Optimal Graph Reduction (JLL, HGM), pp. 188–195.
IFL-1997-Chakravarty #concurrent #lazy evaluation #parallel #thread: Lazy Thread and Task Creation in Parallel Graph-Reduction (MMTC), pp. 231–249.
HCI-CC-1997-ShafferC #identification #question #reduction #why: Identifying Areas for Workload Reduction Through System Changes: Why Bother? (MTS, HKC), pp. 497–500.
KDD-1997-StoughB #image #multi #reduction: Image Feature Reduction through Spoiling: Its Application to Multiple Matched Filters for Focus of Attention (TMS, CEB), pp. 255–258.
ALP-1997-Lucas #reduction: Needed Reductions with Context-Sensitive Rewriting (SL), pp. 129–143.
ESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine: Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
CAV-1997-AlurBHQR #partial order #reduction: Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
CAV-1997-KokkarinenPV #partial order #reduction: Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.
CSL-1997-KupfermanKY #reduction: Existence of Reduction Hierarchies (OK, RPK, MY), pp. 327–340.
LICS-1997-Baader #order #reduction: Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.
LICS-1997-Janin #automaton #calculus #fixpoint #reduction #theorem: Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices (DJ), pp. 172–182.
RTA-1997-Statman #combinator #effectiveness #reduction: Effective Reduction and Conversion Strategies for Combinators (RS), pp. 299–307.
TLCA-1997-Herbelin #game studies #reduction: Games and Weak-Head Reduction for Classical PCF (HH), pp. 214–230.
DAC-1996-ChenPL #reduction: Desensitization for Power Reduction in Sequential Circuits (XC, PP, CLL), pp. 795–800.
DAC-1996-HiguchiM #algorithm #finite #performance #reduction #state machine: A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines (HH, YM), pp. 463–466.
DAC-1996-IpD #reduction #using: State Reduction Using Reversible Rules (CNI, DLD), pp. 564–567.
DAC-1996-KernsY #analysis #congruence #multi #network #performance #reduction #scalability: Stable and Efficient Reduction of Large, Multiport RC Networks by Pole Analysis via Congruence Transformations (KJK, ATY), pp. 280–285.
DAC-1996-PhilippsCL #analysis #performance #reduction: Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms (JRP, EC, DDL), pp. 377–382.
DAC-1996-RaghunathanDJ #analysis #reduction: Glitch Analysis and Reduction in Register Transfer Level (AR, SD, NKJ), pp. 331–336.
TACAS-1996-ChouP #model checking #partial order #reduction #verification: Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.
TACAS-1996-Rauzy #analysis #constraints #reduction #specification #using: Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (Abstract) (AR), p. 417.
ICPR-1996-MinCL #documentation #estimation #performance #reduction: A data reduction method for efficient document skew estimation based on Hough transformation (YM, SBC, YL), pp. 732–736.
SEKE-1996-Debenham #reduction: Reduction of a Knowledge Model (JKD), pp. 45–50.
LOPSTR-1996-FribourgO #logic programming #petri net #reduction #source code: Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.
PLILP-1996-BenaissaLR #modelling #recursion #reduction #using: Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.
PLILP-1996-KamareddineR: Generalized β-Reduction and Explicit Substitution (FK, AR), pp. 378–392.
POPL-1996-Asperti #complexity #on the: On the Complexity of β-Reduction (AA), pp. 110–118.
CAV-1996-Gribomont #reduction #refinement #theorem: Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
CSL-1996-BartheM #algebra #on the #reduction #type system: On the Subject Reduction Property for Algebraic Type Systems (GB, PAM), pp. 34–57.
CSL-1996-DanosPR #reduction: Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
LICS-1996-AltenkirchHS #normalisation #polymorphism: Reduction-Free Normalisation for a Polymorphic System (TA, MH, TS), pp. 98–106.
RTA-1996-BlooR #combinator #reduction: Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.
ICDAR-v1-1995-BauerW #automation #parametricity #personalisation #reduction #verification: Parameter reduction and personalized parameter selection for automatic signature verification (FB, BW), pp. 183–186.
PLDI-1995-RauchwergerP #parallel #reduction #runtime: The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.
SAS-1995-Schmidt-SchausPS #calculus #reduction #using: Abstract Reduction Using a Tableau Calculus (MSS, SEP, MS), pp. 348–365.
SIGIR-1995-Yang #approach #categorisation #reduction #statistics: Noise Reduction in a Statistical Approach to Text Categorization (YY), pp. 256–263.
ICLP-1995-ToniK #abduction #logic programming #reduction #source code: Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
LICS-1995-KfouryW #normalisation #proving #reduction #semantics #λ-calculus: New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
RTA-1995-Kuper #proving #reduction: Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.
RTA-1995-KuriharaKO #multi #order #reduction: Completion for Multiple Reduction Orderings (MK, HK, AO), pp. 71–85.
RTA-1995-Paccanaro #network #reduction: Guiding Term Reduction Through a Neural Network: Some Prelimanary Results for the Group Theory (AP), pp. 444–449.
DAC-1994-NagumoNNMM #fault #named #reduction #using: VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
EDAC-1994-AjuhaM #reduction: Delay Reduction by Segment Substitution (HA, PRM), pp. 82–86.
ESOP-1994-Fradet #compilation #reduction: Compilation of Head and Strong Reduction (PF), pp. 211–224.
PLDI-1994-FisherG #reduction: Parallelizing Complex Scans and Reductions (ALF, AMG), pp. 135–146.
SEKE-1994-GuoSRD #database #optimisation #query #reduction #semantics: Semantic query optimization by class reference reduction in object- oriented databases (SG, WS, NR, YD), pp. 306–313.
ALP-1994-AntoyM #reduction: A Sequential Reduction Strategy (SA, AM), pp. 168–185.
PLILP-1994-MaraistS #functional #graph #reduction: A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.
SAC-1994-KumarH #concept #fuzzy #logic #reduction #using: Reduction of communications in a MasPar computer using fuzzy logic concepts (AGK, JH), pp. 351–356.
HPDC-1994-HuangM #design #implementation #network #reduction: Design and Implementation of Global Reduction Operations Across ATM Networks (CH, PKM), pp. 43–50.
CAV-1994-Peled #model checking #on the fly #partial order #reduction: Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
CAV-1994-SimoneR #composition #reduction #semantics #verification: Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
LICS-1994-Jeffrey #concurrent #graph #reduction #semantics: A Fully Abstract Semantics for Concurrent Graph Reduction (AJ), pp. 82–91.
DAC-1993-PanDL #constraints #graph #layout #reduction: Optimal Graph Constraint Reduction for Symbolic Layout Compaction (PP, SkD, CLL), pp. 401–406.
STOC-1993-AllenderJ #commutative #reduction: Depth reduction for noncommutative arithmetic circuits (EA, JJ), pp. 515–522.
WSA-1993-WrightB #analysis #reduction: Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.
ICALP-1993-Contejean #reduction: A Partial Solution for D-Unification Based on a Reduction to AC1-Unification (EC), pp. 621–632.
ICALP-1993-CosmoK #confluence #recursion #reduction #λ-calculus: A Confluent Reduction for the Extensional Typed λ-Calculus with Pairs, Sums, Recursion and terminal Object (RDC, DK), pp. 645–656.
FPCA-1993-FinneB #evaluation #reduction: Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine (SF, GLB), pp. 331–340.
FPCA-1993-Nocker #analysis #reduction #strict #using: Strictness Analysis using Abstract Reduction (EN), pp. 255–265.
FPCA-1993-Yoshida #reduction #λ-calculus: Optimal Reduction in Weak-λ-calculus with Shared Environments (NY), pp. 243–254.
SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction: On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.
ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using: Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
RTA-1993-Field #approach #graph #incremental #reduction #term rewriting: A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report) (JF), pp. 259–273.
TLCA-1993-Akama #calculus #on the #reduction: On Mints’ Reduction for ccc-Calculus (YA), pp. 1–12.
TLCA-1993-BarbaneraB #logic #reduction: Extracting Constructive Content from Classical Logic via Control-like Reductions (FB, SB), pp. 45–59.
TLCA-1993-Springintveld #bound #reduction: Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.
ICALP-1992-ArvindHHKLMOSST #reduction #set: Reductions to Sets of Low Information Content (VA, YH, LAH, JK, AL, MM, MO, US, RS, TT), pp. 162–173.
POPL-1992-GonthierAL #geometry #reduction: The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.
IWMM-1992-Seward #garbage collection #graph #lazy evaluation #reduction: Generational Garbage Collection for Lazy Graph Reduction (JS), pp. 200–217.
CADE-1992-NipkowQ #reduction #type system #unification #λ-calculus: Reduction and Unification in Lambda Calculi with Subtypes (TN, ZQ), pp. 66–78.
CAV-1992-ShipleCSB #automation #composition #model checking #reduction: Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.
LICS-1992-Geuvers #λ-calculus: The Church-Rosser Property for βη-reduction in Typed λ-Calculi (HG), pp. 453–460.
DAC-1991-LinPHL #reduction: Channel Density Reduction by Routing Over The Cells (MSL, HWP, CYH, YLL), pp. 120–125.
DAC-1991-NicolauP #incremental #reduction #synthesis: Incremental Tree Height Reduction for High Level Synthesis (AN, RP), pp. 770–774.
ICALP-1991-CurienC #reduction #λ-calculus: A Concluent Reduction for the λ-Calculus with Surjective Pairing and Terminal Object (PLC, RDC), pp. 291–302.
PLILP-1991-LangendoenV #memory management #named #parallel #reduction: FRATS: A Parallel Reduction Strategy for Shared Memory (KL, WGV), pp. 99–110.
RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting: Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) (RK, JWK, MRS, FJdV), pp. 1–12.
LFP-1990-FieldT #incremental #reduction #λ-calculus: Incremental Reduction in the λ Calculus (JF, TT), pp. 307–322.
GG-1990-ArnborgCPS #algebra #graph #reduction: An Algebraic Theory of Graph Reduction (SA, BC, AP, DS), pp. 70–83.
POPL-1990-Lamping #algorithm #reduction #λ-calculus: An Algorithm for Optimal λ Calculus Reduction (JL), pp. 16–30.
CADE-1990-Peterson #constraints #reduction #set: Complete Sets of Reductions with Constraints (GEP), pp. 381–395.
CSL-1990-BlassG #complexity #on the #reduction: On the Reduction Theory for Average Case Complexity (AB, YG), pp. 17–30.
VLDB-1989-NaughtonRSU #reduction: Argument Reduction by Factoring (JFN, RR, YS, JDU), pp. 173–182.
PLDI-1989-KoopmanL #combinator #fresh look #graph #reduction: A Fresh Look at Combinator Graph Reduction (PJKJ, PL), pp. 110–119.
FPCA-1989-AugustssonJ #graph #parallel #reduction: Parallel Graph Reduction with the -Machine (LA, TJ), pp. 202–213.
FPCA-1989-George #automaton #graph #parallel #reduction: An Abstract Machine for Parallel Graph Reduction (LG), pp. 214–229.
ML-1989-Riddle #reduction: Reformation from State Space to Reduction Space (PJR), pp. 439–440.
CSL-1989-CantoneCP #problem #reduction: Set-Theoretic Reductions of Hilbert’s Tenth Problem (DC, VC, AP), pp. 65–75.
NACLP-1989-JamsekGCH #named #reduction: WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.
RTA-1989-BairdPW #commutative #reduction #set: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity (TBB, GEP, RWW), pp. 29–44.
ICALP-1988-Simon #on the #reduction #transitive: On Minimum Flow and Transitive Reduction (KS), pp. 535–546.
ICALP-1988-TangB #polynomial #reduction #set: Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets (ST, RVB), pp. 591–599.
LFP-1988-Goldberg #graph #multi #named #reduction: Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor (BG), pp. 40–51.
LFP-1988-Norman #combinator #hardware #performance #reduction #using: Faster Combinator Reduction Using stock Hardware (ACN), pp. 235–243.
ML-1988-RajamoneyD #approach #multi #problem #reduction: Active Explanation Reduction: An Approach to the Multiple Explanations Problem (SAR, GD), pp. 242–255.
ML-1988-Wu #named #reduction: Reduction: A Practical Mechanism of Searching for Regularity in Data (YHW), pp. 374–380.
FPCA-1987-JonesCSH #architecture #graph #named #parallel #reduction: GRIP — A high-performance architecture for parallel graph reduction (SLPJ, CDC, JS, MH), pp. 98–112.
CSL-1987-BohmP #combinator #finite #reduction #set: Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.
RTA-1987-Padawitz #reduction: Strategy-Controlled Reduction and Narrowing (PP), pp. 242–255.
DAC-1986-PincusD #reduction #using: Delay reduction using simulated annealing (JDP, AMD), pp. 690–695.
ESOP-1986-Bellot #combinator #functional #named #programming #reduction: GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.
ESOP-1986-HankinBJ #approach #combinator #parallel #reduction: A Safe Approach to Parallel Combinator Reduction (Extended Abstract) (CH, GLB, SLPJ), pp. 99–110.
ESOP-1986-Jouvelot #detection #parallel #reduction #semantics: Parallelization by Semantic Detection of Reductions (PJ), pp. 223–236.
ESOP-1986-Sondergaard #abstract interpretation #logic programming #reduction #source code: An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.
ICALP-1986-Lange #nondeterminism #reduction: Decompositions of Nondeterministic Reductions (Extended Abstract) (KJL), pp. 206–214.
ICALP-1986-Regan #reduction #theorem: A Uniform Reduction Theorem — Extending a Result of J. Grollmann and A. Selman (KWR), pp. 324–333.
ICALP-1986-Schnorr #algorithm #performance #reduction: A More Efficient Algorithm for Lattice Basis Reduction (Extended Abstract) (CPS), pp. 359–369.
LFP-1986-ClackJ #reduction: The Four-Stroke Reduction Engine (CDC, SLPJ), pp. 220–232.
LFP-1986-JayaramanS #equation #functional #logic programming #reduction #semantics #set: Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
LFP-1986-LemaitreCDDL #combinator #multi #performance #reduction: Mechanisms for Efficient Multiprocessor Combinator Reduction (ML, MC, MHD, GD, BL), pp. 113–121.
LFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary: A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.
LFP-1986-Scheevel #graph #named #reduction: NORMA: A Graph Reduction Processor (MS), pp. 212–219.
LICS-1986-Robinson #functional #programming #reduction #relational: Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) (JAR), p. 2.
FPCA-1985-HankinOS85 #architecture #combinator #named #reduction: COBWEB — A Combinator Reduction Architecture (CH, PO, MJS), pp. 99–112.
FPCA-1985-Kieburtz85 #performance: The G-Machine: A Fast, Graph-Reduction Evaluator (RBK), pp. 400–413.
ICALP-1984-Schonhage #algorithm #integer #reduction: Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm (AS), pp. 436–447.
LFP-1984-HudakG #combinator #reduction: Experiments in Diffused Combinator Reduction (PH, BG), pp. 167–176.
LFP-1984-StoyeCN #agile #combinator #reduction: Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.
POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code: Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
DAC-1983-HuK #array #logic #programmable #reduction: Optimum reduction of programmable logic array (TCH, YSK), pp. 553–558.
DAC-1983-Martinez-CarballidoP #named #reduction: PRONTO: Quick PLA product reduction (JMC, VMP), pp. 545–552.
PODS-1983-GoodmanST83a #canonical #reduction: GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections (NG, OS, YCT), pp. 267–278.
PODS-1983-MunroP #reduction #robust: A Discipline for Robustness or Storage Reduction in Binary Search Trees (JIM, PVP), pp. 70–75.
STOC-1983-Gabow #network #performance #problem #reduction: An Efficient Reduction Technique for Degree-Constrained Subgraph and Bidirected Network Flow Problems (HNG), pp. 448–456.
STOC-1982-Kaltofen #multi #polynomial #reduction: A Polynomial Reduction from Multivariate to Bivariate Integral Polynomial Factorization (EK), pp. 261–266.
GG-1982-Wankmuller #graph #reduction: Characterization of graph classes by forbidden structures and reductions (FW), pp. 405–414.
CADE-1982-Caferra #matrix #proving #reduction #validation: Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.
PS-1981-HughesP #reduction #specification: A Reduction Specification for DTL (JWH, MSP), pp. 255–267.
LISP-1980-ClarkeGMN #named #reduction: SKIM — The S, K, I Reduction Machine (TJWC, PG, CM, ACN), pp. 128–135.
ICALP-1979-KowalkV #on the #parallel #reduction #source code: On Reductions of Parallel Programs (WK, RV), pp. 356–369.
DAC-1978-Huey #graph #problem #reduction #using: Guiding sensitization searches using problem reduction graphs (BH), pp. 312–320.
GG-1978-RosendahlM #analysis #reduction #source code: Analysis of Programs by Reduction of Their Structure (MR, KPM), pp. 409–417.
GG-1978-Staples #reduction #λ-calculus: A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.
ICALP-1977-AusielloDP #combinator #on the #problem #reduction: On the Structure of Combinatorial Problems and Structure Preserving Reductions (GA, AD, MP), pp. 45–60.
POPL-1977-PaigeS #reduction: Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.
POPL-1977-Soisalon-Soininen #lr #parsing #reduction: Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions (ESS), pp. 183–193.
POPL-1976-LaLonde #lr #on the #parsing #reduction: On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.
POPL-1975-Lipton #named #process #proving #reduction: Reduction: A New Method of Proving Properties of Systems of Processes (RJL), pp. 78–86.
DAC-1970-Sr #analysis #clustering #graph #logic #reduction: Partitioning of logic graphs: A theoretical analysis of pin reduction (RBHS), pp. 54–63.