BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
reduction
Google reduction

Tag #reduction

888 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.