Stem redund$ (all stems)

227 papers:

CASE-2015-ButtersGS #detection #network

Detecting and reducing redundancy in alarm networks (TDB, SG, JLS), pp. 1224–1229.

CASE-2015-LiuY #modelling #predict #self

A self-organizing method for predictive modeling with highly-redundant variables (GL, HY), pp. 1084–1089.

DATE-2015-ChungSS #identification

Identifying redundant inter-cell margins and its application to reducing routing congestion (WC, SS, YS), pp. 1659–1664.

DATE-2015-LoCH #architecture #clustering #fault

Architecture of ring-based redundant TSV for clustered faults (WHL, KC, TH), pp. 848–853.

OOPSLA-2015-HagueLO #approach #css #detection #html

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.

ESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem #process

A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.

ICSE-v1-2015-CarzanigaMP

Measuring Software Redundancy (AC, AM, MP), pp. 156–166.

RTA-2015-NageleFM #analysis #automation #confluence #term rewriting

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.

DAC-2014-TsaiCYYHCCC #energy #using

Leveraging Data Lifetime for Energy-Aware Last Level Non-Volatile SRAM Caches using Redundant Store Elimination (HJT, CCC, KHY, TCY, LYH, CHC, MFC, TFC), p. 6.

DATE-2014-AyariABCKR #predict

New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.

DATE-2014-BurlyaevFG

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.

DATE-2014-LiuSXL #injection #programmable #thread

Programmable decoder and shadow threads: Tolerate remote code injection exploits with diversified redundancy (ZL, WS, SX, ZL), pp. 1–6.

KR-2014-DuckhamLLL #constraints #on the

On Redundant Topological Constraints (MD, SL, WL, ZL).

RecSys-2014-VargasBKC #recommendation

Coverage, redundancy and size-awareness in genre diversity for recommender systems (SV, LB, AK, PC), pp. 209–216.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

MoDELS-2014-MaraeeB #diagrams #uml

Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.

SAC-2014-NabeezathP #algorithm #detection #performance

Global value numbering for redundancy detection: a simple and efficient algorithm (SN, VP), pp. 1609–1611.

ICSE-2014-CarzanigaGGMP

Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.

HPDC-2014-MaratheHLSRS #effectiveness #execution

Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.

HPDC-2014-XiaHD #memory management #named

ConCORD: easily exploiting memory content redundancy through the content-aware service command (LX, KCH, PAD), pp. 25–36.

CASE-2013-NaikMRHB

An example of computing the failure-tolerant workspace area for a planar kinematically redundant robot (PSN, AAM, RGR, RCH, KMBG), pp. 306–311.

DATE-2013-ShreejithVFL #approach #configuration management #network #using

An approach for redundancy in FlexRay networks using FPGA partial reconfiguration (SS, KV, SAF, ML), pp. 721–724.

CHI-2013-WisemanCBGO #detection #fault #using

Using redundancy to detect human error (SW, ALC, DPB, SG, SO), pp. 2403–2406.

KDD-2013-WangCF #clique

Redundancy-aware maximal cliques (JW, JC, AWCF), pp. 122–130.

ECOOP-2013-FlanaganF #detection #named

RedCard: Redundant Check Elimination for Dynamic Race Detectors (CF, SNF), pp. 255–280.

SAC-2013-Fournier-VigerT #mining #named

TNS: mining top-k non-redundant sequential rules (PFV, VST), pp. 164–166.

SAC-2013-PlegasS #information management

Reducing information redundancy in search results (YP, SS), pp. 886–893.

PODS-2012-Tao #2d #constant

Indexability of 2D range search revisited: constant redundancy and weak indivisibility (YT), pp. 131–142.

CIKM-2012-GaoCK #graph #keyword #scalability

Information-complete and redundancy-free keyword search over large data graphs (BJG, ZC, QK), pp. 2639–2642.

SAC-2012-LangohrT #mining

A model for mining relevant and non-redundant information (LL, HT), pp. 132–137.

ICST-2012-JustKS #analysis #effectiveness #mutation testing #performance #question

Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? (RJ, GMK, FS), pp. 720–725.

DAC-2011-KimG #reliability

Leakage-aware redundancy for reliable sub-threshold memories (SK, MRG), pp. 435–440.

DAC-2011-Li #memory management

Rethinking memory redundancy: optimal bit cell repair for maximum-information storage (XL0), pp. 316–321.

DATE-2011-MeyerGCLS #cost analysis #execution #safety #using

Reducing the cost of redundant execution in safety-critical systems using relaxed dedication (BHM, NJG, BHC, JL, KS), pp. 1249–1254.

DATE-2011-PalframanKL #detection #fault #low cost

Time redundant parity for low-cost transient error detection (DJP, NSK, MHL), pp. 52–57.

DATE-2011-StranoGLFGB #architecture #scalability #self

Exploiting Network-on-Chip structural redundancy for a cooperative and scalable built-in self-test architecture (AS, CGR, DL, MF, MEG, DB), pp. 661–666.

DLT-2011-BadkobehCC #string

Hunting Redundancies in Strings (GB, SC, MC), pp. 1–14.

CIKM-2011-BerlingerioCG #community #multi #network

Finding redundant and complementary communities in multidimensional networks (MB, MC, FG), pp. 2181–2184.

ECIR-2011-Gatterbauer #information management #scalability

Rules of Thumb for Information Acquisition from Large and Redundant Data (WG), pp. 479–490.

SEKE-2011-FarahatE #fault #performance

Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.

HPCA-2011-TsengT #thread

Data-triggered threads: Eliminating redundant computation (HWT, DMT), pp. 181–192.

CASE-2010-ParkM #evaluation #performance

Performance evaluation of deterministic flow lines: Redundant modules and application to semiconductor manufacturing equipment (KP, JRM), pp. 45–50.

DATE-2010-HsiehHCTTL #3d #architecture #design

TSV redundancy: Architecture and design issues in 3D IC (ACH, TH, MTC, MHT, CMT, HCL), pp. 166–171.

DATE-2010-Mirza-AghatabarBG #algorithm #pipes and filters

Algorithms to maximize yield and enhance yield/area of pipeline circuitry by insertion of switches and redundant modules (MMA, MAB, SKG), pp. 1249–1254.

DATE-2010-SubramanyanSSL #execution #fault tolerance #multi #performance

Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors (PS, VS, KKS, EL), pp. 1572–1577.

DATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using

Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.

SIGMOD-2010-ChenKWS

Leveraging spatio-temporal redundancy for RFID data cleansing (HC, WSK, HW, MTS), pp. 51–62.

VLDB-2010-GulhaneRST #information management #web

Exploiting Content Redundancy for Web Information Extraction (PG, RR, SHS, AT), pp. 578–587.

ICSM-2010-GergelyBGG #case study #experience #industrial #metric

Effect of test completeness and redundancy measurement on post release failures — An industrial experience report (TG, ÁB, TG, MIG), pp. 1–10.

EDOC-2010-Gronmo #aspect-oriented #graph transformation #question

Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.

ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #semantics

NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.

CIKM-2010-GargNB #algorithm #memory management #performance #realtime

Real-time memory efficient data redundancy removal algorithm (VKG, AN, SB), pp. 1259–1268.

ICML-2010-NiuDJ #clustering #multi

Multiple Non-Redundant Spectral Clustering Views (DN, JGD, MIJ), pp. 831–838.

SIGIR-2010-FernandezPLB #approach #clustering

Where to start filtering redundancy?: a cluster-based approach (RTF, JP, DEL, AB), pp. 735–736.

SAC-2010-KimHJEY #framework #pipes and filters

Harnessing input redundancy in a MapReduce framework (SGK, HH, HJ, HE, HYY), pp. 362–366.

SAC-2010-ZhangGCQC #case study #effectiveness #reduction #testing

A study of relative redundancy in test-suite reduction while retaining or improving fault-localization effectiveness (XZ, QG, XC, JQ, DC), pp. 2229–2236.

SPLC-2010-StrickerMP #testing

Avoiding Redundant Testing in Application Engineering (VS, AM, KP), pp. 226–240.

ASE-2009-KawrykowR #api #automation #detection

Improving API Usage through Automatic Detection of Redundant Code (DK, MPR), pp. 111–122.

CASE-2009-BorgstromJBSK

Field-tests of a redundantly actuated cable-driven robot for environmental sampling applications (PHB, BLJ, MAB, GSS, WJK), pp. 615–620.

DAC-2009-YuanLP

Double patterning lithography friendly detailed routing with redundant via consideration (KY, KL, DZP), pp. 63–66.

DATE-2009-GarciaO #embedded #fault #information management #self

Making DNA self-assembly error-proof: Attaining small growth error rates through embedded information redundancy (SG, AO), pp. 898–901.

DATE-2009-GolshanB #composition #design

SEU-aware resource binding for modular redundancy based designs on FPGAs (SG, EB), pp. 1124–1129.

DATE-2009-MonyBMB #identification #scalability

Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.

TACAS-2009-SchollDPK #constraints #detection #linear

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (CS, SD, FP, SK), pp. 383–397.

SIGAda-2009-Gardinier #ada #development #open source #safety

Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.

ICEIS-J-2009-MianiYSB #algorithm #fuzzy #mining #ontology

NARFO Algorithm: Mining Non-redundant and Generalized Association Rules Based on Fuzzy Ontologies (RGM, CAY, MTPS, MB), pp. 415–426.

ICML-2009-ZhangSFD #learning

Learning non-redundant codebooks for classifying complex objects (WZ, AS, XF, TGD), pp. 1241–1248.

MLDM-2009-DuangsoithongW #analysis #classification

Relevance and Redundancy Analysis for Ensemble Classifiers (RD, TW), pp. 206–220.

MLDM-2009-LoglisciM #mining #multi

Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.

RecSys-2009-GemmellRSCM #ambiguity #folksonomy #recommendation

The impact of ambiguity and redundancy on tag recommendation in folksonomies (JG, MR, TS, LC, BM), pp. 45–52.

SIGIR-2009-SiersdorferPS #automation #using #video

Automatic video tagging using content redundancy (SS, JSP, MS), pp. 395–402.

ICST-2009-KoochakzadehGM #lessons learnt #metric

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned (NK, VG, FM), pp. 220–229.

CASE-2008-OkadaQHUK #multi #self

Multiple self-organizing maps for control of a redundant manipulator in an environment with obstacles (NO, JQ, MH, RU, EK), pp. 212–217.

DATE-2008-FeinsteinTM #detection #equivalence #logic #using

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.

DATE-2008-PomeranzR #detection #fault #logic

A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy (IP, SMR), pp. 1166–1171.

DATE-2008-ZhangHXL #fault #manycore #using

Defect Tolerance in Homogeneous Manycore Processors Using Core-Level Redundancy with Unified Topology (LZ, YH, QX, XL), pp. 891–896.

VLDB-2008-ZhangPWN #correlation #higher-order #mining

Mining non-redundant high order correlations in binary data (XZ, FP, WW, ABN), pp. 1178–1188.

PEPM-2008-SaabasU #optimisation #proving

Proof optimization for partial redundancy elimination (AS, TU), pp. 91–101.

ICEIS-ISAS2-2008-FahadQN #consistency #fault #nondeterminism #ontology

Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.

CIKM-2008-ShawXG #approximate #dataset

Deriving non-redundant approximate association rules from hierarchical datasets (GS, YX, SG), pp. 1451–1452.

ICPR-2008-LiLS #feature model #invariant #recognition

Redundant DWT based translation invariant wavelet feature extraction for face recognition (DL, HL, ZS), pp. 1–4.

ICPR-2008-SwadzbaVHW

Reducing noise and redundancy in registered range data for planar surface extraction (AS, ALV, MH, SW), pp. 1–4.

KDD-2008-MoiseS #approach #clustering #novel #statistics

Finding non-redundant, statistically significant regions in high dimensional data: a novel approach to projected and subspace clustering (GM, JS), pp. 533–541.

SIGIR-2008-WebberMZS

Precision-at-ten considered redundant (WW, AM, JZ, TS), pp. 695–696.

CGO-2008-SundaresanSR #exception

Removing redundancy via exception check motion (VS, MGS, PR), pp. 134–143.

HPCA-2008-RashidH #concurrent #parallel #source code #thread

Supporting highly-decoupled thread-level redundancy for parallel programs (MWR, MCH), pp. 393–404.

OSDI-2008-GuptaLVSSVVV #difference #memory management #virtual machine

Difference Engine: Harnessing Memory Redundancy in Virtual Machines (DG, SL, MV, SS, ACS, GV, GMV, AV), pp. 309–322.

ICLP-2008-Janhunen #set #source code

Removing Redundancy from Answer Set Programs (TJ), pp. 729–733.

CASE-2007-Alcaraz-MejiaLR #configuration management #fault

Redundancy Based Controller Reconfiguration for Fault Recovery of Manufacturing Systems (MAM, ELM, ART), pp. 128–133.

ICDAR-2007-ChellapillaP #retrieval #robust

Redundant Bit Vectors for Robust Indexing and Retrieval of Electronic Ink (KC, JCP), pp. 387–391.

FASE-2007-FraserW #reduction #testing

Redundancy Based Test-Suite Reduction (GF, FW), pp. 291–305.

CHI-2007-KaiserBEC #interactive #multimodal #speech

Multimodal redundancy across handwriting and speech during computer mediated human-human interactions (ECK, PB, CE, PRC), pp. 1009–1018.

DHM-2007-YangWZJW #analysis

Redundant Muscular Force Analysis of Human Lower Limbs During Rising from a Squat (YY, RW, MZ, DJ, FW), pp. 259–267.

CIKM-2007-WuHK #mining #web

Mining redundancy in candidate-bearing snippets to improve web question answering (YW, XH, HK), pp. 999–1002.

SEKE-2007-CoxZO #data transfer

A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers (SEC, DZ, JO), p. 274–?.

CGO-2007-WangKWY #detection #fault #multi #thread

Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.

ICLP-2007-JarvisaloO #logic programming #source code

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (MJ, EO), pp. 134–148.

CASE-2006-QiuCS #constraints

Redundant Manipulator Control with Constraints for Subgoals (CQ, QC, YS), pp. 212–217.

DATE-2006-KimHG #execution #parallel #using

Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.

DATE-2006-TsengLC #2d #using

A built-in redundancy-analysis scheme for RAMs with 2D redundancy using 1D local bitmap (TWT, JFL, DMC), pp. 53–58.

PODS-2006-KolahiL #dependence #normalisation #on the

On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.

SIGMOD-2006-KabraRS #data access #fine-grained #information management

Redundancy and information leakage in fine-grained access control (GK, RR, SS), pp. 133–144.

VLDB-2006-YuJ #performance #xml

Efficient Discovery of XML Data Redundancies (CY, HVJ), pp. 103–114.

CSCW-2006-MunkvoldEK #formal method

Formalizing work: reallocating redundancy (GM, GE, HK), pp. 59–68.

ICEIS-AIDSS-2006-JacquenetLU #approach #performance #scalability

Efficient Management of Non Redundant Rules in Large Pattern Bases: A Bitmap Approach (FJ, CL, CU), pp. 208–215.

ICPR-v1-2006-DijckH #detection

Onset Detection through Maximal Redundancy Detection (GVD, MMVH), pp. 945–949.

KDD-2006-XinCYH

Extracting redundancy-aware top-k patterns (DX, HC, XY, JH), pp. 444–453.

ASPLOS-2006-ParasharSG #locality #multi #named #performance #thread

SlicK: slice-based locality exploitation for efficient redundant multithreading (AP, AS, SG), pp. 95–105.

ASPLOS-2006-ReddyRP #comprehension #fault tolerance #predict #thread

Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance (VKR, ER, SP), pp. 83–94.

HPCA-2006-KumarA #concurrent #detection #fault #performance

Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors (SK, AA), pp. 212–221.

HPDC-2006-Casanova #on the

On the Harmfulness of Redundant Batch Requests (HC), pp. 255–266.

IJCAR-2006-Pientka #approach #higher-order #lightweight #unification

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach (BP), pp. 362–376.

ASE-2005-DiaconescuM #automation #component #enterprise #performance

Automating the performance management of component-based enterprise systems through the use of redundancy (AD, JM), pp. 44–53.

DAC-2005-MonyBPK #proving

Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.

DATE-2005-KastensmidtSCR #composition #design #logic #on the

On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs (FLK, LS, LC, MSR), pp. 1290–1295.

DATE-2005-SuCP #configuration management #using

Yield Enhancement of Digital Microfluidics-Based Biochips Using Space Redundancy and Local Reconfiguration (FS, KC, VKP), pp. 1196–1201.

ICSM-2005-HaoZZMS #case study #fault #locality #reduction #testing #using

Eliminating Harmful Redundancy for Testing-Based Fault Localization Using Test Suite Reduction: An Experimental Study (DH, LZ, HZ, HM, JS), pp. 683–686.

ICSM-2005-JeffreyG #reduction #testing

Test Suite Reduction with Selective Redundancy (DJ, NG), pp. 549–558.

CIKM-2005-BernsteinZ #documentation #effectiveness

Redundant documents and search effectiveness (YB, JZ), pp. 736–743.

CIKM-2005-ComanNS #energy #network #performance #query

Exploiting redundancy in sensor networks for energy efficient processing of spatiotemporal region queries (AC, MAN, JS), pp. 187–194.

CIKM-2005-LiLLY #on the #performance #xml

On reducing redundancy and improving efficiency of XML labeling schemes (CL, TWL, JL, TY), pp. 225–226.

KDD-2005-GondekH #clustering

Non-redundant clustering with conditional ensembles (DG, TH), pp. 70–77.

SIGIR-2005-ZhouG #categorisation #corpus #geometry #on the

On redundancy of training corpus for text categorization: a perspective of geometry (SZ, JG), pp. 671–672.

TestCom-2005-ChenHUY #sequence #testing

Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.

ASE-2004-XieMN #detection #framework #named #object-oriented #testing

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.

STOC-2004-FinocchiI #fault #memory management #sorting

Sorting and searching in the presence of memory faults (without redundancy) (IF, GFI), pp. 101–110.

FLOPS-2004-BuenoB

Set-Sharing Is Not Always Redundant for Pair-Sharing (FB, MJGdlB), pp. 117–131.

CSCW-2004-Tjora #coordination #maintenance

Maintaining redundancy in the coordination of medical emergencies (AT), pp. 132–141.

ICML-2004-AppiceCRF #multi #problem

Redundant feature elimination for multi-class problems (AA, MC, SR, PAF).

ICML-2004-GabrilovichM #categorisation #feature model #using

Text categorization with many redundant features: using aggressive feature selection to make SVMs competitive with C4.5 (EG, SM).

KDD-2004-YuL #array #feature model

Redundancy based feature selection for microarray data (LY, HL), pp. 737–742.

SEKE-2004-LiLCWL #using

Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice (YL, ZL, WC, QW, WL), pp. 402–405.

CC-2004-VanDrunenH

Value-Based Partial Redundancy Elimination (TV, ALH), pp. 167–184.

HPCA-2004-FernandezE #memory management

Link-Time Path-Sensitive Memory Redundancy Elimination (MF, RE), pp. 300–310.

LCTES-2004-ScholzHK #optimisation

Optimizing for space and time usage with speculative partial redundancy elimination (BS, RNH, JK), pp. 221–230.

IJCAR-2004-BofillR #order

Redundancy Notions for Paramodulation with Non-monotonic Orderings (MB, AR), pp. 107–121.

IJCAR-2004-Lochner #order

A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting (BL), pp. 45–59.

VLDB-2003-ChenDZ #named #xml

RRXF: Redundancy reducing XML storage in relations (YC, SBD, CSH, YZ), pp. 189–200.

VLDB-2003-DeutschT #named #xml

MARS: A System for Publishing XML from Mixed and Redundant Storage (AD, VT), pp. 201–212.

SCAM-2003-Leitao #2d #detection #using

Detection of Redundant Code using R2D2 (AML), pp. 183–192.

AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.

CAiSE-2003-GeneroP #complexity #diagrams #metric #uml

No-redundant Metrics for UML Class Diagram Structural Complexity (MEM, MG, MP), pp. 127–142.

KDD-2003-YuL

Efficiently handling feature redundancy in high-dimensional data (LY, HL), pp. 685–690.

ESEC-FSE-2003-JarzabekS #adaptation #composition #metaprogramming

Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.

CGO-2003-CaiX #performance

Optimal and Efficient Speculation-Based Partial Redundancy Elimination (QC, JX), pp. 91–104.

CAV-2003-ClarkeGTW #abstraction #how #performance

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates (EMC, OG, MT, DW), pp. 126–140.

DATE-2002-BerkelaarE #effectiveness #performance

Efficient and Effective Redundancy Removal for Million-Gate Circuits (MRCMB, KvE), p. 1088.

CAiSE-2002-CostalST #analysis #comprehension #modelling #object-oriented #uml

Understanding Redundancy in UML Models for Object-Oriented Analysis (DC, MRS, ET), pp. 659–674.

CIKM-2002-YuXSTK #collaboration #consistency #in memory #nondeterminism

Removing redundancy and inconsistency in memory-based collaborative filtering (KY, XX, AS, VT, HPK), pp. 52–59.

SIGIR-2002-ZhangCM #adaptation #detection

Novelty and redundancy detection in adaptive filtering (YZ, JPC, TPM), pp. 81–88.

FSE-2002-XieE #fault #using

Using redundancies to find errors (YX, DRE), pp. 51–60.

HPCA-2002-BrownP #pipes and filters #using

Using Internal Redundant Representations and Limited Bypass to Support Pipelined Adders and Register Files (MDB, YNP), pp. 289–298.

DATE-2001-EspejoEMO #logic #optimisation #reasoning

Generalized reasoning scheme for redundancy addition and removal logic optimization (JAE, LE, ESM, EO), pp. 391–397.

SIGIR-2001-ClarkeCL

Exploiting Redundancy in Question Answering (CLAC, GVC, TRL), pp. 358–365.

DATE-2000-GulrajaniH #identification #logic #multi

Multi-Node Static Logic Implications for Redundancy Identification (KG, MSH), pp. 729–733.

SAS-2000-KnoopCJ

Partial Redundancy Elimination on Predicated Code (JK, JFC, RDCJ), pp. 260–279.

ICPR-v3-2000-KozlovMSRK #performance #segmentation

Fast Redundant Dyadic Wavelet Transform in Application to Spatial Registration of the Expression Patterns of Drosophila Segmentation Genes (KK, EM, MS, JR, DK), pp. 3463–3466.

KDD-2000-Zaki #generative

Generating non-redundant association rules (MJZ), pp. 34–43.

POPL-2000-SuFA #constraints #graph

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs (ZS, MF, AA), pp. 81–95.

HPCA-2000-RamirezLV

Trace Cache Redundancy: Red & Blue Traces (AR, JLLP, MV), pp. 325–333.

CL-2000-BastidePTSL #mining #using

Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets (YB, NP, RT, GS, LL), pp. 972–986.

LICS-2000-Voronkov #calculus #how #logic #proving

How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi (AV), pp. 401–412.

DATE-1999-HendricxC

Formally Verified Redundancy Removal (SH, LJMC), p. 150–?.

ICDAR-1999-LebourgeoisE #analysis #documentation #using

Document Analysis in Gray Level and Typography Extraction using Character Pattern Redundancies (FL, HE), pp. 177–180.

SAS-1999-ZaffanellaHB

Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.

ICALP-1999-Pagh

Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time (RP), pp. 595–604.

CC-1999-GuptaB

Register Pressure Sensitive Redundancy Elimination (RG, RB), pp. 107–121.

CC-1999-KnoopRS #semantics

Expansion-Based Removal of Semantic Partial Redundancies (JK, OR, BS), pp. 91–106.

DAC-1998-ParulkarGB #behaviour

Introducing Redundant Computations in a Behavior for Reducing BIST Resources (IP, SKG, MAB), pp. 548–553.

DATE-1998-AntolaPS #approach #detection #fault

A Low-Redundancy Approach to Semi-Concurrent Error Detection in Data Paths (AA, VP, MS), pp. 266–272.

DATE-1998-Cheng #multi #on the

On Removing Multiple Redundancies in Combinational Circuits (DIC), pp. 738–742.

PLDI-1998-BodikGS

Complete Removal of Redundant Computations (RB, RG, MLS), pp. 1–14.

PLDI-1998-ChowKLLT

Register Promotion by Partial Redundancy Elimination of Loads and Stores (FCC, RK, SML, RL, PT), pp. 26–37.

Best-of-PLDI-1998-BodikGS98a

Complete removal of redundant expressions (with retrospective) (RB, RG, MLS), pp. 596–611.

TAGT-1998-KreowskiV

Redundancy and Subsumption in High-Level Replacement Systems (HJK, GV), pp. 215–227.

ICPR-1998-Aranda-GarridoGF #2d #image #normalisation #representation

Representing 2D digital images through a normalized measure of redundancy (MCAG, JAG, JFV), pp. 42–46.

SIGMOD-1997-LlirbatFS #sql

Eliminating Costly Redundant Computations from SQL Trigger Executions (FL, FF, ES), pp. 428–439.

PLDI-1997-ChowCKLLT #algorithm

A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.

SAS-1997-BagnaraHZ

Set-Sharing is Redundant for Pair-Sharing (RB, PMH, EZ), pp. 53–67.

HCI-SEC-1997-SatohAMO #information retrieval

Information Retrieval Supported by Rich and Redundant Indices (KS, SA, KM, AO), pp. 395–398.

CIKM-1997-DulleaS #analysis #constraints

An Analysis of Cardinality Constraints in Redundant Relationships (JD, IYS), pp. 270–277.

DAC-1996-IyerLA #identification

Identifying Sequential Redundancies Without Search (MAI, DEL, MA), pp. 457–462.

LOPSTR-1996-LeuschelS96a #logic programming #source code

Redundant Argument Filtering of Logic Programs (ML, MHS), pp. 83–103.

PLDI-1995-AgrawalSD #compilation #distributed #interprocedural #memory management

Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation (GA, JHS, RD), pp. 258–269.

PLDI-1995-KolteW #array

Elimination of Redundant Array Subscript Range Checks (PK, MW), pp. 270–278.

PEPM-1994-Thiemann #higher-order

Higher-Order Redundancy Elimination (PT), pp. 73–83.

PLDI-1994-BriggsC #effectiveness

Effective Partial Redundancy Elimination (PB, KDC), pp. 159–170.

PLDI-1994-DavidsonJ #memory management

Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses (JWD, SJ), pp. 186–195.

SAS-1994-KhoshnevisanA #commutative

Mechanical Elimination of Commutative Redundancy (HK, MA), pp. 449–463.

ILPS-1994-Imbert #equation #linear

Redundancy, Variable Elimination and Linear Disequations (JLI), pp. 139–153.

HCI-SHI-1993-WangSHPW #evaluation #interface #speech #usability

A Usability Evaluation of Text and Speech Redundant Help Messages on a Reader Interface (EMYW, HS, LH, KP, NW), pp. 724–729.

ILPS-1993-MacdonaldSY

Redundancy of Variables in CLP (R) (ADM, PJS, RHCY), pp. 75–93.

RTA-1993-LynchS

Redundancy Criteria for Constrained Completion (CL, WS), pp. 2–16.

DAC-1992-SaldanhaBS92a #algorithm #revisited

Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited (AS, RKB, ALSV), pp. 245–248.

PODS-1992-LevyS #constraints #datalog

Constraints and Redundancy in Datalog (AYL, YS), pp. 67–80.

LOPSTR-1992-GallagherW #logic programming #source code

Deletion of Redundant Unary Type Predicates from Logic Programs (JPG, DAdW), pp. 151–167.

ASPLOS-1992-HollandG #array #clustering

Parity Declustering for Continuous Operation in Redundant Disk Arrays (MH, GAG), pp. 23–35.

DAC-1991-Cheng #on the

On Removing Redundancy in Sequential Circuits (KTC), pp. 164–169.

DAC-1991-LoboP #optimisation #scheduling

Redundant Operator Creation: A Scheduling Optimization Technique (DAL, BMP), pp. 775–778.

PODS-1991-Chaudhuri #detection #evaluation #query #tuple

Detecting Redundant Tuples During Query Evaluation (SC), pp. 115–126.

PEPM-1991-RufW #using

Using Types to Avoid Redundant Specialization (ER, DW), pp. 321–333.

PPoPP-1991-KrothapalliS #constant #dependence

Removal of Redundant Dependences in DOACROSS Lops with Constant Dependences (VPK, PS), pp. 51–60.

RTA-1991-KrischerB #detection

Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test (SK, AB), pp. 74–85.

DAC-1990-KeutzerMS

Is Redundancy Necessary to Reduce Delay (KK, SM, AS), pp. 228–234.

VLDB-1990-SudkampL #database

Elimination of View and Redundant Variables in a SQL-like Database Language for Extended NF2 Structures (NS, VL), pp. 302–313.

GG-1990-Caucal #graph grammar

An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes (DC), pp. 190–206.

NACLP-1990-Helm #execution #on the

On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.

DAC-1989-HemmadyR #on the

On the Repair of Redundant RAMs (VGH, SMR), pp. 710–713.

SIGMOD-1989-Orenstein #database

Redundancy in Spatial Databases (JAO), pp. 295–305.

ML-1989-Martin #learning

Reducing Redundant Learning (JDM), pp. 396–399.

ESEC-1989-AdamsWT #ada

Software Change Dynamics or Half of all Ada Compilations are Redundant (RA, AW, WFT), pp. 203–221.

NACLP-1989-Helm #bottom-up #execution #on the

On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.

NACLP-1989-LassezHM #constraints #linear

Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.

SIGMOD-1988-PattersonGK #array

A Case for Redundant Arrays of Inexpensive Disks (RAID) (DAP, GAG, RHK), pp. 109–116.

POPL-1988-RosenWZ

Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.

DAC-1987-Wey #array #design #logic #on the #programmable

On Yield Consideration for the Design of Redundant Programmable Logic Arrays (CLW), pp. 622–628.

SIGMOD-1987-HanH #database #query #recursion

Handling Redundancy in the Processing of Recursive Database Queries (JH, LJH), pp. 73–81.

SLP-1986-Naughton86 #recursion

Redundancy in Function-Free Recursive Rules (JFN), pp. 236–245.

VLDB-1983-MuroIMH #database #distributed

File Redundancy Issues in Distributed Database Systems (SM, TI, HM, TH), pp. 275–277.

POPL-1982-DavidsonF

Eliminating Redundant Object Code (JWD, CWF), pp. 128–132.

ILPC-1982-Bruynooghe82a #prolog #reliability #source code

Adding Redundancy to Obtain more Reliable and Readable Prolog Programs (MB), pp. 129–133.

VLDB-1980-BernsteinBC #maintenance #performance #semantics #using

Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data (PAB, BTB, EMC), pp. 126–136.

POPL-1979-Cohen #recursion #source code

Characterization and Elimination of Redundancy in Recursive Programs (NHC), pp. 143–157.

VLDB-1977-YamamotoTUI #design #multi

Design of a Balanced Multiple Valued File Organization Schema with the Least Redundancy (SY, ST, KU, HI), p. 230.

VLDB-1976-Lozinskii #database #relational

Relational Transformation and a Redundancy in Relational Data Base (ELL), pp. 95–102.

VLDB-1976-Meltzer #concept #database #scalability

Structure and Redundancy in the Conceptual Schema in the Administration of Very Large Data Bases (HSM), pp. 13–25.

ICALP-1974-Hayes #nondeterminism

Simple and Structural Redundancy in Non-Deterministic Computation (PJH), pp. 601–611.