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