BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (15)
failur (13)
use (9)
variat (8)
fault (7)

Stem induc$ (all stems)

109 papers:

DATEDATE-2015-AwanoHS #named #performance #probability
ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.
DATEDATE-2015-BaranowskiFKLTW #online #predict
On-line prediction of NBTI-induced aging rates (RB, FF, SK, CL, MBT, HJW), pp. 589–592.
DATEDATE-2015-WangWXWWYDLMW #adaptation #process
Adaptively tolerate power-gating-induced power/ground noise under process variations (ZW, XW, JX, XW, ZW, PY, LHKD, HL, RKVM, ZW), pp. 483–488.
STOCSTOC-2015-AlstrupKTZ #graph
Adjacency Labeling Schemes and Induced-Universal Graphs (SA, HK, MT, UZ), pp. 625–634.
CHICHI-2015-LyuLZYMWSK
Measuring Photoplethysmogram-Based Stress-Induced Vascular Response Index to Assess Cognitive Load and Stress (YL, XL, JZ, CY, CM, TW, YS, KiK), pp. 857–866.
CASECASE-2014-KaoCC #performance #variability
Target setting with consideration of target-induced operation variability for performance improvement of semiconductor fabrication (YTK, SCC, CMC), pp. 774–779.
DACDAC-2014-KiamehrOTN #analysis #approach #fault
Radiation-Induced Soft Error Analysis of SRAMs in SOI FinFET Technology: A Device to Circuit Approach (SK, THO, MBT, SRN), p. 6.
DACDAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #process #reliability
dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
DACDAC-2014-SutariaRZRMC #modelling #random #simulation #validation
BTI-Induced Aging under Random Stress Waveforms: Modeling, Simulation and Silicon Validation (KS, AR, RZ, RR, YM, YC), p. 6.
DACDAC-2014-WangX #on the #performance #simulation
On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DATEDATE-2014-EbrahimiETSCA #analysis #embedded #fault
Comprehensive analysis of alpha and neutron particle-induced soft errors in an embedded processor at nanoscales (ME, AE, MBT, RS, EC, DA), pp. 1–6.
HCIHIMI-AS-2014-ItaiYM #ambiguity #interface
Soft Interface with the Ambiguity Creation of the Action by Avatar Controller Inducing the Embodiment (SI, TY, YM), pp. 413–422.
SEKESEKE-2014-YangWSFC #analysis #debugging #fault
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes (HY, CW, QS, YF, ZC), pp. 620–625.
SACSAC-2014-GuoQS
Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.
FSEFSE-2014-DingesA #heuristic
Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.
LICSLICS-CSL-2014-KreutzerS #on the
On Hanf-equivalence and the number of embeddings of small induced subgraphs (SK, NS), p. 10.
DACDAC-2013-LiP #framework #modelling
An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.
DATEDATE-2013-WangXZWYWNW #using
Active power-gating-induced power/ground noise alleviation using parasitic capacitance of on-chip memories (XW, JX, WZ, XW, YY, ZW, MN, ZW), pp. 1221–1224.
VLDBVLDB-2013-WuYSIY #graph #keyword #query
Summarizing Answer Graphs Induced by Keyword Queries (YW, SY, MS, AI, XY), pp. 1774–1785.
HCIHCI-AMTE-2013-OhKHJ #design #perspective #process
User Centered Inclusive Design Process: A “Situationally-Induced Impairments and Disabilities” Perspective (HJO, HCK, HH, YGJ), pp. 103–108.
ICSEICSE-2013-Ell #developer #identification #network
Identifying failure inducing developer pairs within developer networks (JE), pp. 1471–1473.
ASEASE-2012-YuLCZ #debugging #fault
Practical isolation of failure-inducing changes for debugging regression faults (KY, ML, JC, XZ), pp. 20–29.
SCAMSCAM-2012-BavotaCLPOS #debugging #empirical #refactoring
When Does a Refactoring Induce Bugs? An Empirical Study (GB, BDC, ADL, MDP, RO, OS), pp. 104–113.
STOCSTOC-2012-AlonMS #graph #scalability
Nearly complete graphs decomposable into large induced matchings and their applications (NA, AM, BS), pp. 1079–1090.
ICALPICALP-v1-2012-LinC #complexity
The Parameterized Complexity of k-Edge Induced Subgraphs (BL, YC), pp. 641–652.
ICPRICPR-2012-GaoLZXX #recognition #representation
Human action recognition based on sparse representation induced by L1/L2 regulations (ZG, AL, HZ, GX, YX), pp. 1868–1871.
KDDKDD-2012-JiZL #clustering
A sparsity-inducing formulation for evolutionary co-clustering (SJ, WZ, JL), pp. 334–342.
BXBX-2012-Stevens #bidirectional #set
Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
SACSAC-2012-TownsendHS #modelling
Relationship of reproduction and evolutionary computation to analytical modeling of the ecological genetics of inducible defenses (GCT, WNH, BS), pp. 1375–1380.
ICSEICSE-2012-Yu #analysis #identification #using
Improving failure-inducing changes identification using coverage analysis (KY), pp. 1604–1606.
ICSTICST-2012-GhandehariLXKK #combinator #identification #testing
Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
ICSTICST-2012-ShakyaXLLKK #classification #combinator #testing #using
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
DACDAC-2011-AisoposCP #fault #modelling
Enabling system-level modeling of variation-induced faults in networks-on-chips (KA, CHOC, LSP), pp. 930–935.
DATEDATE-2011-CalimeraLMP #architecture
Partitioned cache architectures for reduced NBTI-induced aging (AC, ML, EM, MP), pp. 938–943.
ICSMEICSM-2011-ZhangKK
Localizing failure-inducing program edits based on spectrum information (LZ, MK, SK), pp. 23–32.
PASTEPASTE-2011-QiNSR
Locating failure-inducing environment changes (DQ, MNN, TS, AR), pp. 29–36.
CHICHI-2011-RieckeFRM #self
Spatialized sound enhances biomechanically-induced self-motion illusion (vection) (BER, DF, JJR, TPM), pp. 2799–2802.
SEKESEKE-2011-Zhang #heuristic #problem
Inconsistency-Induced Heuristics for Problem Solving (DZ), pp. 137–142.
RTARTA-2011-MoserS #complexity #dependence #framework #multi #proving #recursion #termination
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (GM, AS), pp. 235–250.
CASECASE-2010-Hui
Optimal control of bio-attack induced infectious disease dynamics: The case of anthrax (QH), pp. 911–916.
CIKMCIKM-2010-MeloW #multi #named #taxonomy #wiki
MENTA: inducing multilingual taxonomies from wikipedia (GdM, GW), pp. 1099–1108.
ICPRICPR-2010-LiuS #similarity #using #visual notation
Visual Tracking Using Sparsity Induced Similarity (HL, FS), pp. 1702–1705.
SACSAC-2010-AminBJ10a #wiki
Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names (MSA, AB, HMJ), pp. 1656–1660.
DATEDATE-2009-ChakrabortyGRP #analysis #optimisation
Analysis and optimization of NBTI induced clock skew in gated clock trees (AC, GG, AR, DZP), pp. 296–299.
DATEDATE-2009-WuM #logic #order #performance
Joint logic restructuring and pin reordering against NBTI-induced performance degradation (KCW, DM), pp. 75–80.
ITiCSEITiCSE-2009-TiradoBMB #interactive #student
Inducing student interaction in a virtual environment (FT, AB, AM, AEDB), p. 378.
ICSMEICSM-2009-HouJJ
Proactively managing copy-and-paste induced code clones (DH, FJ, PJ), pp. 391–392.
WCREWCRE-1999-FerzundAW99a #debugging
Bug-Inducing Language Constructs (JF, SNA, FW), pp. 155–159.
CIKMCIKM-2009-YeungGS #collaboration
User-induced links in collaborative tagging systems (CmAY, NG, NS), pp. 787–796.
ECIRECIR-2009-BechetRC #towards
Towards the Selection of Induced Syntactic Relations (NB, MR, JC), pp. 786–790.
RTARTA-2009-MoserS #complexity #dependence
The Derivational Complexity Induced by the Dependency Pair Method (GM, AS), pp. 255–269.
ICSTSAT-2009-ChebiryakWKH #agile
Finding Lean Induced Cycles in Binary Hypercubes (YC, TW, DK, LH), pp. 18–31.
DACDAC-2008-GargNK #design #performance
A fast, analytical estimator for the SEU-induced pulse width in combinational designs (RG, CN, SPK), pp. 918–923.
PASTEPASTE-2008-ZhangLGZ #approach #effectiveness #hybrid #identification
Effective identification of failure-inducing changes: a hybrid approach (SZ, YL, ZG, JZ), pp. 77–83.
ICALPICALP-A-2008-ChenTW #complexity #comprehension #morphism
Understanding the Complexity of Induced Subgraph Isomorphisms (YC, MT, MW), pp. 587–596.
LATALATA-2008-Capobianco #automaton
Induced Subshifts and Cellular Automata (SC), pp. 160–171.
LATALATA-2008-KlimaP #morphism
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (OK, LP), pp. 299–310.
SEKESEKE-2008-HendersonS #architecture #documentation
System Architecture Induces Document Architecture (PH, NDS), pp. 327–332.
WICSAWICSA-2007-GieseckeBH #architecture #middleware #modelling
Middleware-Induced Architectural Style Modelling for Architecture Exploration (SG, JB, WH), p. 21.
DACDAC-2007-ChanZ #modelling
Modeling Simultaneous Switching Noise-Induced Jitter for System-on-Chip Phase-Locked Loops (HHYC, ZZ), pp. 430–435.
DACDAC-2007-GuSK #modelling #random #statistics
Width-dependent Statistical Leakage Modeling for Random Dopant Induced Threshold Voltage Shift (JG, SSS, CHK), pp. 87–92.
DATEDATE-2007-HungIGS #fault
Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.
DATEDATE-2007-LeveugleAMTMMFRT #evaluation #fault #modelling
Experimental evaluation of protections against laser-induced faults and consequences on fault modeling (RL, AA, VM, ET, PM, CM, NF, JBR, AT), pp. 1587–1592.
CHICHI-2007-CockburnKAZ #interface #learning
Hard lessons: effort-inducing interfaces benefit spatial learning (AC, POK, JA, SZ), pp. 1571–1580.
HCIHIMI-IIE-2007-IbrahimNM #concept #framework #online #trust #web
“Seeing Is Not Believing But Interpreting”, Inducing Trust Through Institutional Symbolism: A Conceptual Framework for Online Trust Building in a Web Mediated Information Environment (ENMI, NLMN, SM), pp. 64–73.
CASECASE-2006-WangGL
Characteristics of Induced Potential of Electromagnetic Flow Meter (JW, CG, YL), pp. 150–155.
DACDAC-2006-CaoDH #standard
Standard cell characterization considering lithography induced variations (KC, SD, JH), pp. 801–804.
CSMRCSMR-2006-Giesecke #enterprise #integration #middleware
Middleware-induced Styles for Enterprise Application Integration (SG), pp. 334–340.
SEFMSEFM-2006-Arun-Kumar #on the
On Bisimilarities Induced by Relations on Actions (SAK), pp. 41–49.
ICPRICPR-v3-2006-BhamidipatiP
Comparing rank-inducing scoring systems (NLB, SKP), pp. 300–303.
FSEFSE-2006-StorzerRRT #classification #java #source code #using
Finding failure-inducing changes in java programs using change classification (MS, BGR, XR, FT), pp. 57–68.
ASEASE-2005-GuptaHZG #using
Locating faulty code using failure-inducing chops (NG, HH, XZ, RG), pp. 263–272.
MSRMSR-2005-SliwerskiZZ #question
When do changes induce fixes? (, TZ, AZ), pp. 41–45.
KDDKDD-2005-GionisHPT #clustering
Dimension induced clustering (AG, AH, SP, PT), pp. 51–60.
SIGIRSIGIR-2005-KurlandL #modelling #rank #ranking #using
PageRank without hyperlinks: structural re-ranking using links induced by language models (OK, LL), pp. 306–313.
PLDIPLDI-2004-CavazosEM #heuristic
Inducing heuristics to decide whether to schedule (JC, JEBM), pp. 183–194.
ICALPICALP-2004-BergerBCDK
Competition-Induced Preferential Attachment (NB, CB, JTC, RMD, RDK), pp. 208–221.
ICMLICML-2004-ToutanovaMN #dependence #learning #modelling #random #word
Learning random walk models for inducing word dependency distributions (KT, CDM, AYN).
ICPRICPR-v4-2004-TanCZ #image #kernel #metric #robust #using
Robust Image Denoising Using Kernel-Induced Measures (KT, SC, DZ), pp. 685–688.
DACDAC-2003-FerzliN #estimation #grid #power management #process #statistics
Statistical estimation of leakage-induced power grid voltage drop considering within-die process variations (IAF, FNN), pp. 856–859.
DATEDATE-2003-MartorellMA #evaluation #modelling
Modeling and Evaluation of Substrate Noise Induced by Interconnects (FM, DM, XA), pp. 10524–10529.
ICLPICLP-2003-Ramirez
Inducing Musical Rules with ILP (RR), pp. 502–504.
ICMLICML-2002-LangleySTD #modelling #process
Inducing Process Models from Continuous Data (PL, JNS, LT, SD), pp. 347–354.
HPCAHPCA-2002-GrochowskiAT #architecture #power management #simulation
Microarchitectural Simulation and Control of di/dt-induced Power Supply Voltage Variation (EG, DA, VT), pp. 7–16.
ISSTAISSTA-2002-ChoiZ #concurrent #thread
Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.
DACDAC-2001-XiaoM #analysis #correlation #functional #identification
Functional Correlation Analysis in Crosstalk Induced Critical Paths Identification (TX, MMS), pp. 653–656.
AdaEuropeAdaEurope-2001-GellerichP #ada #alias
Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.
ICMLICML-2001-LloraG #algorithm
Inducing Partially-Defined Instances with Evolutionary Algorithms (XL, JMGiG), pp. 337–344.
ISSTAISSTA-2000-HildebrandtZ
Simplifying failure-inducing input (RH, AZ), pp. 135–145.
DATEDATE-1999-KallaC #equivalence #performance
Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence (PK, MJC), pp. 638–642.
HCIHCI-EI-1999-RamseyNC #artificial reality
Virtual Reality Induced Symptoms and Effects (VRISE) in Four Different Virtual Reality Display Conditions (AR, SN, SC), pp. 142–146.
ICSEICSE-1999-NittoR #architecture #middleware
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.
HTHT-1998-DurandK #named #visualisation
MAPA: A System for Inducing and Visualizing Hierarchy in Websites (DGD, PK), pp. 66–76.
ICALPICALP-1998-Lasota #similarity
Partial-Congruence Factorization of Bisimilarity Induced by Open Maps (SL), pp. 91–102.
AdaEuropeAdaEurope-1997-GellerichP #alias #problem
: Parameter-Induced Aliasing and Related Problems can be Avoided (WG, EP), pp. 161–172.
ICALPICALP-1996-Chen #approximate #graph #problem
Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs (ZZC), pp. 268–279.
LICSLICS-1996-Edalat
The Scott Topology Induces the Weak Topology (AE), pp. 372–381.
TFPIEFPLE-1995-LesterM #student
Inducing Students to Induct (DRL, SM), pp. 159–177.
KDDKDD-1994-GregoryC #algorithm #modelling
Two Algorithms for Inducing Causal Models from Data (DEG, PRC), pp. 73–84.
ICMLICML-1993-Schlimmer #algorithm
Efficiently Inducing Determinations: A Complete and Systematic Search Algorithm that Uses Optimal Pruning (JCS), pp. 284–290.
POPLPOPL-1993-ChoiBC #alias #interprocedural #performance #pointer
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.
ICMLML-1991-Feng #fault
Inducing Temporal Fault Diagnostic Rules from a Qualitative Model (CF), pp. 403–406.
POPLPOPL-1991-LandiR #alias #classification #pointer #problem
Pointer-Induced Aliasing: A Problem Classification (WL, BGR), pp. 93–103.
ICMLML-1990-WuWZ #framework
An Integrated Framework of Inducing Rules from Examples (YW, SW, QZ), pp. 357–365.
CHICHI-1989-MaulsbyW #source code
Inducing programs in a direct-manipulation environment (DLM, IHW), pp. 57–62.
DACDAC-1987-ChunCM #named
VISION: VHDL Induced Schematic Imaging on Net-Lists (RKC, KJC, LPM), pp. 436–442.
ICALPICALP-1985-Bra #dependence
Imposed-Functional Dependencies Inducing Horizontal Decompositions (PDB), pp. 158–170.
ICALPICALP-1983-BrookesR #behaviour #equivalence #logic #programming
Behavioural Equivalence Relations Induced by Programming Logics (SDB, WCR), pp. 97–108.
ICALPICALP-1980-FredericksonJ #generative #network #set
Generating and Searching Sets Induced by Networks (GNF, DBJ), pp. 221–233.

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.