BibSLEIGH — reduction tag

reduction

reduction

Tag #reduction

888 papers:

POPL-2020-AhrensHLM #monad: Reduction monads and their signatures (BA, AH, AL, MM), p. 29.
POPL-2020-FarzanV #proving #safety: Reductions for safety proofs (AF, AV), p. 28.
ASPLOS-2020-XuSS #memory management #named #performance #persistent #security: MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction and Randomization (YX, YS, XS), pp. 987–1000.
CSL-2020-LodingT #automaton: State Space Reduction For Parity Automata (CL, AT), p. 16.
ICFP-2019-Morihata #algebra #equation #parallel #reasoning #λ-calculus: Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning (AM), p. 25.
CoG-2019-DingliB #adaptation #artificial reality #realtime: Realtime Adaptive Virtual Reality for Pain Reduction (AD, LB), pp. 1–4.
CIKM-2019-GershteinMN #e-commerce #effectiveness #named: ReducE-Comm: Effective Inventory Reduction System for E-Commerce (SG, TM, SN), pp. 2957–2960.
ICML-2019-BorsosCL0 #online: Online Variance Reduction with Mixtures (ZB, SC, KYL, AK0), pp. 705–714.
ICML-2019-ClarksonWW: Dimensionality Reduction for Tukey Regression (KLC, RW, DPW), pp. 1262–1271.
ICML-2019-RenZE #adaptation: Adaptive Antithetic Sampling for Variance Reduction (HR, SZ, SE), pp. 5420–5428.
KDD-2019-WuZ #ambiguity #analysis #linear: Disambiguation Enabled Linear Discriminant Analysis for Partial Label Dimensionality Reduction (JHW, MLZ), pp. 416–424.
OOPSLA-2019-ChatterjeePT #partial order: Value-centric dynamic partial order reduction (KC, AP, VT), p. 29.
PEPM-2019-WatanabeTO0 #higher-order #source code #verification: Reduction from branching-time property verification of higher-order programs to HFL validity checking (KW, TT, HO, NK0), pp. 22–34.
ESEC-FSE-2019-DuttaZHM #debugging #named #probability #programming #testing: Storm: program reduction for testing and debugging probabilistic programming systems (SD, WZ, ZH, SM), pp. 729–739.
ESEC-FSE-2019-KalhaugeP #dependence #graph: Binary reduction of dependency graphs (CGK, JP), pp. 556–566.
ESEC-FSE-2019-SuiZZZX #analysis #android #debugging #difference #effectiveness #user interface: Event trace reduction for effective bug replay of Android apps via differential GUI state analysis (YS, YZ0, WZ, MZ, JX), pp. 1095–1099.
ICSE-2019-CrucianiMVB #scalability #testing: Scalable approaches for test suite reduction (EC, BM, RV, AB), pp. 419–429.
CASE-2019-CaiGS #consistency #on the: On Consistent Reduction in Discrete-Event Systems (KC, AG, CS), pp. 474–479.
CASE-2019-MaHL #petri net: Supervisory Control in Partially Observable Petri Nets with Sensor Reduction (ZM, ZH, ZL), pp. 189–194.
CGO-2019-GonzaloHGHMH #automation #generative #parallel #performance: Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs (SGDG, SH, JGL, SDH, OM, WMH), pp. 73–84.
FASE-2019-GharachorluS #testing: : Priority Aware Test Case Reduction (GG, NS), pp. 409–426.
CAV-2019-Siegel #on the fly #partial order #what: What's Wrong with On-the-Fly Partial Order Reduction (SFS), pp. 478–495.
VMCAI-2019-HaarKP #modelling #parametricity #refinement: Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics (SH, JK, LP), pp. 555–576.
VMCAI-2019-SmithA #equivalence #synthesis: Program Synthesis with Equivalence Reduction (CS, AA), pp. 24–47.
SANER-2018-Coviello0SMAC #clustering #testing: Clustering support for inadequate test suite reduction (CC, SR0, GS, AM, GA, AC), pp. 95–105.
FM-2018-FanHM #approximate #partial order: Approximate Partial Order Reduction (CF, ZH, SM), pp. 588–607.
CIKM-2018-VillalobosDIGB #industrial #named: I4TSRS: A System to Assist a Data Engineer in Time-Series Dimensionality Reduction in Industry 4.0 Scenarios (KV, BD, AI, AG, JMB), pp. 1915–1918.
ICML-2018-AgarwalBD0W #approach #classification: A Reductions Approach to Fair Classification (AA, AB, MD, JL0, HMW), pp. 60–69.
ICML-2018-ChatterjiFMBJ #formal method #monte carlo #on the #probability: On the Theory of Variance Reduction for Stochastic Gradient Monte Carlo (NSC, NF, YAM, PLB, MIJ), pp. 763–772.
ICML-2018-ChenZS #graph #network #probability: Stochastic Training of Graph Convolutional Networks with Variance Reduction (JC, JZ0, LS), pp. 941–949.
ICML-2018-HuWL #analysis #probability #source code #using: Dissipativity Theory for Accelerating Stochastic Variance Reduction: A Unified Analysis of SVRG and Katyusha Using Semidefinite Programs (BH, SW, LL), pp. 2043–2052.
ICML-2018-LiuH #performance #probability: Fast Variance Reduction Method with Stochastic Batch Size (XL, CJH), pp. 3185–3194.
ICPR-2018-DehzangiS #analysis #process #recognition #robust #using: IMU-Based Robust Human Activity Recognition using Feature Analysis, Extraction, and Reduction (OD, VS), pp. 1402–1407.
ICPR-2018-JiangL18a #analysis: Generalized Fisher Discriminant Analysis as A Dimensionality Reduction Technique (YJ, FHFL), pp. 994–999.
ICPR-2018-LuoD: Maximum Gradient Dimensionality Reduction (XL, RJD), pp. 501–506.
ICPR-2018-ZhangW #linear: Linear Discriminative Sparsity Preserving Projections for Dimensionality Reduction (JZ, JW), pp. 159–164.
KDD-2018-FuWHW #approximate #fault #learning #scalability: Scalable Active Learning by Approximated Error Reduction (WF, MW, SH, XW0), pp. 1396–1405.
POPL-2018-ChalupaCPSV #partial order: Data-centric dynamic partial order reduction (MC, KC, AP, NS, KV), p. 30.
ASE-2018-GaoL: Loop path reduction by state pruning (JG, SSL), pp. 838–843.
ICSE-2018-SunLZGS #named: Perses: syntax-guided program reduction (CS, YL, QZ, TG, ZS), pp. 361–371.
ICSE-2018-YanSCX #approach #detection: Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities (HY, YS, SC0, JX), pp. 327–337.
CASE-2018-KacarMU #problem #using: Problem Reduction Approaches for Production Planning Using Clearing Functions (NBK, LM, RU), pp. 931–938.
CASE-2018-VijayaraghavanK #evaluation #integer #linear #programming #recursion #reliability: A Mixed Integer Programming Based Recursive Variance Reduction Method for Reliability Evaluation of Linear Sensor Systems (VV, KK, YD, HP), pp. 836–842.
CASE-2018-YangXG #energy: Fluctuation Reduction of Wind Power with Battery Energy Storage Systems (ZY, LX, XG), pp. 762–767.
CAV-2018-BonnelandJLMS #partial order: Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (FMB, PGJ, KGL, MM, JS), pp. 527–546.
CAV-2018-AlbertGIR #partial order: Constrained Dynamic Partial Order Reduction (EA, MGZ, MI, AR), pp. 392–410.
CAV-2018-BouajjaniEMT #abstraction #reasoning #source code #using: Reasoning About TSO Programs Using Reduction and Abstraction (AB, CE, SOM, ST), pp. 336–353.
CAV-2018-NguyenRSCP #partial order: Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.
ICST-2018-WangDGG0 #javascript: Context-Based Event Trace Reduction in Client-Side JavaScript Applications (JW, WD, CG, YG, JW0), pp. 127–138.
IJCAR-2018-Bromberger #bound #linear #problem: A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems (MB), pp. 329–345.
ECSA-2017-TrubianiM #analysis #architecture #collaboration #modelling #nondeterminism: Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction (CT, RM), pp. 40–48.
FSCD-2017-Bahr #graph grammar #term rewriting: Böhm Reduction in Infinitary Term Graph Rewriting Systems (PB), p. 20.
CIKM-2017-GroverAV #latency #query: Latency Reduction via Decision Tree Based Query Construction (AG, DA, GV), pp. 1399–1407.
ICML-2017-AnschelBS #learning #named: Averaged-DQN: Variance Reduction and Stabilization for Deep Reinforcement Learning (OA, NB, NS), pp. 176–185.
ICML-2017-DuCLXZ #evaluation #policy #probability: Stochastic Variance Reduction Methods for Policy Evaluation (SSD, JC, LL0, LX, DZ), pp. 1049–1058.
ICML-2017-HarandiSH #geometry #learning #metric: Joint Dimensionality Reduction and Metric Learning: A Geometric Take (MTH, MS, RIH), pp. 1404–1413.
ICML-2017-KimPKH #learning #named #network #parallel #parametricity #semantics: SplitNet: Learning to Semantically Split Deep Networks for Parameter Reduction and Model Parallelization (JK, YP, GK, SJH), pp. 1866–1874.
ICML-2017-ZhangHLYCHW #scalability: Scaling Up Sparse Support Vector Machines by Simultaneous Feature and Sample Reduction (WZ, BH, WL0, JY, DC, XH0, JW0), pp. 4016–4025.
ECOOP-2017-Huang0 #analysis #dependence: Speeding Up Maximal Causality Reduction with Static Dependency Analysis (SH, JH0), p. 22.
LOPSTR-2017-Kirkeby0 #confluence #convergence: Confluence and Convergence in Probabilistically Terminating Reduction Systems (MHK, HC0), pp. 164–179.
PEPM-2017-MatsudaA #functional #graph transformation: A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.
PLDI-2017-DingNGS #deployment #difference: Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction (YD, LN, HG, XS), pp. 33–48.
ASE-2017-ChengYW #sequence #testing #user interface: Systematic reduction of GUI test sequences (LC, ZY, CW0), pp. 849–860.
ASE-2017-HuangAPZT #android #user interface: UI driven Android application reduction (JH0, YA, DMP, XZ0, CT0), pp. 286–296.
CASE-2017-0003AG #bound #fault: Model reduction techniques with error bounds (MI0, MJA, AG), pp. 1510–1515.
CGO-2017-GinsbachO #approach #constraints: Discovery and exploitation of general reductions: a constraint based approach (PG, MFPO), pp. 269–280.
CGO-2017-SurianaAK #parallel: Parallel associative reductions in halide (PS, AA, SK), pp. 281–291.
CAV-2017-AlbertABGS #partial order: Context-Sensitive Dynamic Partial Order Reduction (EA, PA, MGdlB, MGZ, PJS), pp. 526–543.
ICST-2017-ChenBHZZX #how #question #testing: How Do Assertions Impact Coverage-Based Test-Suite Reduction? (JC0, YB, DH, LZ, LZ0, BX), pp. 418–423.
ICTSS-2017-FelbingerPW #equivalence #testing: A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction (HF, IP, FW), pp. 197–212.
ICTSS-2017-Tvardovskii #automaton #specification #testing: Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation (AT), pp. 333–339.
TAP-2017-IkeshitaIH #framework #testing: Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
VMCAI-2017-BrideKP #verification #workflow: Reduction of Workflow Nets for Generalised Soundness Verification (HB, OK, FP), pp. 91–111.
VMCAI-2017-GuntherLSW #concurrent #model checking: Dynamic Reductions for Model Checking Concurrent Software (HG, AL, AS, GW), pp. 246–265.
ICSME-2016-McCurdyMK #effectiveness #named: mrstudyr: Retrospectively Studying the Effectiveness of Mutant Reduction Techniques (CJM, PM, GMK), pp. 591–595.
FM-2016-BohmMJ #concurrent #detection: State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI (SB, OM, PJ), pp. 102–118.
CHI-PLAY-2016-ParkHH #game studies: Plant-based Games for Anxiety Reduction (TP, TH, JH), pp. 199–204.
ICML-2016-ReddiHSPS #optimisation #probability: Stochastic Variance Reduction for Nonconvex Optimization (SJR, AH, SS, BP, AJS), pp. 314–323.
ICML-2016-ZhuH #optimisation #performance: Variance Reduction for Faster Non-Convex Optimization (ZAZ, EH), pp. 699–707.
ICPR-2016-HuangYZZ #classification #robust: Rough Neighborhood Covering Reduction for robust classification (WH, XY, CZ, NZ), pp. 3308–3313.
ICPR-2016-YoshiyasuY: Nonlinear dimensionality reduction by curvature minimization (YY, EY), pp. 3590–3596.
ICPR-2016-ZhengTZW #estimation #graph: Maximal level estimation and unbalance reduction for graph signal downsampling (XZ, YYT, JZ0, PSPW), pp. 3922–3926.
KDD-2016-PoyarkovDKGS #online: Boosted Decision Tree Regression Adjustment for Variance Reduction in Online Controlled Experiments (AP, AD, AK, GG, PS), pp. 235–244.
KDD-2016-RenHQVJH #type system: Label Noise Reduction in Entity Typing by Heterogeneous Partial-Label Embedding (XR, WH, MQ, CRV, HJ, JH0), pp. 1825–1834.
OOPSLA-2016-Huang0: Maximal causality reduction for TSO and PSO (SH, JH0), pp. 447–461.
ASE-2016-AlipourSGMG #testing: Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
FSE-2016-JiangXLML #coordination #dependence #memory management #online: Online shared memory dependence reduction via bisectional coordination (YJ, CX, DL, XM, JL), pp. 822–832.
FSE-2016-Wang #constraints: Constraint-based event trace reduction (JW), pp. 1106–1108.
ICSE-2016-GopinathAAJG #on the: On the limits of mutation reduction strategies (RG, MAA, IA0, CJ, AG), pp. 511–522.
CASE-2016-CronrathLL #energy: Energy reduction in paint shops through energy-sensitive on-off control (CC, BL, ML), pp. 1282–1288.
CASE-2016-ZhouCLZ #algorithm #clustering #constraints: Model reduction method based on selective clustering ensemble algorithm and Theory of Constraints in semiconductor wafer fabrication (CZ, ZC, ML0, JZ), pp. 885–890.
FASE-2016-EsparzaH #workflow: Reduction Rules for Colored Workflow Nets (JE, PH), pp. 342–358.
ICST-2016-GhafoorMS #database #effectiveness #model checking #partial order: Effective Partial Order Reduction in Model Checking Database Applications (MAG, MSM, JHS), pp. 146–156.
VMCAI-2016-Parizek #analysis #array #hybrid #partial order #source code: Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.
ICALP-v1-2015-JahanjouMV: Local Reductions (HJ, EM, EV), pp. 749–760.
SEFM-2015-Jakobs #clustering #configuration management #validation: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
DiGRA-2015-BartonSQMKK #bias #design #game studies #using: The Use of Theory in Designing a Serious Game for the Reduction of Cognitive Biases (MB, CS, MMQ, CKM, KSK, JK).
CHI-2015-KonradBCTNDPW #adaptation #automation: 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: 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: Dimensionality Reduction for Supervised Learning in Link Prediction Problems (AP, BG, CCP, CM, FF, FT, JT, MVD, SF, MCC, RRG), pp. 295–302.
CIKM-2015-WangSFLXY #approximate #problem: Approximate Truth Discovery via Problem Scale Reduction (XW0, QZS, XSF, XL0, XX, LY), pp. 503–512.
ICML-2015-Yang0JZ15a #random: Theory of Dual-sparse Regularized Randomized Reduction (TY, LZ, RJ, SZ), pp. 305–314.
KDD-2015-MaoWGS #graph #learning: Dimensionality Reduction Via Graph Structure Learning (QM, LW, SG, YS), pp. 765–774.
PLDI-2015-Huang #concurrent #model checking #source code: Stateless model checking concurrent programs with maximal causality reduction (JH), pp. 165–174.
PLDI-2015-ZhangKW #memory management #modelling #partial order: Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
ESEC-FSE-2015-ShiYGM #testing: Comparing and combining test-suite reduction and regression test selection (AS, TY, AG, DM), pp. 237–247.
SAC-2015-KapoorDC #capacity #energy #performance: Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.
SAC-2015-LeeP: Search space reduction for electric vehicle-based tour schedules (JL, GLP), pp. 2075–2076.
SAC-2015-MoreiraJR #analysis #similarity #visual notation: Visual similarity analysis in loop closure through data dimensionality reduction via diffusion maps (LASM, CMJ, PFFR), pp. 289–294.
CASE-2015-HayakawaI #fault #linear: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
DAC-2015-GuoWHWLC #design #latency #named #novel: 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: 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: Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DAC-2015-LiuKDK #data access #network: 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: 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: Novel power grid reduction method based on L1 regularization (YW, ML, XY, ZS, MO, CC), p. 6.
DATE-2015-DiaoLWW: A coupling area reduction technique applying ODC shifting (YD, TKL, XW, YLW), pp. 1461–1466.
DATE-2015-GoncalvesLCTCB #algorithm #modelling #performance: 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: 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 #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: Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
PPoPP-2015-ThomsonD #concurrent #lazy evaluation #partial order #testing: The lazy happens-before relation: better partial-order reduction for systematic concurrency testing (PT, AFD), pp. 259–260.
ESOP-2015-SchererR: Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.
STOC-2015-AggarwalDKO: Non-malleable Reductions and Applications (DA, YD, TK, MO), pp. 459–468.
STOC-2015-BourgainDN #formal method #towards: Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.
STOC-2015-CohenEMMP #approximate #clustering #rank: Dimensionality Reduction for k-Means Clustering and Low Rank Approximation (MBC, SE, CM, CM, MP), pp. 163–172.
TACAS-2015-ChenHSW #commutative: Commutativity of Reducers (YFC, CDH, NS, BYW), pp. 131–146.
DocEng-2014-BoschGL #automation #css #refactoring: Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
CSMR-WCRE-2014-VidacsBTSG #approach #detection #fault #locality #testing: Test suite reduction for fault detection and localization: A combined approach (LV, ÁB, DT, IS, TG), pp. 204–213.
ICALP-v1-2014-GavinskyL: En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations (DG, SL), pp. 514–524.
FM-2014-RinastSG #graph #performance: A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
RTA-TLCA-2014-NakazawaN #λ-calculus #μ-calculus: Reduction System for Extensional Λμ Calculus (KN, TN), pp. 349–363.
SEFM-2014-DobrikovL #model checking #optimisation #partial order #using: Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
Haskell-2014-Pike #automation #named #performance: SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
GRAPHITE-2014-SenniS #knowledge base: Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
CHI-2014-CrnovrsaninWM #visual notation: Stimulating a blink: reduction of eye fatigue with visual stimulus (TC, YW, KLM), pp. 2055–2064.
CAiSE-2014-KalamatianosK #independence #streaming: Schema Independent Reduction of Streaming Log Data (TK, KK), pp. 394–408.
ICEIS-v2-2014-ProcaciSA #analysis #community #metric #online #people #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: Efficient Dimensionality Reduction for High-Dimensional Network Estimation (SC, BAL, SIL), pp. 1953–1961.
ICML-c2-2014-WangWY #scalability: Scaling SVM and Least Absolute Deviations via Exact Data Reduction (JW, PW, JY), pp. 523–531.
ICML-c2-2014-XuTXR: Large-margin Weakly Supervised Dimensionality Reduction (CX, DT, CX, YR), pp. 865–873.
ICPR-2014-HuDGX #analysis #distance: Max-K-Min Distance Analysis for Dimension Reduction (JH, WD, JG, YX), pp. 726–731.
ICPR-2014-MolderCCH #automation #detection #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 #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: A Dictionary-Based Algorithm for Dimensionality Reduction and Data Reconstruction (ZZ, GF), pp. 1556–1561.
SEKE-2014-FernandesALG #modelling #probability #process: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
OOPSLA-2014-Desai0M #proving #source code #using: Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.
OOPSLA-2014-XiaoGZZZYWLCZ #named #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: Optimal dynamic partial order reduction (PAA, SA, BJ, KFS), pp. 373–384.
SAS-2014-IoossAR #equivalence #on the: On Program Equivalence with Reductions (GI, CA, SVR), pp. 168–183.
ASE-2014-KusanoW #abstraction #optimisation #partial order: Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
FSE-2014-ShiGGZM #testing #trade-off: Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.
CASE-2014-HoussemanDRP: Smart dynamic sampling for wafer at risk reduction in semiconductor manufacturing (SH, SDP, GRV, JP), pp. 780–785.
CASE-2014-HuiM #assessment #performance: Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASE-2014-MashaeiL #energy: Energy reduction in cyclic flow shop plants through on-off control of robots (MM, BL), pp. 492–497.
CGO-2014-WangWP #optimisation #virtual machine: Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization (HW, PW, DAP), p. 295.
DAC-2014-DongZC #algorithm #online #performance: A Cost Efficient Online Algorithm for Automotive Idling Reduction (CD, HZ, MC), p. 6.
DAC-2014-LiangC #analysis #clustering #named #network #probability #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: Retention Trimming for Wear Reduction of Flash Memory Storage Systems (LS, KW, MZ, CJX, EHMS), p. 6.
DAC-2014-WaeijenSCH: Reduction Operator for Wide-SIMDs Reconsidered (LW, DS, HC, YH), p. 6.
DATE-2014-BanagaayaAST #network #order: Implicit index-aware model order reduction for RLC/RC networks (NB, GA, WHAS, CT), pp. 1–6.
DATE-2014-LeeL #3d #gpu #on the: On GPU bus power reduction with 3D IC technologies (YJL, SKL), pp. 1–6.
DATE-2014-MahmoodPM #performance #using: Cache aging reduction with improved performance using dynamically re-sizable cache (HM, MP, EM), pp. 1–6.
DATE-2014-RanaC #analysis #named #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: 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: P/G TSV planning for IR-drop reduction in 3D-ICs (SW, FF, FO, MBT), pp. 1–6.
LCTES-2014-KochFBD #similarity: Exploiting function similarity for code size reduction (TJKEvK, BF, PB, AD), pp. 85–94.
STOC-2014-KumarS #all about: The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in (MK, SS), pp. 136–145.
TACAS-2014-HerreraWP #network #query: Quasi-Equal Clock Reduction: More Networks, More Queries (CH, BW, AP), pp. 295–309.
CAV-2014-HansenLLN0 #abstraction #automaton #partial order #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 #testing: Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ISSTA-2014-GotliebM #named #network #testing: FLOWER: optimal test suite reduction as a network maximum flow (AG, DM), pp. 171–180.
ISSTA-2014-ZhangGA #execution #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 is invariant, indeed (BA, UDL), p. 10.
SAT-2014-CreusFG #automation #evaluation #problem: Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.
SAT-2014-HaanS #parametricity #satisfiability: Fixed-Parameter Tractable Reductions to SAT (RdH, SS), pp. 85–102.
SAT-2014-SakaiST #satisfiability #strict: Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction (TS, KS, ST), pp. 32–47.
ICDAR-2013-BaroniaN #using: Ink-Bleed Reduction Using Layer Separation (SB, AMN), pp. 215–219.
ICDAR-2013-El-KorashyS #recognition: Search Space Reduction for Holistic Ligature Recognition in Urdu Nastalique Script (AEK, FS), pp. 1125–1129.
ICDAR-2013-ParvezM #recognition #using: Lexicon Reduction Using Segment Descriptors for Arabic Handwriting Recognition (MTP, SAM), pp. 1265–1269.
ICDAR-2013-ZhongCC #empirical #evaluation #recognition: An Empirical Evaluation of Supervised Dimensionality Reduction for Recognition (GZ, YC, MC), pp. 1315–1319.
SCAM-2013-MuskeBS #clustering #overview #static analysis: Review efforts reduction by partitioning of static analysis warnings (TBM, AB, TS), pp. 106–115.
ICALP-v1-2013-GlasserNRSW #polynomial #set: Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions (CG, DTN, CR, ALS, MW), pp. 473–484.
TLCA-2013-Clairambault #bound #linear: Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction (PC), pp. 109–124.
GCM-J-2012-ErmlerKLT #graph transformation: A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).
CIKM-2013-LuoFHWB #bisimulation #graph #memory management: External memory K-bisimulation reduction of big graphs (YL, GHLF, JH, YW, PDB), pp. 919–928.
ICML-c1-2013-AvronBTZ #analysis #canonical #correlation #performance: Efficient Dimensionality Reduction for Canonical Correlation Analysis (HA, CB, ST, AZ), pp. 347–355.
KDD-2013-RaederPDSP #clustering #scalability #using: Scalable supervised dimensionality reduction using clustering (TR, CP, BD, OS, FJP), pp. 1213–1221.
MLDM-2013-OthmanB #induction: Preceding Rule Induction with Instance Reduction Methods (OO, CHB), pp. 209–218.
OOPSLA-2013-CoonsMM #bound #partial order: Bounded partial-order reduction (KEC, MM, KSM), pp. 833–848.
LOPSTR-2013-DanvyJ #automaton #semantics: From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.
PEPM-2013-Garcia-PerezN #functional #semantics: A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
ESEC-FSE-2013-InozemtsevaHH #fault #using: Using fault history to improve mutation reduction (LI, HH, RH), pp. 639–642.
SAC-2013-RabanalR #metaheuristic #polynomial #problem #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: A data reduction and organization approach for efficient image annotation (PTMS, PJdR, AXF, CTNS, JFG), pp. 53–57.
CASE-2013-LiK #automation #generative #novel #reachability #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: 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: Smart non-default routing for clock power reduction (ABK, SK, HL), p. 7.
DAC-2013-MinJP #energy #named #optimisation: XDRA: exploration and optimization of last-level cache for energy reduction in DDR DRAMs (SMM, HJ, SP), p. 10.
DATE-2013-AhmadyanV #analysis #reachability #set: Reachability analysis of nonlinear analog circuits through iterative reachable set reduction (SNA, SV), pp. 1436–1441.
DATE-2013-BakshiH #smt #using: LFSR seed computation and reduction using SMT-based fault-chaining (DB, MSH), pp. 1071–1076.
DATE-2013-CanisAB #multi #synthesis: Multi-pumping for resource reduction in FPGA high-level synthesis (AC, JHA, SDB), pp. 194–197.
DATE-2013-Feng #geometry #grid #power management #scalability: Large-scale flip-chip power grid reduction with geometric templates (ZF), pp. 1679–1682.
DATE-2013-KahngKP #power management: Active-mode leakage reduction with data-retained power gating (ABK, SK, BP), pp. 1209–1214.
DATE-2013-KhanSGH #collaboration #complexity: 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: 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: 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: Adaptive reduction of the frequency search space for multi-vdd digital circuits (CKHS, EY, SO, OS), pp. 292–295.
DATE-2013-TengT #array #design: Sparse-rotary oscillator array (SROA) design for power and skew reduction (YT, BT), pp. 1229–1234.
LCTES-2013-WangLWS #hybrid #memory management #named: FTL2: a hybrid flash translation layer with logging for write reduction in flash memory (TW, DL, YW, ZS), pp. 91–100.
PDP-2013-AkturkO #3d #communication: ILP-Based Communication Reduction for Heterogeneous 3D Network-on-Chips (IA, ÖÖ), pp. 514–518.
CADE-2013-KaminskiT #incremental #named #reasoning #satisfiability: InKreSAT: Modal Reasoning via Incremental Reduction to SAT (MK, TT), pp. 436–442.
CADE-2013-WilliamsK #problem #proving #satisfiability: Propositional Temporal Proving with Reductions to a SAT Problem (RW, BK), pp. 421–435.
ICTSS-2013-GuttingerKKW #testing: Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
ISSTA-2013-ZhangMK #mutation testing #performance #testing: Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
SAT-2013-JordanK: Experiments with Reduction Finding (CJ, LK), pp. 192–207.
VMCAI-2013-JacobsKS #synthesis: Reductions for Synthesis Procedures (SJ, VK, PS), pp. 88–107.
VMCAI-2013-ZhengS0LD0 #network #partial order #using: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
DRR-2012-GaoZN #complexity #online #recognition: Complexity reduction with recognition rate maintained for online handwritten Japanese text recognition (JG, BZ, MN).
DLT-2012-NevisiR: Morphic Primitivity and Alphabet Reductions (HN, DR), pp. 440–451.
RTA-2012-AccattoliL #cost analysis #on the: On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
ICFP-2012-Sheard #design #programming: Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
ICML-2012-NeufeldYZKS: Regularizers versus Losses for Nonlinear Dimensionality Reduction: A Factored View with New Convex Relaxations (JN, YY, XZ, RK, DS), p. 191.
ICML-2012-ParrishG: Dimensionality Reduction by Local Discriminative Gaussians (NP, MRG), p. 30.
ICPR-2012-ChherawalaWC #documentation: Sparse descriptor for lexicon reduction in handwritten Arabic documents (YC, RW, MC), pp. 3729–3732.
ICPR-2012-FefilatyevSKHGKDRB: Label-noise reduction with support vector machines (SF, MS, KK, LOH, DBG, RK, KD, AR, HB), pp. 3504–3508.
ICPR-2012-Liao: Commensurate dimensionality reduction for extended local ternary patterns (WHL), pp. 3013–3016.
ICPR-2012-LiuLLC #graph #image: Graph-based dimensionality reduction for KNN-based image annotation (XL, RL, FL, QC), pp. 1253–1256.
ICPR-2012-ShaoS #analysis #distance: Fractional-step max-min distance analysis for dimension reduction (GS, NS), pp. 396–400.
ICPR-2012-XiongCLLSA #image #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: Enhancement and noise reduction of very low light level images (XZ, PS, LL, LZ, JS), pp. 2034–2037.
KDD-2012-WauthierJJ #clustering #nondeterminism: Active spectral clustering via iterative uncertainty reduction (FLW, NJ, MIJ), pp. 1339–1347.
MLDM-2012-Kovacs #distance: Reduction of Distance Computations in Selection of Pivot Elements for Balanced GHT Structure (LK), pp. 50–62.
SEKE-2012-ZhangCGZSC #named #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: LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
PLDI-2012-JohnsonKPZA: Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.
PLDI-2012-RegehrCCEEY #c #compilation #debugging #testing: Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
ASE-2012-LuCC #fault #learning #predict #using: Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.
ICSE-2012-HaoZWMR #on-demand #testing: On-demand test suite reduction (DH, LZ, XW, HM, GR), pp. 738–748.
CASE-2012-DimitrovB #algorithm #evaluation #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: 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: 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: 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: 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 #simulation #towards #using: Towards improving simulation of analog circuits using model order reduction (HA, MHZ, ST), pp. 1337–1342.
DATE-2012-LvKE #multi #performance #verification: Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
DATE-2012-RichterC #delivery #manycore: Test pin count reduction for NoC-based Test delivery in multicore SOCs (MR, KC), pp. 787–792.
DATE-2012-TangHCH #generative #logic #multi: Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
PDP-2012-DavidovicQ #problem #scalability #symmetry: Applying OOC Techniques in the Reduction to Condensed Form for Very Large Symmetric Eigenproblems on GPUs (DD, ESQO), pp. 442–449.
PDP-2012-JokhioDLL #distributed #video: Bit Rate Reduction Video Transcoding with Distributed Computing (FJ, TD, SL, JL), pp. 206–212.
PPoPP-2012-BallardDK #communication: Communication avoiding successive band reduction (GB, JD, NK), pp. 35–44.
ESOP-2012-FajstrupGHMR #performance: Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
FASE-2012-Kahlon: Schedule Insensitivity Reduction (VK), pp. 99–114.
FASE-2012-UsaolaML #testing #using: Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.
STOC-2012-ChawlaIL #black box #design #on the: On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
CAV-2012-ChuJ #safety #symmetry #verification: A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
CSL-2012-DeYoungCPT #communication #linear #logic: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
ICST-2012-MateoU #execution #music: Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.
SAT-2012-KullmannZ #on the #satisfiability: On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (OK, XZ), pp. 270–283.
ICDAR-2011-GatosLS #performance: Greek Polytonic OCR Based on Efficient Character Class Number Reduction (BG, GL, NS), pp. 1155–1159.
ICSM-2011-SampathBJM #testing: A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
DLT-J-2009-HalavaH11 #problem: Reduction Tree of the Binary Generalized Post Correspondence Problem (VH, SH), pp. 473–490.
ICALP-v1-2011-AustrinK #distance #problem: A Simple Deterministic Reduction for the Gap Minimum Distance of Code Problem (PA, SK), pp. 474–485.
ICALP-v1-2011-HarrowMS #quantum: Limitations on Quantum Dimensionality Reduction (AWH, AM, AJS), pp. 86–97.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order: 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: On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
RTA-2011-GrathwohlKPS #graph #named #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: CRSX — Combinatory Reduction Systems with Extensions (KHR), pp. 81–90.
HCI-UA-2011-FolmerPV: An Analytical Alarm Flood Reduction to Reduce Operator’s Workload (JF, DP, BVH), pp. 297–306.
CIKM-2011-GangulyLMJ #feedback #pseudo #query #using: Patent query reduction using pseudo relevance feedback (DG, JL, WM, GJFJ), pp. 1953–1956.
KDIR-2011-BressoBSMKSND #mining #using: 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: Context Dimensionality Reduction for Mobile Personal Information Access (AK, AP, VS, JDG), pp. 493–498.
MLDM-2011-SanchezGM #classification #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: PAFL: Fault Localization via Noise Reduction on Coverage Vector (LZ, ZZ, LW, XY), pp. 203–206.
SPLC-2011-SinhaDR #development #multi #performance #product line #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.
PPDP-2011-Guenot #proving #λ-calculus: Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.
SAS-2011-Feret #formal method: Formal Model Reduction (JF), p. 6.
ASE-2011-BokorKSS #partial order: 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 #testing: Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.
SAC-2011-ChenZGZWSC #approach #interactive #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 #runtime: Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
SAC-2011-LeePKKS #grid #power management #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 #rest: Transmission reduction between mobile phone applications and RESTful APIs (CLT, HWC, JLH, CLH), pp. 445–450.
DAC-2011-HochmanBW #empirical: 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 #synthesis: Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.
DATE-2011-HashempourDTKHBX #fault #industrial #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: Register allocation for simultaneous reduction of energy and peak temperature on registers (TL, AO, CJX, ML), pp. 20–25.
DATE-2011-RahmanTS: Power reduction via near-optimal library-based cell-size selection (MR, HT, CS), pp. 867–870.
DATE-2011-YangSSL #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: A block-diagonal structured model reduction scheme for power grid networks (ZZ, XH, CKC, NW), pp. 44–49.
SOSP-2011-GuoWZHYZ #interface #model checking: Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
FASE-2011-CrouzenL: Smart Reduction (PC, FL), pp. 111–126.
TACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order: Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.
TACAS-2011-TimmerSP #confluence #probability: Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.
EDM-2010-Pavlik #comprehension #learning: Data Reduction Methods Applied to Understanding Complex Learning Hypotheses (PIPJ), pp. 311–312.
ICALP-v1-2010-MakarychevMS #algorithm #approximate #polynomial #problem: 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 #theorem: Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems (MX), pp. 666–677.
LATA-2010-Cruz-SantosM #on the #quantum #satisfiability: On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT (WCS, GML), pp. 239–248.
RTA-2010-Bahr #modelling: Abstract Models of Transfinite Reductions (PB), pp. 49–66.
SEFM-2010-BarnatBR #parallel #partial order: Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.
IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #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: Fast dimension reduction for document classification based on imprecise spectrum analysis (HG, BX, JZ, MG, TY), pp. 1753–1756.
ICML-2010-Carreira-Perpinan #algorithm: The Elastic Embedding Algorithm for Dimensionality Reduction (MÁCP), pp. 167–174.
ICML-2010-MasaeliFD #feature model: From Transformation-Based Dimensionality Reduction to Feature Selection (MM, GF, JGD), pp. 751–758.
ICML-2010-ZhangS: Projection Penalties: Dimension Reduction without Loss (YZ, JGS), pp. 1223–1230.
ICPR-2010-AouadaBK #adaptation: Mahalanobis-based Adaptive Nonlinear Dimension Reduction (DA, YB, HK), pp. 742–745.
ICPR-2010-LewandowskiRMN: Temporal Extension of Laplacian Eigenmaps for Unsupervised Dimensionality Reduction of Time Series (ML, JMdR, DM, JCN), pp. 161–164.
ICPR-2010-LiGW #adaptation #image #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: Effective Dimensionality Reduction Based on Support Vector Machine (SM, HQ), pp. 173–176.
ICPR-2010-SulicPKK #distributed #random #using: Dimensionality Reduction for Distributed Vision Systems Using Random Projection (VS, JP, MK, SK), pp. 380–383.
ICPR-2010-WshahGCL #novel #recognition: A Novel Lexicon Reduction Method for Arabic Handwriting Recognition (SW, VG, YC, HL), pp. 2865–2868.
ICPR-2010-XuHL #distance: Dimensionality Reduction by Minimal Distance Maximization (BX, KH, CLL), pp. 569–572.
ICPR-2010-ZafeiriouL #visualisation: Nonnegative Embeddings and Projections for Dimensionality Reduction and Information Visualization (SZ, NAL), pp. 726–729.
ICPR-2010-ZhangYFZ #on the #recognition #representation: On the Dimensionality Reduction for Sparse Representation Based Face Recognition (LZ, MY, ZF, DZ), pp. 1237–1240.
KDD-2010-HoTL #learning #metric #sequence #similarity: Tropical cyclone event sequence similarity search via dimensionality reduction and metric learning (SSH, WT, WTL), pp. 135–144.
KDD-2010-SunCY #approach #scalability: A scalable two-stage approach for a class of dimensionality reduction techniques (LS, BC, JY), pp. 313–322.
KDIR-2010-BadrWF #automation #named #summary: AutoLSA: Automatic Dimension Reduction of LSA for Single-document Summarization (HB, NMW, MF), pp. 444–448.
KDIR-2010-PadmajaBK #framework #problem: A Class Specific Dimensionality Reduction Framework for Class Imbalance Problem: CPC_SMOTE (TMP, RSB, PRK), pp. 237–242.
SEKE-2010-AbuzeidHT #algorithm #performance #testing: FLAT A Fast Lattice-Based Algorithm for Test Suite Reduction (ARA, HSH, IAHT), p. 67.
SIGIR-2010-BalasubramanianKC #query #web: Exploring reductions for long web queries (NB, GK, VRC), pp. 571–578.
LOPSTR-2010-DanvyZ #combinator #graph: Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.
RE-2010-WnukCR #requirements #towards #using: Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.
ICSE-2010-Elmas #abstraction #concurrent #named #proving #verification: QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
SAC-2010-AlmeidaYA #anti #probability: Probabilistic anti-spam filtering with dimensionality reduction (TAA, AY, JA), pp. 1802–1806.
SAC-2010-McDonaldTKG #component #using: Using logic-based reduction for adversarial component recovery (JTM, EDT, YCK, MRG), pp. 1993–2000.
SAC-2010-ZhangGCQC #case study #effectiveness #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.
CASE-2010-RoutrayRS #clustering #detection #fault: Data reduction and clustering techniques for fault detection and diagnosis in automotives (AR, AR, SS), pp. 326–331.
CGO-2010-HanLT #parallel: Speculative parallelization of partial reduction variables (LH, WL, JT), pp. 141–150.
DATE-2010-El-MoselhyD #order #statistics #using: Variation-aware interconnect extraction using statistical moment preserving model order reduction (TAEM, LD), pp. 453–458.
DATE-2010-LiuNCMP: Post-placement temperature reduction techniques (WL, AN, AC, EM, MP), pp. 634–637.
DATE-2010-PanYZS #approach #megamodelling #order #performance: 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: 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 #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 #scheduling: Dual-Vth leakage reduction with Fast Clock Skew Scheduling Enhancement (MT, HD, TW, XC), pp. 520–525.
DATE-2010-VillenaS #named #order: HORUS — high-dimensional Model Order Reduction via low moment-matching upgraded sampling (JFV, LMS), pp. 465–470.
HPDC-2010-BaeCQF #scalability #visualisation: Dimension reduction and visualization of large high-dimensional data via interpolation (SHB, JYC, JQ, GF), pp. 203–214.
HPDC-2010-ChoiBQFCW #scalability: Browsing large scale cheminformatics data with dimension reduction (JYC, SHB, JQ, GF, BC, DJW), pp. 503–506.
PDP-2010-Strey #implementation #on the #performance: On the Efficient Implementation of Reductions on the Cell Broadband Engine (AS), pp. 223–228.
FASE-2010-LauterburgKMA #heuristic #partial order: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
TACAS-2010-ElmasQSST #abstraction #proving: Simplifying Linearizability Proofs with Reduction and Abstraction (TE, SQ, AS, OS, ST), pp. 296–311.
IJCAR-2010-MaricJ #named: URBiVA: Uniform Reduction to Bit-Vector Arithmetic (FM, PJ), pp. 346–352.
LICS-2010-DanosFFHK #automation #difference #modelling #rule-based #semantics: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
ICALP-v1-2009-ChekuriK #graph: A Graph Reduction Step Preserving Element-Connectivity and Applications (CC, NK), pp. 254–265.
FM-2009-LangM #composition #confluence #detection #partial order #using: Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.
IFM-2009-BenesBCSVZ #ltl #partial order: Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
IFM-2009-Rakow #petri net: Decompositional Petri Net Reductions (AR), pp. 352–366.
IFM-2009-YangASHSG #model checking: Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
HIMI-II-2009-NozawaK #analysis #comparison #realtime: 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 #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 #wiki: Completing wikipedia’s hyperlink structure through dimensionality reduction (RW, DP, JP), pp. 1097–1106.
ICML-2009-BeygelzimerLZ #machine learning #summary #tutorial: Tutorial summary: Reductions in machine learning (AB, JL, BZ), p. 12.
KDIR-2009-VillalbaC #biology #case study #classification #generative: 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: 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 #using: Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes (KR, HB), pp. 617–631.
SIGIR-2009-LeeLP #similarity #using: Tag-based object similarity computation using term space dimension reduction (YKL, SJL, JP), pp. 790–791.
SAC-2009-SmithK #empirical #testing: An empirical study of incorporating cost into test suite reduction and prioritization (AMS, GMK), pp. 461–467.
CGO-2009-BerubeAHS #multi #optimisation: Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
DAC-2009-CromarLC #algorithm: 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 techniques for synchronous dataflow graphs (MG), pp. 911–916.
DATE-2009-AhmedERCST #performance #pipes and filters #programmable: 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: 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: 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: Test cost reduction for multiple-voltage designs with bridge defects through Gate-Sizing (SSK, BMAH, PH), pp. 1349–1354.
DATE-2009-LiuX09a #framework: A generic framework for scan capture power reduction in fixed-length symbol-based test compression environment (XL, QX), pp. 1494–1499.
DATE-2009-VillenaCIS #modelling #on the #parametricity #performance: On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
FoSSaCS-2009-LohreyMS #parametricity: Parameter Reduction in Grammar-Compressed Trees (ML, SM, MSS), pp. 212–226.
STOC-2009-ChengW #distance #problem: A deterministic reduction for the gap minimum distance problem: [extended abstract] (QC, DW), pp. 33–38.
STOC-2009-Tulsiani #csp: CSP gaps and reductions in the lasserre hierarchy (MT), pp. 303–312.
TACAS-2009-KahlonSG #concurrent #semantics #source code #thread: Semantic Reduction of Thread Interleavings in Concurrent Programs (VK, SS, AG), pp. 124–138.
CAV-2009-KahlonWG #partial order: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique (VK, CW, AG), pp. 398–413.
VMCAI-2009-TreflerW #architecture #symmetry: Extending Symmetry Reduction by Exploiting System Architecture (RJT, TW), pp. 320–334.
CBSE-2008-LumpeGS #component #interface: State Space Reduction Techniques for Component Interfaces (ML, LG, JGS), pp. 130–145.
SIGMOD-2008-WichterichAKS #database #flexibility #multi #performance #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 #robust: Identifying robust plans through plan diagram reduction (HD, PND, JRH), pp. 1124–1140.
ICSM-2008-CornelissenMZ #assessment: An assessment methodology for trace reduction techniques (BC, LM, AZ), pp. 107–116.
LATA-2008-BaumeisterR #problem: The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions (DB, JR), pp. 76–87.
RTA-2008-EndrullisV: Reduction Under Substitution (JE, RCdV), pp. 425–440.
RTA-2008-Ketema #combinator #normalisation #on the: On Normalisation of Infinitary Combinatory Reduction Systems (JK), pp. 172–186.
IFL-2008-Mackie #implementation #interactive: An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.
GT-VMT-2008-Weinell #graph #query: Extending Graph Query Languages by Reduction (EW).
ICEIS-AIDSS-2008-JansLV #case study #data mining #mining: Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.
ICML-2008-DonmezC #learning #optimisation #rank: Optimizing estimated loss reduction for active sampling in rank learning (PD, JGC), pp. 248–255.
ICML-2008-RishGCPG #linear #modelling: Closed-form supervised dimensionality reduction with generalized linear models (IR, GG, GAC, FP, GJG), pp. 832–839.
ICPR-2008-BruneauGP #approach #modelling: Parameter-based reduction of Gaussian mixture models with a variational-Bayes approach (PB, MG, FP), pp. 1–4.
ICPR-2008-JiaZ: Local Regularized Least-Square Dimensionality Reduction (YJ, CZ), pp. 1–4.
ICPR-2008-LuFJW #classification #framework #learning #metric #visualisation: Metric Learning: A general dimension reduction framework for classification and visualization (CL, GF, JJ, PSPW), pp. 1–4.
ICPR-2008-PiccardiGO #classification #modelling: Maximum-likelihood dimensionality reduction in gaussian mixture models with an application to object classification (MP, HG, AFO), pp. 1–4.
ICPR-2008-SubrahmanyamRAR: Edge-preserving unscented Kalman filter for speckle reduction (GRKSS, ANR, RA, GR), pp. 1–4.
ICPR-2008-WatanabeIHY #algorithm #performance #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: Computing Default Extensions by Reductions on OR (EHL, AW), pp. 496–506.
RecSys-2008-OostendorpR #interface #recommendation: Three recommender approaches to interface controls reduction (NO, PR), pp. 235–242.
RecSys-2008-SymeonidisNM #recommendation: Tag recommendations based on tensor dimensionality reduction (PS, AN, YM), pp. 43–50.
SEKE-2008-ChenZX #approach #testing: A Degraded ILP Approach for Test Suite Reduction (ZC, XZ, BX), pp. 494–499.
OOPSLA-2008-KawachiyaOO #analysis #java #memory management #string: Analysis and reduction of memory inefficiencies in Java strings (KK, KO, TO), pp. 385–402.
SAS-2008-KiddLR: Language Strength Reduction (NK, AL, TWR), pp. 283–298.
ICSE-2008-YuJH #empirical #fault #locality #testing: An empirical study of the effects of test-suite reduction on fault localization (YY, JAJ, MJH), pp. 201–210.
SAC-2008-AquinoFNFLF #clustering #network: Sensor stream reduction for clustered wireless sensor networks (ALLdA, CMSF, EFN, ACF, AAFL, AOF), pp. 2052–2056.
SAC-2008-ChengHVL #image: Semi-supervised dimensionality reduction in image feature space (HC, KAH, KV, DL), pp. 1207–1211.
SAC-2008-ChenXZN #approach #novel #testing: A novel approach for test suite reduction based on requirement relation contraction (ZC, BX, XZ, CN), pp. 390–394.
CASE-2008-ParkDB #collaboration #energy #network #performance: Collaborative data reduction for energy efficient sensor networks (CP, YD, EB), pp. 442–447.
DAC-2008-BournoutianO #design #embedded: Miss reduction in embedded processors through dynamic, power-friendly cache design (GB, AO), pp. 304–309.
DAC-2008-ElmWIZLM #clustering: Scan chain clustering for test power reduction (ME, HJW, MEI, CGZ, JL, NM), pp. 828–833.
DAC-2008-HuSMH #multi: FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.
DAC-2008-JeongKPY #power management: 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 #scheduling: Power gating scheduling for power/ground noise reduction (HJ, MMS), pp. 980–985.
DAC-2008-JoshiCSBA #power management #using: Leakage power reduction using stress-enhanced layouts (VJ, BC, DS, DB, KA), pp. 912–917.
DAC-2008-KunduGG #design #partial order #scalability #testing: Partial order reduction for scalable testing of systemC TLM designs (SK, MKG, RG), pp. 936–941.
DAC-2008-NiM #power management #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: DeMOR: decentralized model order reduction of linear networks with massive ports (BY, LZ, SXDT, JC, BM), pp. 409–414.
DAC-2008-ZhouYP #compilation: 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 #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: Fine-Grained Supply Gating Through Hypergraph Partitioning and Shannon Decomposition for Active Power Reduction (LL, SB), pp. 373–378.
DATE-2008-LiXHL #named #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 #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 #testing: Analysis of The Test Data Volume Reduction Benefit of Modular SOC Testing (OS, EJM), pp. 182–187.
DATE-2008-VillenaS #algorithm #named #order #scalability: SPARE — a Scalable algorithm for passive, structure preserving, Parameter-Aware model order REduction (JFV, LMS), pp. 586–591.
TACAS-2008-WangYKG #partial order: Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
CAV-2008-VakkalankaGK #order #source code #verification: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (SSV, GG, RMK), pp. 66–79.
ICDAR-2007-MozaffariFMA #scalability: Strategies for Large Handwritten Farsi/Arabic Lexicon Reduction (SM, KF, VM, HEA), pp. 98–102.
ICDAR-2007-VamvakasGPS #feature model #performance #recognition: An Efficient Feature Extraction and Dimensionality Reduction Scheme for Isolated Greek Handwritten Character Recognition (GV, BG, SP, NS), pp. 1073–1077.
ICSM-2007-McMasterM #analysis #detection #fault #probability #testing: Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction (SM, AMM), pp. 335–344.
CIAA-2007-HoltmannL #game studies #infinity #memory management: Memory Reduction for Strategies in Infinite Games (MH, CL), pp. 253–264.
DLT-2007-BrijderH #assembly #graph: Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.
LATA-2007-KocholKSS #matrix: Reductions of matrices associated with nowhere-zero flows (MK, NK, SS, KS), pp. 297–306.
IFM-2007-Toben #communication #data type: Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
TLCA-2007-Nakazawa #morphism #proving: An Isomorphism Between Cut-Elimination Procedure and Proof Reduction (KN), pp. 336–350.
IFL-2007-NaylorR #graph #using: The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.
AGTIVE-2007-MolEP #proving: A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.
ICML-2007-DingL #adaptation #analysis #clustering #using: Adaptive dimension reduction using discriminant analysis and K-means clustering (CHQD, TL), pp. 521–528.
ICML-2007-GerberTW #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: A transductive framework of distance metric learning by spectral dimensionality reduction (FL, JY, JW), pp. 513–520.
ICML-2007-MosciRV: Dimensionality reduction and generalization (SM, LR, AV), pp. 657–664.
ICML-2007-NilssonSJ #kernel #using: Regression on manifolds using kernel dimension reduction (JN, FS, MIJ), pp. 697–704.
ICML-2007-Yairi #locality: Map building without localization by dimensionality reduction techniques (TY), pp. 1071–1078.
KDD-2007-Li #random: Very sparse stable random projections for dimension reduction in lalpha (0 <alpha<=2) norm (PL0), pp. 440–449.
MLDM-2007-FranceC #development #evaluation #metric: 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: On Applying Dimension Reduction for Multi-labeled Problems (ML, CHP), pp. 131–143.
MLDM-2007-ZagorisPK #algorithm #fuzzy #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: Dimensionality reduction for dimension-specific search (ZH, HTS, XZ, DS, SMR), pp. 849–850.
PLDI-2007-LiCKK #energy: Profile-driven energy reduction in network-on-chips (FL, GC, MTK, IK), pp. 394–404.
PLDI-2007-TitzerABP #automation #virtual machine: The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.
ASE-2007-SmithGKS #testing: Test suite reduction and prioritization with call trees (AMS, JG, GMK, MLS), pp. 539–540.
ESEC-FSE-2007-HarmanHLMW #generative #search-based #testing: The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.
SAC-2007-Al-NaymatCG #query: Dimensionality reduction for long duration and complex spatio-temporal queries (GAN, SC, JG), pp. 393–397.
SAC-2007-LebbahMR #constraints #implementation #performance #using: Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.
SAC-2007-XianhuaJX #performance: Efficient code size reduction without performance loss (LX, ZJ, CX), pp. 666–672.
LDTA-J-2005-JohnstoneS #automation #parsing #recursion: Automatic recursion engineering of reduction incorporated parsers (AJ, ES), pp. 95–110.
CC-2007-ShyamG #architecture #array #energy #memory management: An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures (KS, RG), pp. 32–47.
DAC-2007-FengLZ #analysis #higher-order #parametricity #performance #statistics #using: Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.
DAC-2007-ImhofZWML #testing: Scan Test Planning for Power Reduction (MEI, CGZ, HJW, NM, JL), pp. 521–526.
DAC-2007-MorganT #encoding #energy: ASIP Instruction Encoding for Energy and Area Reduction (PM, RT), pp. 797–800.
DAC-2007-WenMSKOS #effectiveness #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: SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits (BY, SXDT, PL, BM), pp. 158–161.
DATE-2007-FanMTCH #correlation #order #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 of detected acceptable faults for yield improvement via error-tolerance (TYH, KJL, MAB), pp. 1599–1604.
DATE-2007-JangKL #fault #profiling #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 #statistics: Interactive presentation: Statistical dual-Vdd assignment for FPGA interconnect power reduction (YL, LH), pp. 636–641.
DATE-2007-MogalB #architecture: Microarchitecture floorplanning for sub-threshold leakage reduction (HM, KB), pp. 1238–1243.
DATE-2007-PeterLP #encryption #flexibility #hardware: Flexible hardware reduction for elliptic curve cryptography in GF(2m) (SP, PL, KP), pp. 1259–1264.
DATE-2007-ZhouB #approach #scheduling #testing #using: Test cost reduction for SoC using a combined approach to test data compression and test scheduling (QZ, KJB), pp. 39–44.
LCTES-2007-ZhuM #feedback #named #scalability #scheduling: DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling (YZ, FM), pp. 31–40.
WRLA-2006-FarzanM07 #partial order #programming language #semantics: Partial Order Reduction for Rewriting Semantics of Programming Languages (AF, JM), pp. 61–78.
FASE-2007-FraserW #testing: Redundancy Based Test-Suite Reduction (GF, FW), pp. 291–305.
FoSSaCS-2007-BertolissiK #calculus #combinator: The Rewriting Calculus as a Combinatory Reduction System (CB, CK), pp. 78–92.
STOC-2007-BrinkmanKL #graph #random: Vertex cuts, random walks, and dimension reduction in series-parallel graphs (BB, AK, JRL), pp. 621–630.
STOC-2007-DeshpandeV #approximate: Sampling-based dimension reduction for subspace approximation (AD, KRV), pp. 641–650.
CAV-2007-Wahl #adaptation #symmetry: Adaptive Symmetry Reduction (TW), pp. 393–405.
ISSTA-2007-TallamTGZ #execution #parallel #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: Light Logics and Optimal Reduction: Completeness and Complexity (PB, PC, UDL), pp. 421–430.
ICSM-2006-NeginhalK #c #comprehension #graph: Event Views and Graph Reductions for Understanding System Level C Code (SN, SK), pp. 279–288.
ICALP-v1-2006-HitchcockP #set: Comparing Reductions to NP-Complete Sets (JMH, AP), pp. 465–476.
FM-2006-DonaldsonM #approximate #model checking #symmetry: Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.
ICML-2006-Sugiyama #analysis: Local Fisher discriminant analysis for supervised dimensionality reduction (MS), pp. 905–912.
ICML-2006-XiaoSB: A duality view of spectral methods for dimensionality reduction (LX, JS, SPB), pp. 1041–1048.
ICML-2006-XiKSWR #classification #performance #using: Fast time series classification using numerosity reduction (XX, EJK, CRS, LW, CAR), pp. 1033–1040.
ICML-2006-YangFZB: Semi-supervised nonlinear dimensionality reduction (XY, HF, HZ, JLB), pp. 1065–1072.
ICPR-v2-2006-ChenJY #learning #robust: Robust Nonlinear Dimensionality Reduction for Manifold Learning (HC, GJ, KY), pp. 447–450.
ICPR-v2-2006-ChouKC #nearest neighbour: The Generalized Condensed Nearest Neighbor Rule as A Data Reduction Method (CHC, BHK, FC), pp. 556–559.
ICPR-v2-2006-YanT #adaptation #kernel: Dimensionality Reduction with Adaptive Kernels (SY, XT), pp. 626–629.
ICPR-v3-2006-MalmW #image #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: Incremental Construction of Neighborhood Graphs for Nonlinear Dimensionality Reduction (DZ, LY), pp. 177–180.
ICPR-v4-2006-Yang06a #multi #scalability: Locally Multidimensional Scaling for Nonlinear Dimensionality Reduction (LY), pp. 202–205.
QAPL-2005-BaierDG06 #branch #partial order #probability: Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
POPL-2006-GuptaR: Simplifying reductions (GG, SVR), pp. 30–41.
ICSE-2006-ZhongZM #comparison #testing: An experimental comparison of four test suite reduction techniques (HZ, LZ, HM), pp. 636–640.
SAC-2006-PechenizkiyPT #feature model #learning: The impact of sample reduction on PCA-based feature extraction for supervised learning (MP, SP, AT), pp. 553–558.
ASPLOS-2006-XuHB #memory management #transitive: A regulated transitive reduction (RTR) for longer memory race recording (MX, MDH, RB), pp. 49–60.
DAC-2006-ChengDCW #algorithm #generative #performance #power management: 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 #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: 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: 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: Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.
DAC-2006-Miskov-ZivanovM #fault #modelling #named: MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DAC-2006-ShahGK #library #optimisation #standard: Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.
DAC-2006-YuSH #analysis #grid #order #performance #power management: Fast analysis of structured power grid by triangularization based structure preserving model order reduction (HY, YS, LH), pp. 205–210.
DATE-2006-DililloRAG #process: Minimizing test power in SRAM through reduction of pre-charge activity (LD, PMR, BMAH, PG), pp. 1159–1164.
DATE-2006-MartinezLC #order #using: Nonlinear model order reduction using remainder functions (JAM, SPL, DMC), pp. 281–282.
DATE-2006-NegreirosCS: An improved RF loopback for test time reduction (MN, LC, AAS), pp. 646–651.
DATE-2006-XianL #adaptation #energy #multi: Energy reduction by workload adaptation in a multi-process environment (CX, YHL), pp. 514–519.
DATE-2006-ZengFSCZC #domain model #order: Time domain model order reduction by wavelet collocation method (XZ, LF, YS, WC, DZ, CC), pp. 21–26.
LCTES-2006-ParkSDNPE #scheduling: Bypass aware instruction scheduling for register file power reduction (SP, AS, NDD, AN, YP, EE), pp. 173–181.
PPoPP-2006-DeitzCCS #abstraction: Global-view abstractions for user-defined reductions and scans (SJD, DC, BLC, LS), pp. 40–47.
TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #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.
CAV-2006-KwiatkowskaNP #model checking #probability #symmetry: Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
ICDAR-2005-MarinaiMS #documentation #image #layout #retrieval: Layout based document image retrieval by means of XY tree reduction (SM, EM, GS), pp. 432–436.
ICDAR-2005-MilewskiSG: A Lexicon Reduction Strategy in the Context of Handwritten Medical Forms (RM, SS, VG), pp. 1146–1150.
ICSM-2005-HaoZZMS #case study #fault #locality #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 #testing: Test Suite Reduction with Selective Redundancy (DJ, NG), pp. 549–558.
ICSM-2005-McMasterM #stack #testing: Call Stack Coverage for Test Suite Reduction (SM, AMM), pp. 539–548.
ICSM-2005-SprenkleSGPS #comparison #empirical #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: Size Reduction of Multitape Automata (HT, MN, EU), pp. 307–318.
RTA-2005-KetemaS #combinator: Infinitary Combinatory Reduction Systems (JK, JGS), pp. 438–452.
RTA-2005-Simpson #linear #semantics #λ-calculus: Reduction in a Linear λ-Calculus with Applications to Operational Semantics (AKS), pp. 219–234.
CAiSE-2005-DongenAV #petri net #using #verification: Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
ICEIS-v2-2005-AhmanH #approach #game studies #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 #using: Clustering high-dimensional data using an efficient and effective data space reduction (RO, YL, WGY), pp. 201–208.
ECIR-2005-BlancoB #documentation #identifier: Document Identifier Reassignment Through Dimensionality Reduction (RB, AB), pp. 375–387.
ICML-2005-BeygelzimerDHLZ #classification #fault: Error limiting reductions between classification tasks (AB, VD, TPH, JL, BZ), pp. 49–56.
ICML-2005-SajamaO05a #modelling #using: Supervised dimensionality reduction using mixture models (S, AO), pp. 768–775.
ICML-2005-ShaS #analysis: Analysis and extension of spectral methods for nonlinear dimensionality reduction (FS, LKS), pp. 784–791.
KDD-2005-HershkopS #email #modelling: Combining email models for false positive reduction (SH, SJS), pp. 98–107.
SEKE-2005-ChanCT #adaptation #random testing #testing: Adaptive Random Testing with Filtering: An Overhead Reduction Technique (KPC, TYC, DT), pp. 292–299.
POPL-2005-FlanaganG #model checking #partial order: Dynamic partial-order reduction for model checking software (CF, PG), pp. 110–121.
SAC-2005-FoutMA #multi: Time-varying, multivariate volume data reduction (NF, KLM, JPA), pp. 1224–1230.
SAC-2005-WuA: The intensity level reduction in radiation therapy (XW, JA), pp. 242–246.
LDTA-2005-JohnstoneS #parsing #recursion: Recursion Engineering for Reduction Incorporated Parsers (AJ, ES), pp. 143–160.
DAC-2005-BhuniaBCMR #approach #novel #power management #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: Device and architecture co-optimization for FPGA power reduction (LC, PW, FL, YL, LH), pp. 915–920.
DAC-2005-GaoH #multi: Total power reduction in CMOS circuits via gate sizing and multiple threshold voltages (FG, JPH), pp. 31–36.
DAC-2005-KlemasDW #algorithm #order: Segregation by primary phase factors: a full-wave algorithm for model order reduction (TJK, LD, JKW), pp. 943–946.
DAC-2005-LinH #performance: 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: Multiplexer restructuring for FPGA implementation cost reduction (PM, DN), pp. 421–426.
DAC-2005-RoyannezMDWSBBCSDSPRK #design #framework #platform: 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: Sign bit reduction encoding for low power applications (MS, AAK, ZN), pp. 214–217.
DAC-2005-SouMD #approach #optimisation #order: A quasi-convex optimization approach to parameterized model order reduction (KCS, AM, LD), pp. 933–938.
DAC-2005-WanR #linear: Operator-based model-order reduction of linear periodically time-varying systems (YW, JSR), pp. 391–396.
DAC-2005-YuanQ: Enhanced leakage reduction Technique by gate replacement (LY, GQ), pp. 47–50.
DAC-2005-ZhouMA: Structure preserving reduction of frequency-dependent interconnect (QZ, KM, ACA), pp. 939–942.
DATE-2005-AmoryLMM #architecture #multi #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: Activity Packing in FPGAs for Leakage Power Reduction (HH, MA, AED, MIE), pp. 212–217.
DATE-2005-KitaharaKMSF #design #multi #power management: 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 #using #variability: Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction (PL, FL, XL, LTP, SRN), pp. 958–963.
DATE-2005-SharifiJHAN: 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 of CMOS Power Consumption and Signal Integrity Issues by Routing Optimization (PZ, AW, RMBdO, WS, AH), pp. 986–987.
HPCA-2005-ChaparroMGG: Distributing the Frontend for Temperature Reduction (PC, GM, JG, AG), pp. 61–70.
HPCA-2005-JonesOAG #queue: Software Directed Issue Queue Power Reduction (TMJ, MFPO, JA, AG), pp. 144–153.
HPCA-2005-MengSK #on the #power management: On the Limits of Leakage Power Reduction in Caches (YM, TS, RK), pp. 154–165.
ESOP-2005-MakholmW #calculus #mobile #polymorphism #process #type system: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close (HM, JBW), pp. 389–407.
TACAS-2005-EmersonW #symmetry: Dynamic Symmetry Reduction (EAE, TW), pp. 382–396.
CAV-2005-TangMGI #model checking #satisfiability #symmetry: Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.
LICS-2005-Niemisto #locality #on the: On Locality and Uniform Reduction (HN), pp. 41–50.
SAT-2005-ZhaoB: Model-Equivalent Reductions (XZ, HKB), pp. 355–370.
CIAA-2004-TammNU #automaton #multi: Size Reduction of Multitape Automata (HT, MN, EU), pp. 329–330.
IFL-2004-BentonKLR: Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
IFL-2004-StefanovS #effectiveness #functional #source code: Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.
ICEIS-v2-2004-SanchezSA #database: Databases Reduction (RRS, JCRS, JSAR), pp. 98–103.
CIKM-2004-MegalooikonomouLW #analysis #database #performance #similarity: A dimensionality reduction technique for efficient similarity analysis of time series databases (VM, GL, QW), pp. 160–161.
ECIR-2004-XueS #categorisation: Eliminating High-Degree Biased Character Bigrams for Dimensionality Reduction in Chinese Text Categorization (XD, MS), pp. 197–208.
ICML-2004-HamLMS #kernel: A kernel view of the dimensionality reduction of manifolds (JH, DDL, SM, BS).
ICML-2004-JenkinsM: A spatio-temporal extension to Isomap nonlinear dimension reduction (OCJ, MJM).
ICML-2004-WeinbergerSS #kernel #learning #matrix: Learning a kernel matrix for nonlinear dimensionality reduction (KQW, FS, LKS).
ICPR-v1-2004-LebrunCC #using: SVM Training Time Reduction using Vector Quantization (GL, CC, HC), pp. 160–163.
ICPR-v3-2004-ParedesV #fault #learning #nearest neighbour #prototype: 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 #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: 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: Document Clustering with Adaptive Term Weighting and Feature Reduction Capabilities (TWF, BJF), pp. 142–147.
ASE-2004-HeimdahlG #modelling #quality #testing: Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.
ICSE-2004-BlackMK #modelling #testing: Bi-Criteria Models for All-Uses Test Suite Reduction (JB, EM, DRK), pp. 106–115.
DAC-2004-DeogunRSB #encoding: Leakage-and crosstalk-aware bus encoding for total power reduction (HD, RRR, DS, DB), pp. 779–782.
DAC-2004-HeLS: System level leakage reduction considering the interdependence of temperature and leakage (LH, WL, MRS), pp. 12–17.
DAC-2004-LiLH #configuration management #using: FPGA power reduction using configurable dual-Vdd (FL, YL, LH), pp. 735–740.
DAC-2004-SilveiraP #algorithm #network: Exploiting input information in a model reduction algorithm for massively coupled parasitic networks (LMS, JRP), pp. 385–388.
DAC-2004-WongBK #performance: Passivity-preserving model reduction via a computationally efficient project-and-balance scheme (NW, VB, CKK), pp. 369–374.
DATE-v1-2004-AndreiSEPA #energy: 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: 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: 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 #reuse #scheduling: Scheduling Reusable Instructions for Power Reduction (JSH, NV, SK, MTK, MJI), pp. 148–155.
DATE-v2-2004-ArslanO #architecture #named: CircularScan: A Scan Architecture for Test Cost Reduction (BA, AO), pp. 1290–1295.
DATE-v2-2004-Feldmann #linear #order #scalability: Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals (PF), pp. 944–947.
DATE-v2-2004-FengZCZF #analysis #order: Direct Nonlinear Order Reduction with Variational Analysis (LF, XZ, CC, DZ, QF), pp. 1316–1321.
DATE-v2-2004-JiangC04a: Realizable Reduction for Electromagnetically Coupled RLMC Interconnects (RJ, CCPC), pp. 1400–1401.
DATE-v2-2004-KumarBK #algorithm #analysis #array #embedded #memory management #named #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 #simulation: Hybrid Reduction Technique for Efficient Simulation of Linear/Nonlinear Mixed Circuits (TM, HK, AK, TW, HA), pp. 1327–1333.
DATE-v2-2004-PhillipsS: Poor Man’s TBR: A Simple Model Reduction Scheme (JRP, LMS), pp. 938–943.
DATE-2005-Hillman04 #power management #using: Using Mobilize Power Management IP for Dynamic & Static Power Reduction in SoC at 130 nm (DH), pp. 240–246.
ESOP-2004-HirschowitzLW #call-by #mixin #semantics: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types (TH, XL, JBW), pp. 64–78.
STOC-2004-ChenHKX #bound #linear: Linear FPT reductions and computational lower bounds (JC, XH, IAK, GX), pp. 212–221.
CAV-2004-GaoH #algorithm #parallel: A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.
CAV-2004-JiangB #dependence #functional #verification: Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.
SIGMOD-2003-ShenNSHS #database #image #named #novel #performance #scalability: CMVF: A Novel Dimension Reduction Scheme for Efficient Indexing in A Large Image Database (JS, AHHN, JS, DQH, QZS), p. 657.
DLT-2003-ChamparnaudC #algorithm #automaton #nondeterminism: NFA Reduction Algorithms by Means of Regular Inequalities (JMC, FC), pp. 194–205.
RTA-2003-ForestK: Expression Reduction Systems with Patterns (JF, DK), pp. 107–122.
RTA-2003-SinotFM #performance #string: Efficient Reductions with Director Strings (FRS, MF, IM), pp. 46–60.
AGTIVE-2003-BakewellPR #graph #pointer #specification: Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
CIKM-2003-OgrasF #approximate #using: Dimensionality reduction using magnitude and shape approximations (ÜYO, HF), pp. 99–107.
KDD-2003-BronnimannCDHS #performance: Efficient data reduction with EASE (HB, BC, MD, PJH, PS), pp. 59–68.
SEKE-2003-MenziesKF #automation #re-engineering #tool support: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
PLDI-2003-HsuK #algorithm #compilation #cpu #design #energy #evaluation #implementation: The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction (CHH, UK), pp. 38–48.
PPDP-2003-NadathurQ: Explicit substitutions in the reduction of λ terms (GN, XQ), pp. 195–206.
ASE-2003-ChoiH #abstraction #model checking #requirements #specification #using: Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
DAC-2003-BecerBAPOZH: Post-route gate sizing for crosstalk noise reduction (MRB, DB, IA, RP, CO, VZ, INH), pp. 954–957.
DAC-2003-DongR #polynomial: Piecewise polynomial nonlinear model reduction (ND, JSR), pp. 484–489.
DAC-2003-GadN #congruence #order #using: Model order reduction of nonuniform transmission lines using integrated congruence transform (EG, MSN), pp. 238–243.
DAC-2003-Givargis #embedded: Improved indexing for cache miss reduction in embedded systems (TG), pp. 875–880.
DAC-2003-HuaQB #energy #multi: Energy reduction techniques for multimedia applications with tolerance to deadline misses (SH, GQ, SSB), pp. 131–136.
DAC-2003-KaplanBK #communication #configuration management #estimation: Data communication estimation and reduction for reconfigurable systems (AK, PB, RK), pp. 616–621.
DAC-2003-LeeB: Static leakage reduction through simultaneous threshold voltage and state assignment (DL, DB), pp. 191–194.
DAC-2003-LiP #named #order: NORM: compact model order reduction of weakly nonlinear systems (PL, LTP), pp. 472–477.
DAC-2003-LongH #distributed #network: Distributed sleep transistor network for power reduction (CL, LH), pp. 181–186.
DAC-2003-MeiAI #order #performance: Efficient model order reduction including skin effect (SM, CSA, YII), pp. 232–237.
DAC-2003-QinC #using: Realizable parasitic reduction using generalized Y-Delta transformation (ZQ, CKC), pp. 220–225.
DAC-2003-SehgalIKC #multi #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: Power grid reduction based on algebraic multigrid principles (HS, EA, SRN), pp. 109–112.
DAC-2003-TsaiDVI #scalability: Implications of technology scaling on leakage reduction techniques (YFT, DD, NV, MJI), pp. 187–190.
DATE-2003-ChenKRZZ #generative: Area Fill Generation With Inherent Data Volume Reduction (YC, ABK, GR, AZ, YZ), pp. 10868–10875.
DATE-2003-MansourM: Model-Order Reduction Based on PRONY’s Method (MMM, AM), pp. 10530–10535.
DATE-2003-SmeySM: Crosstalk Reduction in Area Routing (RMS, BS, PHM), pp. 10862–10867.
HPCA-2003-LiBCVR: Deterministic Clock Gating for Microprocessor Power Reduction (HL, SB, YC, TNV, KR), pp. 113–122.
TACAS-2003-StollerC: Optimistic Synchronization-Based State-Space Reduction (SDS, EC), pp. 489–504.
ICLP-2003-GranvilliersM #composition #constraints #implementation: Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.
SAT-2003-BacchusW #effectiveness #preprocessor #similarity: Effective Preprocessing with Hyper-Resolution and Equality Reduction (FB, JW), pp. 341–355.
SAT-2003-Pretolani #problem #satisfiability: Hypergraph Reductions and Satisfiability Problems (DP), pp. 383–397.
VMCAI-2003-Sistla #model checking #symmetry: Symmetry Reductions in Model-Checking (APS), p. 25.
SIGMOD-2002-Aggarwal #estimation #framework #nearest neighbour: Hierarchical subspace sampling: a unified framework for high dimensional data reduction, selectivity estimation and nearest neighbor search (CCA), pp. 452–463.
ICSM-2002-KorelTV #analysis #dependence #modelling #testing #using: Model Based Regression Test Reduction Using Dependence Analysis (BK, LHT, BV), pp. 214–223.
ICSM-2002-LinH #approach #testing: A Table Reduction Approach for Software Structure Testing (JCL, LHH), pp. 414–421.
ICALP-2002-HearnD #constraints #logic #nondeterminism: The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications (RAH, EDD), pp. 401–413.
ICFP-2002-GregoireL #implementation: A compiled implementation of strong reduction (BG, XL), pp. 235–246.
IFL-2002-BoisLT #concurrent #graph #migration #parallel #thread: Thread Migration in a Parallel Graph Reducer (ARDB, HWL, PWT), pp. 199–214.
ECIR-2002-PetersK #categorisation: Uncertainty-Based Noise Reduction and Term Selection in Text Categorization (CMEEP, CHAK), pp. 248–267.
ICML-2002-GlobersonT #analysis #novel: Sufficient Dimensionality Reduction — A novel Analysis Method (AG, NT), pp. 203–210.
KDD-2002-VlachosDGKK #classification #visualisation: Non-linear dimensionality reduction techniques for classification and visualization (MV, CD, DG, GK, NK), pp. 645–651.
UML-2002-SteimannK #semantics #uml: A Radical Reduction of UML’s Core Semantics (FS, TK), pp. 34–48.
SAC-2002-AghbariKM #performance #video: Topological mapping: a dimensionality reduction method for efficient video search (ZA, KK, AM), pp. 470–475.
SAC-2002-Naharro-BerrocalPUV #visual notation #visualisation: Approaches to comprehension-preserving graphical reduction of program visualizations (FNB, CPF, JUF, JÁVI), pp. 771–777.
DAC-2002-AnisMEA #automation #clustering #performance #power management #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 #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 #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 #strict: Model order reduction for strictly passive and causal distributed systems (LD, JRP), pp. 46–51.
DAC-2002-IyengarCM #constraints #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: Energy exploration and reduction of SDRAM memory systems (YJ, YC, HS, HGL, KK, NC), pp. 892–897.
DAC-2002-KapurCS #estimation #novel #optimisation #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: Timing model extraction of hierarchical blocks by graph reduction (CWM, HK, KPB), pp. 152–157.
DAC-2002-PhillipsDS #order: Guaranteed passive balancing transformations for model order reduction (JRP, LD, LMS), pp. 52–57.
DAC-2002-SuBK #framework: A factorization-based framework for passivity-preserving model reduction of RLC systems (QS, VB, CKK), pp. 40–45.
DATE-2002-ChenBKR #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: Efficient Model Reduction of Linear Time-Varying Systems via Compressed Transient System Function (EG, MSN), pp. 916–922.
DATE-2002-GorenF #finite #heuristic #named #state machine: CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines (SG, FJF), pp. 248–254.
DATE-2002-HalambiSBDN #compilation #performance #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 #scalability: Dynamic VTH Scaling Scheme for Active Leakage Power Reduction (CHK, KR), pp. 163–167.
DATE-2002-SteinkeWLM #energy: Assigning Program and Data Objects to Scratchpad for Energy Reduction (SS, LW, BSL, PM), pp. 409–415.
PDP-2002-GutierrezPZ #clustering #on the #parallel #performance: On Improving the Performance of Data Partitioning Oriented Parallel Irregular Reductions (EG, OGP, ELZ), p. 445–?.
FASE-2002-XieB #design #execution #model checking #object-oriented: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.
CAV-2002-BarnerG #approximate #model checking #symmetry: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
CAV-2002-BarnerGG #backtracking #locality #re-engineering: Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
CAV-2002-BlomP #confluence #proving: State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
ICLP-2002-FerrandL #approximate #finite #logic programming: A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ISSTA-2002-VaysburgTK #analysis #dependence #testing: Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.
VMCAI-2002-TronconBJC #array: Storage Size Reduction by In-place Mapping of Arrays (RT, MB, GJ, FC), pp. 167–181.
ICDAR-2001-IshideraS #recognition: A Candidate Reduction Method for Handwritten Kanji Character Recognition (EI, AS), pp. 8–13.
ICDAR-2001-YeCS #classification #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 #similarity: On the Effects of Dimensionality Reduction on High Dimensional Similarity Search (CCA).
ICSM-2001-JonesH #testing: Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage (JAJ, MJH), p. 92–?.
ICALP-2001-EtessamiWS #automaton #game studies #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: The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.
FME-2001-BosnackiDH #heuristic #symmetry: A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
RTA-2001-BodirskyEKN #constraints: β Reduction Constraints (MB, KE, AK, JN), pp. 31–46.
TLCA-2001-DoughertyL: Reductions, Intersection Types, and Explicit Substitutions (DJD, PL), pp. 121–135.
ICEIS-v1-2001-RodriguesH: Data Reduction to Improve Knowledge Extraction (MdFR, PRH), pp. 445–451.
ICML-2001-RoyM #estimation #fault #learning #towards: Toward Optimal Active Learning through Sampling Estimation of Error Reduction (NR, AM), pp. 441–448.
KDD-2001-BinghamM #image #random: Random projection in dimensionality reduction: applications to image and text data (EB, HM), pp. 245–250.
AdaEurope-2001-ChenL #detection #effectiveness #empirical #evaluation #fault #testing: Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation (TYC, MFL), pp. 253–265.
RE-2001-Feather #detection #fault #using: Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications (MSF), p. 288.
ASE-2001-BastenB #clustering #partial order #process: Enhancing Partial-Order Reduction via Process Clustering (TB, DB), pp. 245–253.
DAC-2001-BayraktarogluO: Test Volume and Application Time Reduction Through Scan Chain Concealment (IB, AO), pp. 151–155.
PDP-2001-AllmannRR #distributed #memory management: Cyclic Reduction on Distributed Shared Memory Machines (SA, TR, GR), pp. 290–297.
IJCAR-2001-Pientka #higher-order #logic programming #source code #termination: Termination and Reduction Checking for Higher-Order Logic Programs (BP), pp. 401–415.
VLDB-2000-ChakrabartiM #approach: Local Dimensionality Reduction: A New Approach to Indexing High Dimensional Spaces (KC, SM), pp. 89–100.
RTA-2000-DoughertyG #normalisation: Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
CIKM-2000-EgeciogluF #approximate #similarity: Dimensionality Reduction and Similarity Computation by Inner Product Approximations (ÖE, HF), pp. 219–226.
CIKM-2000-HanK #algorithm #categorisation #documentation #performance #retrieval: Fast Supervised Dimensionality Reduction Algorithm with Applications to Document Categorization & Retrieval (EHH, GK), pp. 12–19.
ICML-2000-CampbellTB #network #polynomial: Dimension Reduction Techniques for Training Polynomial Networks (WMC, KT, SVB), pp. 119–126.
ICML-2000-LaneB #interface #learning: Data Reduction Techniques for Instance-Based Learning from Human/Computer Interface Data (TL, CEB), pp. 519–526.
ICML-2000-NiyogiK #approach #clustering: An Approach to Data Reduction and Clustering with Theoretical Guarantees (PN, NK), pp. 679–686.
ICPR-v2-2000-SunOKAKT #algorithm #approximate #distance: 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 of Bias in Maximum Likelihood Ellipse Fitting (BM, PM), pp. 3802–3806.
ICPR-v3-2000-Papamarkos #network #using: Using Local Features in a Neural Network Based Gray-Level Reduction Technique (NP), pp. 7037–7040.
KR-2000-Massacci #first-order: Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.
PEPM-2000-Taha #formal method #ml #multi #semantics: A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (WT), pp. 34–43.
PPDP-2000-PediciniQ #implementation #parallel #λ-calculus: A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.
DAC-2000-GadDNA #distributed #multi #order: Passive model order reduction of multiport distributed interconnects (EG, AD, MSN, RA), pp. 526–531.
DAC-2000-Phillips #framework: Projection frameworks for model reduction of weakly nonlinear systems (JRP), pp. 184–189.
DAC-2000-TsaiK #performance #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: 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: Cost Reduction and Evaluation of a Temporary Faults Detecting Technique (LA, MN), pp. 591–598.
DATE-2000-HiroseY: A Bus Delay Reduction Technique Considering Crosstalk (KH, HY), pp. 441–445.
DATE-2000-IshiharaY #embedded: A Power Reduction Technique with Object Code Merging for Application Specific Embedded Processors (TI, HY), pp. 617–623.
DATE-2000-KumthekarS #logic #optimisation: Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs (BK, FS), pp. 202–207.
TACAS-2000-ClarkeJM #partial order #protocol #security #verification: Partial Order Reductions for Security Protocol Verification (EMC, SJ, WRM), pp. 503–518.
TACAS-2000-KrimmM #communication #composition #generative #partial order: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.
ISSTA-2000-SchroederK #analysis #black box #using: Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
LICS-2000-EmersonHT #symmetry: Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
ICDAR-1999-BippusM #2d #recognition #using: Script Recognition using Inhomogeneous P2DHMM and Hierarchical Search Space Reduction (RDB, VM), pp. 773–776.
HCI-CCAD-1999-NumanoMTMNFM #fault: 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: 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: Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (WS, MEO), pp. 195–209.
PLDI-1999-SchlanskerMJ #architecture #branch #optimisation: Control CPR: A Branch Height Reduction Optimization for EPIC Architectures (MSS, SAM, RJ), pp. 155–168.
SAS-1999-BozgaFG #analysis: State Space Reduction Based on Live Variables Analysis (MB, JCF, LG), pp. 164–178.
DAC-1999-DaemsGS #analysis #complexity: Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits (WD, GGEG, WMCS), pp. 958–963.
DAC-1999-HashimotoOT #design #power management: A Practical Gate Resizing Technique Considering Glitch Reduction for Low Power Design (MH, HO, KT), pp. 446–451.
DAC-1999-Sheehan #equation #named #order #performance #using: ENOR: Model Order Reduction of RLC Circuits Using Nodal Equations for Efficient Factorization (BNS), pp. 17–21.
DATE-1999-Sheehan #using: Projective Convolution: RLC Model-Order Reduction Using the Impulse Response (BNS), p. 669–?.
DATE-1999-WuGR #approach #fault #performance: A Fault List Reduction Approach for Efficient Bridge Fault Diagnosis (JW, GSG, EMR), pp. 780–781.
CSL-1999-FernandezM #λ-calculus: Closed Reductions in the λ-Calculus (MF, IM), pp. 220–234.
CSL-1999-LautemannW #quantifier: MonadicNLIN and Quantifier-Free Reductions (CL, BW), pp. 322–337.
ECDL-1998-OhtaTA #fuzzy #retrieval: Reduction of Expanded Search Terms for Fuzzy English-Text Retrieval (MO, AT, JA), pp. 619–633.
SIGMOD-1998-KanthAS #database #similarity: Dimensionality Reduction for Similarity Searching in Dynamic Databases (KVRK, DA, AKS), pp. 166–176.
ICALP-1998-Walukiewicz98a #higher-order: A Total AC-Compatible Reduction Ordering on Higher-Order Terms (DW), pp. 530–542.
RTA-1998-Ohlebusch #equivalence #theorem: Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation (EO), pp. 17–31.
RTA-1998-VermaRL #algorithm #problem: Algorithms and Reductions for Rewriting Problems (RMV, MR, DL), pp. 166–180.
ICPR-1998-Aladjem #classification #ml #network #recursion: Training of a ML neural network for classification via recursive reduction of the class separation (MA), pp. 450–452.
KDD-1998-WangDB: Data Reduction Based on Hyper Relations (HW, ID, DAB), pp. 349–353.
TOOLS-USA-1998-MaY #diagrams: Practical Rules for Reduction on the Number of States of a State Diagram (JM, SY), p. 46–?.
ALP-PLILP-1998-Asperti #functional: Optimal Reduction of Functional Expressions (AA), pp. 427–428.
POPL-1998-AspertiM #parallel #recursion: Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.
SAC-1998-DuruDA #fuzzy #logic #speech: Fuzzy logic based noise reduction of digitally recorded speech signal (ND, TD, NA), pp. 287–291.
CC-1998-KennedyCDLLS: Strength Reduction via SSAPRE (RK, FCC, PD, SML, RL, MS), pp. 144–158.
DATE-1998-MarquesKWS #3d #algorithm #modelling #order #performance: 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 #scheduling: Instruction Scheduling for Power Reduction in Processor-Based System Design (HT, TI, AI, HY), pp. 855–860.
DATE-1998-WangK: A Performance-Driven MCM Router with Special Consideration of Crosstalk Reduction (DW, ESK), pp. 466–470.
STOC-1998-Ajtai #np-hard #problem #random: The Shortest Vector Problem in L2 is NP-hard for Randomized Reductions (MA), pp. 10–19.
TACAS-1998-KurshanLMPY #partial order: Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.
CADE-1998-Pagano #calculus #first-order #higher-order: X.R.S : Explicit Reduction Systems — A First-Order Calculus for Higher-Order Calculi (BP), pp. 72–87.
CAV-1998-AbdullaJKP #approach #partial order #verification: A General Approach to Partial Order Reductions in Symbolic Verification (PAA, BJ, MK, DP), pp. 379–390.
CAV-1998-ClarkeEJS #model checking #symmetry: Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.
CAV-1998-Peled #partial order: Ten Years of Partial Order Reduction (DP), pp. 17–28.
ICDAR-1997-KaufmannBH: Lexicon Reduction in an HMM-Framework Based on Quantized Feature Vectors (GK, HB, MH), pp. 1097–1101.
ICALP-1997-Dami #fault #runtime: Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
ICALP-1997-KhasidashviliG #geometry #orthogonal: The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.
FME-1997-SilvaSB #clustering #hardware #normalisation: A Normal Form Reduction Strategy for Hardware/Software Partitioning (LS, AS, EB), pp. 624–643.
RTA-1997-Statman #combinator #effectiveness: Effective Reduction and Conversion Strategies for Combinators (RS), pp. 299–307.
TLCA-1997-Herbelin #game studies: Games and Weak-Head Reduction for Classical PCF (HH), pp. 214–230.
ICFP-1997-LawallM #graph #on the: On Global Dynamics of Optimal Graph Reduction (JLL, HGM), pp. 188–195.
HCI-CC-1997-ShafferC #identification #question #why: Identifying Areas for Workload Reduction Through System Changes: Why Bother? (MTS, HKC), pp. 497–500.
KDD-1997-StoughB #image #multi: Image Feature Reduction through Spoiling: Its Application to Multiple Matched Filters for Focus of Attention (TMS, CEB), pp. 255–258.
ALP-1997-Lucas: Needed Reductions with Context-Sensitive Rewriting (SL), pp. 129–143.
ESEC-FSE-1997-HeimdahlW #slicing #state machine: Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
DAC-1997-KernsY #congruence #network: Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations (KJK, ATY), pp. 34–39.
PDP-1997-WatsonD: Generalised reduction operations for HPF (DCBW, LMD), pp. 72–77.
STOC-1997-AgrawalAIPR #complexity: Reducing the Complexity of Reductions (MA, EA, RI, TP, SR), pp. 730–738.
TACAS-1997-EmersonJP #partial order #symmetry: Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
CAV-1997-AlurBHQR #partial order: Partial-Order Reduction in Symbolic State Space Exploration (RA, RKB, TAH, SQ, SKR), pp. 340–351.
CAV-1997-KokkarinenPV #partial order: Relaxed Visibility Enhances Partial Order Reduction (IK, DP, AV), pp. 328–339.
CSL-1997-KupfermanKY: Existence of Reduction Hierarchies (OK, RPK, MY), pp. 327–340.
LICS-1997-Baader #order: Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.
LICS-1997-Janin #automaton #calculus #fixpoint #theorem: Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices (DJ), pp. 172–182.
RTA-1996-BlooR #combinator: Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.
IFL-1996-LoidlH #communication #effectiveness #graph #parallel: Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer (HWL, KH), pp. 184–199.
ICPR-1996-MinCL #documentation #estimation #performance: A data reduction method for efficient document skew estimation based on Hough transformation (YM, SBC, YL), pp. 732–736.
SEKE-1996-Debenham: Reduction of a Knowledge Model (JKD), pp. 45–50.
LOPSTR-1996-FribourgO #logic programming #petri net #source code: Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.
PLILP-1996-BenaissaLR #modelling #recursion #using: Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.
DAC-1996-ChenPL: Desensitization for Power Reduction in Sequential Circuits (XC, PP, CLL), pp. 795–800.
DAC-1996-HiguchiM #algorithm #finite #performance #state machine: A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines (HH, YM), pp. 463–466.
DAC-1996-IpD #using: State Reduction Using Reversible Rules (CNI, DLD), pp. 564–567.
DAC-1996-KernsY #analysis #congruence #multi #network #performance #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: Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms (JRP, EC, DDL), pp. 377–382.
DAC-1996-RaghunathanDJ #analysis: Glitch Analysis and Reduction in Register Transfer Level (AR, SD, NKJ), pp. 331–336.
PDP-1996-WaiteRI #architecture #graph #parallel: Parallel Graph Reduction with the PACE Architecture (MEW, TJR, FZI), pp. 448–454.
TACAS-1996-ChouP #model checking #partial order #verification: Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.
TACAS-1996-Rauzy #analysis #constraints #specification #using: Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (AR), p. 417.
CAV-1996-Gribomont #refinement #theorem: Atomicity Refinement and Trace Reduction Theorems (EPG), pp. 311–322.
CSL-1996-BartheM #algebra #on the #type system: On the Subject Reduction Property for Algebraic Type Systems (GB, PAM), pp. 34–57.
CSL-1996-DanosPR: Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
ICDAR-v1-1995-BauerW #automation #parametricity #personalisation #verification: Parameter reduction and personalized parameter selection for automatic signature verification (FB, BW), pp. 183–186.
RTA-1995-Kuper #proving: Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.
RTA-1995-KuriharaKO #multi #order: Completion for Multiple Reduction Orderings (MK, HK, AO), pp. 71–85.
RTA-1995-Paccanaro #network: Guiding Term Reduction Through a Neural Network: Some Prelimanary Results for the Group Theory (AP), pp. 444–449.
SIGIR-1995-Yang #approach #categorisation #statistics: Noise Reduction in a Statistical Approach to Text Categorization (YY), pp. 256–263.
PLDI-1995-RauchwergerP #parallel #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 #using: Abstract Reduction Using a Tableau Calculus (MSS, SEP, MS), pp. 348–365.
PDP-1995-BangC #distributed #graph #memory management: Distributed shared memory for function-grained graph reduction machine (DWB, YKC), pp. 148–155.
ICLP-1995-ToniK #abduction #logic programming #source code: Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
LICS-1995-KfouryW #normalisation #proving #semantics #λ-calculus: New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
SEKE-1994-GuoSRD #database #optimisation #query #semantics: Semantic query optimization by class reference reduction in object- oriented databases (SG, WS, NR, YD), pp. 306–313.
ALP-1994-AntoyM: A Sequential Reduction Strategy (SA, AM), pp. 168–185.
PLDI-1994-FisherG: Parallelizing Complex Scans and Reductions (ALF, AMG), pp. 135–146.
PLILP-1994-MaraistS #functional #graph: A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.
SAC-1994-KumarH #concept #fuzzy #logic #using: Reduction of communications in a MasPar computer using fuzzy logic concepts (AGK, JH), pp. 351–356.
DAC-1994-NagumoNNMM #fault #named #using: VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
EDAC-1994-AjuhaM: Delay Reduction by Segment Substitution (HA, PRM), pp. 82–86.
HPDC-1994-HuangM #design #implementation #network: Design and Implementation of Global Reduction Operations Across ATM Networks (CH, PKM), pp. 43–50.
ESOP-1994-Fradet #compilation: Compilation of Head and Strong Reduction (PF), pp. 211–224.
CAV-1994-Peled #model checking #on the fly #partial order: Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
CAV-1994-SimoneR #composition #semantics #verification: Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
LICS-1994-Jeffrey #concurrent #graph #semantics: A Fully Abstract Semantics for Concurrent Graph Reduction (AJ), pp. 82–91.
ICALP-1993-Contejean: A Partial Solution for D-Unification Based on a Reduction to AC1-Unification (EC), pp. 621–632.
ICALP-1993-CosmoK #confluence #recursion #λ-calculus: A Confluent Reduction for the Extensional Typed λ-Calculus with Pairs, Sums, Recursion and terminal Object (RDC, DK), pp. 645–656.
RTA-1993-Field #approach #graph #incremental #term rewriting: A Graph Reduction Approach to Incremental Term Rewriting (JF), pp. 259–273.
TLCA-1993-Akama #calculus #on the: On Mints’ Reduction for ccc-Calculus (YA), pp. 1–12.
TLCA-1993-BarbaneraB #logic: Extracting Constructive Content from Classical Logic via Control-like Reductions (FB, SB), pp. 45–59.
TLCA-1993-Springintveld #bound: Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.
FPCA-1993-FinneB #evaluation: Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine (SF, GLB), pp. 331–340.
FPCA-1993-Nocker #analysis #strict #using: Strictness Analysis using Abstract Reduction (EN), pp. 255–265.
FPCA-1993-Yoshida #λ-calculus: Optimal Reduction in Weak-λ-calculus with Shared Environments (NY), pp. 243–254.
WSA-1993-WrightB #analysis: Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.
SAC-1993-KelleherLD #equation #on the #parallel #performance: On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.
DAC-1993-PanDL #constraints #graph #layout: Optimal Graph Constraint Reduction for Symbolic Layout Compaction (PP, SkD, CLL), pp. 401–406.
PDP-1993-BennaniDLT #comparison #evaluation #functional #graph #parallel: A comparison between the graph reduction model and an original parallel evaluation scheme for functional languages (NB, ND, MPL, BT), pp. 124–130.
STOC-1993-AllenderJ #commutative: Depth reduction for noncommutative arithmetic circuits (EA, JJ), pp. 515–522.
TAPSOFT-1993-AspertiL #interactive: Optimal Reductions in Interaction Systems (AA, CL), pp. 485–500.
ISSTA-1993-DuriBDS #ada #analysis #concurrent #using: Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
ICALP-1992-ArvindHHKLMOSST #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: The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.
IWMM-1992-Rojemo #concurrent #garbage collection #graph #parallel: A Concurrent Generational Garbage Collector for a Parallel Graph Reducer (NR), pp. 440–453.
IWMM-1992-Seward #garbage collection #graph #lazy evaluation: Generational Garbage Collection for Lazy Graph Reduction (JS), pp. 200–217.
CADE-1992-NipkowQ #type system #unification #λ-calculus: Reduction and Unification in Lambda Calculi with Subtypes (TN, ZQ), pp. 66–78.
CAV-1992-ShipleCSB #automation #composition #model checking: Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.
ICALP-1991-CurienC #λ-calculus: A Concluent Reduction for the λ-Calculus with Surjective Pairing and Terminal Object (PLC, RDC), pp. 291–302.
RTA-1991-KennawayKSV #orthogonal #term rewriting: Transfinite Reductions in Orthogonal Term Rewriting Systems (RK, JWK, MRS, FJdV), pp. 1–12.
PLILP-1991-LangendoenV #memory management #named #parallel: FRATS: A Parallel Reduction Strategy for Shared Memory (KL, WGV), pp. 99–110.
DAC-1991-LinPHL: Channel Density Reduction by Routing Over The Cells (MSL, HWP, CYH, YLL), pp. 120–125.
DAC-1991-NicolauP #incremental #synthesis: Incremental Tree Height Reduction for High Level Synthesis (AN, RP), pp. 770–774.
CCPSD-1991-Burn #correctness #evaluation: The Evaluation Transformer Model of Reduction and Its Correctness (GLB), pp. 458–482.
CCPSD-1991-Loogen: From Reduction Machines To Narrowing Machines (RL), pp. 438–457.
CCPSD-1991-SteffenKR #adaptation #performance: Efficient Code Motion and an Adaption to Strength Reduction (BS, JK, OR), pp. 394–415.
LFP-1990-FieldT #incremental #λ-calculus: Incremental Reduction in the λ Calculus (JF, TT), pp. 307–322.
GG-1990-ArnborgCPS #algebra #graph: An Algebraic Theory of Graph Reduction (SA, BC, AP, DS), pp. 70–83.
POPL-1990-Lamping #algorithm #λ-calculus: An Algorithm for Optimal λ Calculus Reduction (JL), pp. 16–30.
CADE-1990-Peterson #constraints #set: Complete Sets of Reductions with Constraints (GEP), pp. 381–395.
CSL-1990-BlassG #complexity #on the: On the Reduction Theory for Average Case Complexity (AB, YG), pp. 17–30.
VLDB-1989-NaughtonRSU: Argument Reduction by Factoring (JFN, RR, YS, JDU), pp. 173–182.
RTA-1989-BairdPW #commutative #set: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity (TBB, GEP, RWW), pp. 29–44.
FPCA-1989-AugustssonJ #graph #parallel: Parallel Graph Reduction with the -Machine (LA, TJ), pp. 202–213.
FPCA-1989-George #automaton #graph #parallel: An Abstract Machine for Parallel Graph Reduction (LG), pp. 214–229.
ML-1989-Riddle: Reformation from State Space to Reduction Space (PJR), pp. 439–440.
PLDI-1989-KoopmanL #combinator #fresh look #graph: A Fresh Look at Combinator Graph Reduction (PJKJ, PL), pp. 110–119.
CSL-1989-CantoneCP #problem: Set-Theoretic Reductions of Hilbert’s Tenth Problem (DC, VC, AP), pp. 65–75.
NACLP-1989-JamsekGCH #named: WINTER: WAMS in Tim Expression Reduction (DJ, KJG, SKC, PRH), pp. 1013–1029.
ICALP-1988-Simon #on the #transitive: On Minimum Flow and Transitive Reduction (KS), pp. 535–546.
ICALP-1988-TangB #polynomial #set: Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets (ST, RVB), pp. 591–599.
LFP-1988-Goldberg #graph #multi #named: Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor (BG), pp. 40–51.
LFP-1988-Norman #combinator #hardware #performance #using: Faster Combinator Reduction Using stock Hardware (ACN), pp. 235–243.
ML-1988-RajamoneyD #approach #multi #problem: Active Explanation Reduction: An Approach to the Multiple Explanations Problem (SAR, GD), pp. 242–255.
ML-1988-Wu #named: Reduction: A Practical Mechanism of Searching for Regularity in Data (YHW), pp. 374–380.
RTA-1987-Padawitz: Strategy-Controlled Reduction and Narrowing (PP), pp. 242–255.
FPCA-1987-JonesCSH #architecture #graph #named #parallel: GRIP — A high-performance architecture for parallel graph reduction (SLPJ, CDC, JS, MH), pp. 98–112.
CSL-1987-BohmP #combinator #finite #set: Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.
ICALP-1986-Lange #nondeterminism: Decompositions of Nondeterministic Reductions (KJL), pp. 206–214.
ICALP-1986-Regan #theorem: A Uniform Reduction Theorem — Extending a Result of J. Grollmann and A. Selman (KWR), pp. 324–333.
ICALP-1986-Schnorr #algorithm #performance: A More Efficient Algorithm for Lattice Basis Reduction (CPS), pp. 359–369.
LFP-1986-ClackJ: The Four-Stroke Reduction Engine (CDC, SLPJ), pp. 220–232.
LFP-1986-JayaramanS #equation #functional #logic programming #semantics #set: Equations, Sets, and Reduction Semantics for Functional and Logic Programming (BJ, FSKS), pp. 320–331.
LFP-1986-LemaitreCDDL #combinator #multi #performance: Mechanisms for Efficient Multiprocessor Combinator Reduction (ML, MC, MHD, GD, BL), pp. 113–121.
LFP-1986-Mitchell #approach #polymorphism #semantics: A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (JCM), pp. 308–319.
LFP-1986-Scheevel #graph #named: NORMA: A Graph Reduction Processor (MS), pp. 212–219.
DAC-1986-PincusD #using: Delay reduction using simulated annealing (JDP, AMD), pp. 690–695.
ESOP-1986-Bellot #combinator #functional #named #programming: GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.
ESOP-1986-HankinBJ #approach #combinator #parallel: A Safe Approach to Parallel Combinator Reduction (CH, GLB, SLPJ), pp. 99–110.
ESOP-1986-Jouvelot #detection #parallel #semantics: Parallelization by Semantic Detection of Reductions (PJ), pp. 223–236.
ESOP-1986-Sondergaard #abstract interpretation #logic programming #source code: An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.
LICS-1986-Robinson #functional #programming #relational: Merging Functional with Relational Programming in a Reduction Setting (JAR), p. 2.
FPCA-1985-HankinOS85 #architecture #combinator #named: COBWEB — A Combinator Reduction Architecture (CH, PO, MJS), pp. 99–112.
ICALP-1984-Schonhage #algorithm #integer: Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm (AS), pp. 436–447.
LFP-1984-HudakG #combinator: Experiments in Diffused Combinator Reduction (PH, BG), pp. 167–176.
LFP-1984-StoyeCN #agile #combinator: Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.
POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #source code: Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
PODS-1983-GoodmanST83a #canonical: GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections (NG, OS, YCT), pp. 267–278.
PODS-1983-MunroP #robust: A Discipline for Robustness or Storage Reduction in Binary Search Trees (JIM, PVP), pp. 70–75.
DAC-1983-HuK #array #logic #programmable: Optimum reduction of programmable logic array (TCH, YSK), pp. 553–558.
DAC-1983-Martinez-CarballidoP #named: PRONTO: Quick PLA product reduction (JMC, VMP), pp. 545–552.
STOC-1983-Gabow #network #performance #problem: An Efficient Reduction Technique for Degree-Constrained Subgraph and Bidirected Network Flow Problems (HNG), pp. 448–456.
GG-1982-Wankmuller #graph: Characterization of graph classes by forbidden structures and reductions (FW), pp. 405–414.
STOC-1982-Kaltofen #multi #polynomial: A Polynomial Reduction from Multivariate to Bivariate Integral Polynomial Factorization (EK), pp. 261–266.
CADE-1982-Caferra #matrix #proving #validation: Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.
PS-1981-HughesP #specification: A Reduction Specification for DTL (JWH, MSP), pp. 255–267.
LISP-1980-ClarkeGMN #named: SKIM — The S, K, I Reduction Machine (TJWC, PG, CM, ACN), pp. 128–135.
ICALP-1979-KowalkV #on the #parallel #source code: On Reductions of Parallel Programs (WK, RV), pp. 356–369.
GG-1978-RosendahlM #analysis #source code: Analysis of Programs by Reduction of Their Structure (MR, KPM), pp. 409–417.
GG-1978-Staples #λ-calculus: A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.
DAC-1978-Huey #graph #problem #using: Guiding sensitization searches using problem reduction graphs (BH), pp. 312–320.
ICALP-1977-AusielloDP #combinator #on the #problem: On the Structure of Combinatorial Problems and Structure Preserving Reductions (GA, AD, MP), pp. 45–60.
POPL-1977-PaigeS: Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.
POPL-1977-Soisalon-Soininen #lr #parsing #using: 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: On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.
POPL-1975-Lipton #named #process #proving: Reduction: A New Method of Proving Properties of Systems of Processes (RJL), pp. 78–86.
ICALP-1974-CourcelleKV #equation #equivalence #french #recursion: Algorithmes d’equivalence et de reduction a des expressions minimales dans une classe d’equations recursives simples (BC, GK, JV), pp. 200–213.
DAC-1970-Sr #analysis #clustering #graph #logic: Partitioning of logic graphs: A theoretical analysis of pin reduction (RBHS), pp. 54–63.