## 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.