BibSLEIGH — error stem

Used together with:

detect (114)
correct (99)
use (85)
base (77)
system (74)

Stem error$ (all stems)

846 papers:

CASE-2015-HayakawaI #fault #linear #reduction: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASE-2015-JinQH #fault #geometry #predict: Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation: Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.
DAC-2015-CampbellVPC #detection #fault #low cost #synthesis: High-level synthesis of error detecting cores through low-cost modulo-3 shadow datapaths (KAC, PV, DZP, DC), p. 6.
DAC-2015-ChoCSM #component #comprehension #fault: Understanding soft errors in uncore components (HC, CYC, TS, SM), p. 6.
DAC-2015-GanapathyKTB #fault: Mitigating the impact of faults in unreliable memories for error-resilient applications (SG, GK, AT, AB), p. 6.
DAC-2015-LiuZWYX #analysis #difference #encryption #fault #named: DERA: yet another differential fault attack on cryptographic devices based on error rate analysis (YL, JZ, LW, FY, QX), p. 6.
DAC-2015-TziantzioulisGF #correlation #fault #float #integer #named: b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DATE-2015-DengFDWLTINLCW #fault #hardware #network: Retraining-based timing error mitigation for hardware neural networks (JD, YF, ZD, YW, HL, OT, PI, DN, XL, YC, CW), pp. 593–596.
DATE-2015-FangHYZLG #estimation #fault #performance: Efficient bit error rate estimation for high-speed link by Bayesian model fusion (CF, QH, FY, XZ, XL, CG), pp. 1024–1029.
DATE-2015-HuQ #approximate #fault: A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
DATE-2015-IbrahimC #fault #personalisation: Error recovery in digital microfluidics for personalized medicine (MI, KC), pp. 247–252.
DATE-2015-KriebelRSASH #analysis #combinator #configuration management #fault #named #performance: ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits (FK, SR, DS, PVA, MS, JH), pp. 824–829.
DATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #testing #validation: Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.
DATE-2015-MirkhaniMCA #design #estimation #fault #performance: Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATE-2015-RamachandranHHM #fault: FPGA accelerated DNA error correction (AR, YH, WmWH, JM, DC), pp. 1371–1376.
DATE-2015-TanLF #memory management #reliability #using: Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory (JT, ZL, XF), pp. 369–374.
DATE-2015-Weis0ESVGKW #fault #metric #modelling: Retention time measurements and modelling of bit error rates of WIDE I/O DRAM in MPSoCs (CW, MJ, PE, CS, PV, SG, MK, NW), pp. 495–500.
SIGMOD-2015-WangDM #fault: Data X-Ray: A Diagnostic Tool for Data Errors (XW, XLD, AM), pp. 1231–1245.
VLDB-2015-WangFWDM #fault #profiling: Error Diagnosis and Data Profiling with Data X-Ray (XW, MF, YW, XLD, AM), pp. 1984–1995.
ICSME-2015-DongAS #fault #static analysis #using: Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.
ICSME-2015-NagyC #fault #mining #query #sql #stack overflow: Mining Stack Overflow for discovering error patterns in SQL queries (CN, AC), pp. 516–520.
PLDI-2015-Sidiroglou-Douskos #automation #fault #multi: Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
PLDI-2015-ZhangMVJ #fault: Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.
STOC-2015-AbbeSW #fault #random: Reed-Muller Codes for Random Erasures and Errors (EA, AS, AW), pp. 297–306.
STOC-2015-DinurHK #composition #fault #query: Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.
DLT-2015-HanKS #fault: Generalizations of Code Languages with Marginal Errors (YSH, SKK, KS), pp. 264–275.
FM-2015-SolovyevJRG #estimation #fault #float: Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
ICFP-2015-Pavlinovic0W #fault #locality #smt: Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
CHI-2015-ChengTB #crowdsourcing: Measuring Crowdsourcing Effort with Error-Time Curves (JC, JT, MSB), pp. 1365–1374.
CHI-2015-LiOT #fault: Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors (KYL, PO, HWT), pp. 1335–1344.
CHI-2015-PutzeAS #design #evaluation #fault #gesture #interface #self: Design and Evaluation of a Self-Correcting Gesture Interface based on Error Potentials from EEG (FP, CA, TS), pp. 3375–3384.
HCI-IT-2015-MijovicMMMKG #fault #human-computer #predict #towards: Towards Creation of Implicit HCI Model for Prediction and Prevention of Operators’ Error (PM, MM, MM, IM, VK, IG), pp. 341–352.
HIMI-IKC-2015-NoridukiSIT #fault: Map Matching to Correct Location Error in an Electric Wheel Chair (YN, HS, SI, HT), pp. 243–252.
HIMI-IKC-2015-Porathe #fault: Human Error and e-Navigation: Developing the Nautical Chart as Resilient Decision Support (TP), pp. 129–139.
LCT-2015-Ai #automation #detection #fault #feedback #generative: Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
LCT-2015-FlanaganYSH #fault #predict: Prediction of Learner Native Language by Writing Error Pattern (BF, CY, TS, SH), pp. 87–96.
ICML-2015-GuL #algorithm #fault: A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICML-2015-ScholkopfHWFJSP #fault: Removing systematic errors for exoplanet search via latent causes (BS, DWH, DW, DFM, DJ, CJSG, JP), pp. 2218–2226.
ICML-2015-TagortiS #bound #convergence #fault #on the: On the Rate of Convergence and Error Bounds for LSTD(λ) (MT, BS), pp. 1521–1529.
ICML-2015-TewariC #bound #documentation #fault #learning #matter #question #rank: Generalization error bounds for learning to rank: Does the length of document lists matter? (AT, SC), pp. 315–323.
ICML-2015-UbaruMS #approximate #fault #matrix #rank #using: Low Rank Approximation using Error Correcting Coding Matrices (SU, AM, YS), pp. 702–710.
ICML-2015-Yang0JZ #bound #fault #set: An Explicit Sampling Dependent Spectral Error Bound for Column Subset Selection (TY, LZ, RJ, SZ), pp. 135–143.
ICML-2015-ZhouZS #analysis #bound #convergence #fault #first-order: ℓ₁_,p-Norm Regularization: Error Bounds and Convergence Rate Analysis of First-Order Methods (ZZ, QZ, AMCS), pp. 1501–1510.
KDD-2015-ZhengP #fault #kernel #scalability: L∞ Error and Bandwidth Selection for Kernel Density Estimates of Large Data (YZ, JMP), pp. 1533–1542.
SEKE-2015-SunSWZ #analysis #data flow #detection #fault #integer #using: Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis (HS, CS, YW, QZ), pp. 601–606.
SIGIR-2015-SallesGRR #automation #classification #effectiveness #fault #named #random: BROOF: Exploiting Out-of-Bag Errors, Boosting and Random Forests for Effective Automated Classification (TS, MAG, VR, LCdR), pp. 353–362.
OOPSLA-2015-FuBS #analysis #automation #fault: Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
SAC-2015-BekkoucheCR #approach #constraints #fault #locality #named: LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
ICSE-v1-2015-WeissRL #fault #program analysis #scalability: Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
ASPLOS-2015-SridharanDBFSSG #fault #memory management: Memory Errors in Modern Systems: The Good, The Bad, and The Ugly (VS, ND, SB, KBF, JS, JS, SG), pp. 297–310.
ASPLOS-2015-YetimMM #communication #execution #fault #named #parallel: CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
HPCA-2015-DuweJ0 #fault #latency #predict: Correction prediction: Reducing error correction latency for on-chip memories (HD, XJ, RK), pp. 463–475.
HPCA-2015-TiwariGRMRVOLDN #comprehension #design #fault #gpu #scalability: Understanding GPU errors on large-scale HPC systems and the implications for system design and operation (DT, SG, JHR, DM, PR, SSV, DAGdO, DL, ND, POAN, LC, ASB), pp. 331–342.
HPCA-2015-XiJBWB #architecture #fault: Quantifying sources of error in McPAT and potential impacts on architectural studies (SLX, HMJ, PB, GYW, DMB), pp. 577–589.
LCTES-2015-LiuJLT #compilation #fault #lightweight #named: Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
ISSTA-2015-MusluBM #fault #testing: Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ISSTA-2015-ZhangE #detection #fault: Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
ASE-2014-ParkKB #empirical #fault: An empirical study on reducing omission errors in practice (JP, MK, DHB), pp. 121–126.
ASE-2014-Schneider14a #fault #modelling #runtime: Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
CASE-2014-JiangCWWS #3d #analysis #fault #re-engineering #using: Error analysis and experiments of 3D reconstruction using a RGB-D sensor (SYJ, NYCC, CCW, CHW, KTS), pp. 1020–1025.
DAC-2014-HernandezA #detection #fault #named #safety: LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
DAC-2014-HuangW #estimation #multi: Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DAC-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.
DAC-2014-KriebelRSSH #adaptation #fault #named: ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era (FK, SR, DS, MS, JH), p. 6.
DAC-2014-LiuCYLHL #fault #locality #named: EC-Cache: Exploiting Error Locality to Optimize LDPC in NAND Flash-Based SSDs (RSL, MYC, CLY, CHL, KCH, HPL), p. 6.
DAC-2014-ShrivastavaRJW #analysis #control flow #fault: Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors (AS, AR, RJ, CJW), p. 6.
DATE-2014-BelKKS #fault #multi: Improving STT-MRAM density through multibit error correction (BDB, JK, CHK, SSS), pp. 1–6.
DATE-2014-DasKVBM: Combined DVFS and mapping exploration for lifetime and soft-error susceptibility improvement in MPSoCs (AD, AK, BV, CB, AM), pp. 1–6.
DATE-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.
DATE-2014-GaoGWP #energy #fault #fault tolerance #framework #in the cloud #scheduling: An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATE-2014-HoffmanRAA #analysis #fault #memory management: Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.
DATE-2014-KordesVDW #detection #fault #hybrid #network #robust: Startup error detection and containment to improve the robustness of hybrid FlexRay networks (AK, BV, AKD, MGW), pp. 1–6.
DATE-2014-LiuHL #approximate #configuration management #fault #multi #power management: A low-power, high-performance approximate multiplier with configurable partial error recovery (CL, JH, FL), pp. 1–4.
DATE-2014-NathanS #detection #fault #low cost #named: Nostradamus: Low-cost hardware-only error detection for processor cores (RN, DJS), pp. 1–6.
DATE-2014-PandeyV #analysis #fault #safety: Transient errors resiliency analysis technique for automotive safety critical applications (SP, BV), pp. 1–4.
DATE-2014-RahimiBG #energy #fault: Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
DRR-2014-LundRW #fault #how #multi #question: How well does multiple OCR error correction generalize? (WBL, EKR, DDW), p. ?–13.
DRR-2014-TaghvaA #fault #identification #web: Utilizing web data in identification and correction of OCR errors (KT, SA), pp. 902109–6.
SIGMOD-2014-MoerkotteDMNB #order: Exploiting ordered dictionaries to efficiently construct histograms with q-error guarantees in SAP HANA (GM, DD, NM, AN, AB), pp. 361–372.
SIGMOD-2014-ZengGMZ #approximate #estimation #fault #performance #query: The analytical bootstrap: a new method for fast error estimation in approximate query processing (KZ, SG, BM, CZ), pp. 277–288.
VLDB-2014-YanCZ #bound: Error-bounded Sampling for Analytics on Big Sparse Data (YY, LJC, ZZ), pp. 1508–1519.
VLDB-2015-LongWJ14 #fault: Trajectory Simplification: On Minimizing the Direction-based Error (CL, RCWW, HVJ), pp. 49–60.
ITiCSE-2014-DennyLC #error message #fault #syntax: Enhancing syntax error messages appears ineffectual (PD, ALR, DC), pp. 273–278.
ESOP-2014-MatosGR #fault #named #using: REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.
CSMR-WCRE-2014-Heing-BeckerKS #developer #injection: Bit-error injection for software developers (MHB, TK, SS), pp. 434–439.
CSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards: Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.
MSR-2014-CampbellHA #fault #modelling #syntax: Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security: Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
PEPM-2014-0008E #c++ #detection #fault: Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
PLDI-2014-LongSR #automation #fault #runtime: Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
PLDI-2014-TavarageriKS #detection #fault #memory management: Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.
STOC-2014-GhaffariHS #adaptation #fault #interactive: Optimal error rates for interactive coding I: adaptivity and other settings (MG, BH, MS), pp. 794–803.
ICALP-v1-2014-IvanyosKQSS #complexity #constraints #fault #on the #problem: On the Complexity of Trial and Error for Constraint Satisfaction Problems (GI, RK, YQ, MS, AS), pp. 663–675.
SEFM-2014-AlrajehC #automation #composition #detection #specification: Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
CHI-2014-CairnsPP #fault: The influence of emotion on number entry errors (PAC, PP, CP), pp. 2293–2296.
CHI-2014-ViJCS #fault #interactive: Error related negativity in observing interactive tasks (CTV, IJ, DC, SS), pp. 3787–3796.
DHM-2014-GaoH #approach #fault #nondeterminism #research: Research on the Continuous Descent Approach (CDA) Operational Error of Pilot Base on Cloud Model and Uncertainty Theory (YG, YH), pp. 91–100.
HCI-AIMT-2014-HottaHOK #detection #estimation #fault #multi: Detecting Address Estimation Errors from Users’ Reactions in Multi-user Agent Conversation (RH, HHH, SO, KK), pp. 245–253.
HCI-AS-2014-HooeyABF #analysis #design #fault: Evidence-Based Error Analysis: Supporting the Design of Error-Tolerant Systems (BLH, MA, RB, DCF), pp. 401–412.
HIMI-AS-2014-ZhangXCZL #fault #predict #probability: Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.
CIKM-2014-ProkofyevMGDC #fault #ranking: Correct Me If I’m Wrong: Fixing Grammatical Errors by Preposition Ranking (RP, RM, MG, GD, PCM), pp. 331–340.
ECIR-2014-LiS #effectiveness #fault #metric: Tolerance of Effectiveness Measures to Relevance Judging Errors (LL, MDS), pp. 148–159.
ICPR-2014-ChenWCN #detection #fault #modelling #network: Confusion Network Based Recurrent Neural Network Language Modeling for Chinese OCR Error Detection (JC, YW, HC, PN), pp. 1266–1271.
ICPR-2014-Hess-FloresRJ #analysis #multi #nondeterminism: Uncertainty, Baseline, and Noise Analysis for L1 Error-Based Multi-view Triangulation (MHF, SR, KIJ), pp. 4074–4079.
ICPR-2014-MarroccoT #fault: Bit Error Recovery in ECOC Systems through LDPC Codes (CM, FT), pp. 1454–1459.
ICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using: Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
KDIR-2014-AzadM #classification #consistency #fault #heuristic: “Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
MLDM-2014-Manzanilla-SalazarEG #classification #clustering #fault: Minimizing Cluster Errors in LP-Based Nonlinear Classification (OMS, JEK, UMGP), pp. 163–174.
MLDM-2014-ShahamSB #fault #performance: Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
ECOOP-2014-LiT #analysis #fault #python #source code: Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.
OOPSLA-2014-PavlinovicKW #fault: Finding minimum type error sources (ZP, TK, TW), pp. 525–542.
POPL-2014-ChenE #debugging #fault #type system: Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.
POPL-2014-LongSKR #fault #generative #integer: Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
POPL-2014-ZhangM #fault #towards: Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing: An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSE-2014-SeoSEAB #case study #fault: Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.
CGO-2014-SureshS #algorithm #automation #detection #fault #grid #problem: Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
HPCA-2014-PalframanKL #fault: Precision-aware soft error protection for GPUs (DJP, NSK, MHL), pp. 49–59.
HPDC-2014-WuC #fault #named #online: FT-ScaLAPACK: correcting soft errors on-line for ScaLAPACK cholesky, QR, and LU factorization routines (PW, ZC), pp. 49–60.
PPoPP-2014-ChiangGRS #fault #float #performance: Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
CAV-2014-BinghamL #bound #fault #simulation #using #verification: Verifying Relative Error Bounds Using Symbolic Simulation (JB, JLH), pp. 277–292.
ICST-2014-HongPK #concurrent #detection #fault #java #web: Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.
ISSTA-2014-BohmeR #complexity #fault #named: CoREBench: studying complexity of regression errors (MB, AR), pp. 105–115.
ISSTA-2014-LanzaroNWCS #empirical #fault #injection #interface: An empirical study of injected versus actual interface errors (AL, RN, SW, DC, NS), pp. 397–408.
DAC-2013-AvinashBEPP #energy #fault #hardware: Improving energy gains of inexact DSP hardware through reciprocative error compensation (LA, AB, CCE, KVP, CP), p. 8.
DAC-2013-AxerE #fault #probability #scheduling: Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DAC-2013-CalimeraMP #constraints #energy #fault #scheduling: Energy-optimal SRAM supply voltage scheduling under lifetime and error constraints (AC, EM, MP), p. 6.
DAC-2013-ChoMCAM #design #evaluation #fault #injection #robust: Quantitative evaluation of soft error injection techniques for robust system design (HC, SM, CYC, JAA, SM), p. 10.
DAC-2013-LiSARHP #adaptation #embedded #fault #named #runtime: RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.
DAC-2013-ShafiqueRAH #fault #optimisation #reliability: Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DAC-2013-Wang #fault #reliability: Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.
DAC-2013-YuanX #fault #logic #low cost #named #scalability: InTimeFix: a low-cost and scalable technique for in-situ timing error masking in logic circuits (FY, QX), p. 6.
DATE-2013-HasanA #analysis #fault #feedback #formal method #using: Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
DATE-2013-HuHMCF #detection #fault #realtime: Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips (KH, BNH, AM, KC, RBF), pp. 559–564.
DATE-2013-KocBKE #detection #fault: Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.
DATE-2013-LinHLFGHM #challenge #detection #fault #validation: Overcoming post-silicon validation challenges through quick error detection (QED) (DL, TH, YL, FF, DSG, NH, SM), pp. 320–325.
DATE-2013-LiSRRRAHP #configuration management #named: CSER: HW/SW configurable soft-error resiliency for application specific instruction-set processors (TL, MS, SR, SR, RGR, JAA, JH, SP), pp. 707–712.
DATE-2013-LorenteVSPCLD #power management #ram: Combining RAM technologies for hard-error recovery in L1 data caches working at very-low power modes (VL, AV, JS, SP, RC, PL, JD), pp. 83–88.
DATE-2013-LuZ #constraints #fault: Retiming for Soft Error Minimization Under Error-Latching Window Constraints (YL, HZ), pp. 1008–1013.
DATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off: Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
DATE-2013-PontarelliOEW #detection #fault #using: Error detection in ternary CAMs using bloom filters (SP, MO, AE, SJW), pp. 1474–1479.
DATE-2013-YalcinUC #detection #fault #hardware #memory management #named #transaction #using: FaulTM: error detection and recovery using hardware transactional memory (GY, OSÜ, AC), pp. 220–225.
DATE-2013-YanLH #adaptation #fault #self: A dynamic self-adaptive correction method for error resilient application (LY, HL, ZH), pp. 943–946.
DATE-2013-YetimMM #streaming: Extracting useful computation from error-prone processors for streaming applications (YY, MM, SM), pp. 202–207.
DRR-2013-Nagy #documentation #fault #image #preprocessor: Preprocessing document images by resampling is error prone and unnecessary (GN).
DRR-2013-WalkerRS #fault #modelling #topic: Evaluating supervised topic models in the presence of OCR errors (DDW, EKR, KDS).
ICDAR-2013-HaoGZXPSK #automation #detection #fault #finite #transducer: Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
ICDAR-2013-SankaranJ #detection #fault: Error Detection in Highly Inflectional Languages (NS, CVJ), pp. 1135–1139.
VLDB-2013-XiaoQ0ITS #performance #query: Efficient Error-tolerant Query Autocompletion (CX, JQ, WW, YI, KT, KS), pp. 373–384.
ITiCSE-2013-EganM #c #fault #runtime: Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
PEPM-2013-SagonasST #fault #precise #type system: Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
PEPM-2013-WeijersHH #fault #higher-order #polymorphism #security: Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
STOC-2013-BeiCZ #complexity #fault #on the: On the complexity of trial and error (XB, NC, SZ), pp. 31–40.
STOC-2013-BrakerskiLPRS #fault #learning: Classical hardness of learning with errors (ZB, AL, CP, OR, DS), pp. 575–584.
STOC-2013-Wootters #fault #linear #on the #random #scalability: On the list decodability of random linear codes with large error rates (MW), pp. 853–860.
DLT-J-2012-HolzerJ13 #automaton #equivalence #fault: From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors (MH, SJ), pp. 1083–1098.
SEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using: Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.
CHI-2013-BanovicGF #fault: The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHI-2013-GartenbergBPMT #adaptation #automation #fault: Adaptive automation and cue invocation: the effect of cue timing on operator error (DG, LAB, JP, JMM, JGT), pp. 3121–3130.
CHI-2013-WisemanCBGO #detection #fault #using: Using redundancy to detect human error (SW, ALC, DPB, SG, SO), pp. 2403–2406.
DHM-SET-2013-WangZWLCZL #complexity #fault: Effects of Spaceflight Operation Complexity and Training on Operation Error (MW, YZ, BW, PL, SC, JZ, ML), pp. 118–125.
DUXU-NTE-2013-MartinsMSA #behaviour #fault: Human Error in Aviation: The Behavior of Pilots Facing the Modern Technology (ITM, ETM, MMS, LGdSA), pp. 150–159.
HIMI-HSM-2013-SuzukiM #fault: Acceptable System Error of Collision Avoidance System Based on the Integrated Error of Driver and System (KS, MM), pp. 568–576.
HILT-2013-LarsonHFD #fault #modelling #safety #using: Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device (BRL, JH, KF, JD), pp. 65–84.
ICEIS-v1-2013-LeiteMP #fault #multi: Multiple External Representations in Remediation of Math Errors (MDL, DM, ARP), pp. 519–523.
ICML-c2-2013-Rebagliati #clustering #fault #normalisation #strict: Strict Monotonicity of Sum of Squares Error and Normalized Cut in the Lattice of Clusterings (NR), pp. 163–171.
ICML-c3-2013-DurrantK #bound #classification #fault: Sharp Generalization Error Bounds for Randomly-projected Classifiers (RJD, AK), pp. 693–701.
ICML-c3-2013-HonorioJ #bound #exponential #fault: Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.
KDD-2013-BeiCDHQ #fault #network #social: Trial and error in influential social networks (XB, NC, LD, XH, RQ), pp. 1016–1024.
SIGIR-2013-JiangJH #fault #how #query: How do users respond to voice input errors?: lexical and phonetic query reformulation in voice search (JJ, WJ, DH), pp. 143–152.
TOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault #metaprogramming: An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.
ECOOP-2013-WuZSGSY #fault #optimisation #statistics: Simple Profile Rectifications Go a Long Way — Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations (BW, MZ, XS, YG, RS, GY), pp. 654–678.
OOPSLA-2013-ZhongS #api #detection #documentation #fault: Detecting API documentation errors (HZ, ZS), pp. 803–816.
GPCE-2013-MedeirosRG #fault #syntax: Investigating preprocessor-based syntax errors (FM, MR, RG), pp. 75–84.
SAC-2013-ImmichCC #adaptation #fault: Adaptive video-aware FEC-based mechanism with unequal error protection scheme (RI, EC, MC), pp. 981–988.
SAC-2013-XuTTZ #approach #fault #fine-grained: An instruction-level fine-grained recovery approach for soft errors (JX, QT, LT, HZ), pp. 1511–1516.
ESEC-FSE-2013-BohmeOR #fault #interactive #testing: Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault: Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
ICSE-2013-GauthierM #case study #data access #fault #modelling #php #semantics #smell: Semantic smells and errors in access control models: a case study in PHP (FG, EM), pp. 1169–1172.
ICSE-2013-Zhang04a #automation #fault #java #named: ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSE-2013-ZhangE #automation #fault: Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
LDTA-J-2009-LammelTK #fault #programming #source code #traversal: Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
HPDC-2013-DaviesC #fault #online: Correcting soft errors online in LU factorization (TD, ZC), pp. 167–178.
LCTES-2013-StilkerichSEHLSS #embedded #virtual machine: A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
PPoPP-2013-Chen #algorithm #detection #fault #fault tolerance #named #online: Online-ABFT: an online algorithm based fault tolerance scheme for soft error detection in iterative methods (ZC), pp. 167–176.
ICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing: Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using: Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
ISSTA-2013-ChocklerEY #concurrent #fault: Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
ASE-2012-JongeV #automation #evaluation #fault #syntax: Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.
CASE-2012-ChoiKKKHP #development #fault: Development of joint torque sensor applied to compensate crosstalk error (SyC, TKK, DYK, BSK, JHH, CWP), pp. 1086–1088.
CASE-2012-KammererP #fault #flexibility #geometry: High accuracy patient positioning system: geometric and elastic error calibration of a flexible model (NK, YP), pp. 1033–1039.
CASE-2012-KimCLK #fault #framework #monitoring #process: Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
DAC-2012-CropPC #detection #logic #throughput #using: Regaining throughput using completion detection for error-resilient, near-threshold logic (JC, RP, PC), pp. 974–979.
DAC-2012-GuoK #concurrent #detection #encryption #fault #standard: Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.
DAC-2012-KarakonstantisRBB #fault #on the: On the exploitation of the inherent error resilience of wireless systems under unreliable silicon (GK, CR, CB, AB), pp. 510–515.
DAC-2012-WangDX #architecture: Point and discard: a hard-error-tolerant architecture for non-volatile last level caches (JW, XD, YX), pp. 253–258.
DATE-2012-CaiHMM #analysis #fault #memory management #metric: Error patterns in MLC NAND flash memory: Measurement, characterization, and analysis (YC, EFH, OM, KM), pp. 521–526.
DATE-2012-LuoCH #approach #fault #synthesis: A cyberphysical synthesis approach for error recovery in digital microfluidic biochips (YL, KC, TYH), pp. 1239–1244.
DATE-2012-SabryAC #approach #embedded #fault #hybrid: A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems (MMS, DA, FC), pp. 1110–1113.
DATE-2012-ShafiqueZRKH #adaptation #power management: Power-efficient error-resiliency for H.264/AVC Context-Adaptive Variable Length Coding (MS, BZ, SR, FK, JH), pp. 697–702.
DATE-2012-TangHCH #generative #logic #multi #reduction: Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
SIGMOD-2012-KanneE #data-driven #declarative #fault #robust: Declarative error management for robust data-intensive applications (CCK, VE), pp. 205–216.
VLDB-2012-TaliusDDK #fault #query #transaction: Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
ITiCSE-2012-DennyLT #fault #syntax: All syntax errors are not equal (PD, ALR, EDT), pp. 75–80.
ICSM-2012-RupakhetiH #constraints #fault #modelling #similarity #theorem proving #using: Finding errors from reverse-engineered equality models using a constraint solver (CRR, DH), pp. 77–86.
MSR-2012-Breckel #comparison #database #debugging #detection #fault #mining #scalability: Error mining: Bug detection through comparison with large code databases (AB), pp. 175–178.
PLDI-2012-DilligDA #abduction #automation #fault #using: Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.
STOC-2012-GalHKPV #bound: Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
DLT-2012-HolzerJ #automaton #equivalence #fault: From Equivalence to Almost-Equivalence, and Beyond — Minimizing Automata with Errors — (Extended Abstract) (MH, SJ), pp. 190–201.
FM-2012-ErmisSW #fault #invariant: Error Invariants (EE, MS, TW), pp. 187–201.
ICFP-2012-ChenEW #type system #λ-calculus: An error-tolerant type system for variational λ calculus (SC, ME, EW), pp. 29–40.
ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity: Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
CHI-2012-BackCB #fault #information management: Choosing to interleave: human error and information access cost (JB, ALC, DPB), pp. 1651–1654.
CHI-2012-RaihaO #case study #fault #type system: An exploratory study of eye typing fundamentals: dwell time, text entry rate, errors, and workload (KJR, SO), pp. 3001–3010.
CHI-2012-ViS #design #detection #interactive: Detecting error-related negativity for interaction design (CV, SS), pp. 493–502.
ICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards: Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEIS-v1-2012-Wichert #fault #retrieval: Product Quantization for Vector Retrieval with No Error (AW), pp. 87–92.
ICEIS-v2-2012-RenardCR #documentation #fault #process: A Tool to Evaluate Error Correction Resources and Processes Suited for Documents Improvement (AR, SC, BR), pp. 27–35.
CIKM-2012-GeorgescuPFNG #crowdsourcing #fault #library: Map to humans and reduce error: crowdsourcing for deduplication applied to digital libraries (MG, DDP, CSF, WN, JG), pp. 1970–1974.
CIKM-2012-KazaiCYT #analysis #fault #information retrieval: An analysis of systematic judging errors in information retrieval (GK, NC, EY, SMMT), pp. 105–114.
ICML-2012-Ben-DavidLSS #classification #fault #using: Minimizing The Misclassification Error Rate Using a Surrogate Convex Loss (SBD, DL, NS, KS), p. 16.
ICML-2012-JiYLJH #algorithm #bound #fault #learning: A Simple Algorithm for Semi-supervised Learning with Improved Generalization Error Bound (MJ, TY, BL, RJ, JH), p. 110.
ICPR-2012-AbouelenienY #analysis #fault #named #performance: SampleBoost: Improving boosting performance by destabilizing weak learners based on weighted error analysis (MA, XY), pp. 585–588.
ICPR-2012-ChernoffLN #fault #learning #metric: Metric learning by directly minimizing the k-NN training error (KC, ML, MN), pp. 1265–1268.
ICPR-2012-OGorman #fault #privacy #segmentation #video: Video privacy filters with tolerance to segmentation errors for video conferencing and surveillance (LO), pp. 1835–1838.
ICPR-2012-ZhangLM12a #adaptation #automation #clustering #detection #fault: An adaptive unsupervised clustering of pronunciation errors for automatic pronunciation error detection (LZ, HL, LM), pp. 1521–1525.
SIGIR-2012-SmuckerJ #fault: Time to judge relevance as an indicator of assessor error (MDS, CPJ), pp. 1153–1154.
MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation: Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification: Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation: Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification: Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise: Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using: Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ASPLOS-2012-HwangSS #comprehension #design #fault: Cosmic rays don’t strike twice: understanding the nature of DRAM errors and the implications for system design (AAH, IAS, BS), pp. 111–122.
HPCA-2012-AwasthiSSRBS #performance: Efficient scrub mechanisms for error-prone emerging memories (MA, MS, KS, BR, RB, VS), pp. 15–26.
LCTES-2012-KhudiaWM #embedded #fault #performance #using: Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
ICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring: Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
ISSTA-2012-ZhangLE #fault #parallel #thread #user interface: Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
ASE-2011-NguyenNNN #fault #html #php #validation: Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
ASE-2011-RabkinK #fault: Precomputing possible configuration error diagnoses (AR, RHK), pp. 193–202.
ASE-2011-WeiRFPHSNM #contract #fault #testing: Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
ASE-2011-WesongaMR #concurrent #fault #source code #visualisation: Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
DAC-2011-ChoiYLA #behaviour #fault #performance: Matching cache access behavior and bit error pattern for high performance low Vcc L1 cache (YGC, SY, SL, JHA), pp. 978–983.
DAC-2011-IqbalSH #dependence #fault #monte carlo #named #power management #probability #scheduling: SEAL: soft error aware low power scheduling by Monte Carlo state space under the influence of stochastic spatial and temporal dependencies (NI, MAS, JH), pp. 134–139.
DAC-2011-LifaEP #configuration management #detection #fault #optimisation #performance: Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.
DAC-2011-ReviriegoMB #ad hoc #design #fault #memory management #reliability #sequence: Designing ad-hoc scrubbing sequences to improve memory reliability against soft errors (PR, JAM, SB), pp. 700–705.
DAC-2011-TangWHH #incremental #logic #multi #synthesis: Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.
DAC-2011-WhatmoughDBD #power management: Error-resilient low-power DSP via path-delay shaping (PNW, SD, DMB, ID), pp. 1008–1013.
DAC-2011-YangBC #detection #embedded #energy #fault #using: Energy-efficient MIMO detection using unequal error protection for embedded joint decoding system (YSY, PB, GC), pp. 579–584.
DATE-2011-AbdallahLS #energy #fault #robust #statistics: Timing error statistics for energy-efficient robust DSP systems (RAA, YHL, NRS), pp. 285–288.
DATE-2011-ChenKZBSNS: A confidence-driven model for error-resilient computing (CHC, YK, ZZ, DB, DS, HN, SS), pp. 1608–1613.
DATE-2011-EbrahimiMA #fault #named #safety: ScTMR: A scan chain-based error recovery technique for TMR systems in safety-critical applications (ME, SGM, HA), pp. 298–292.
DATE-2011-FazeliAMAT #estimation #fault #multi: Soft error rate estimation of digital circuits in the presence of Multiple Event Transients (METs) (MF, SNA, SGM, HA, MBT), pp. 70–75.
DATE-2011-GhermanMECB #concurrent #fault #predict #self: Error prediction based on concurrent self-test and reduced slack time (VG, JM, SE, SC, YB), pp. 1626–1631.
DATE-2011-GizopoulosPARHSMBV #architecture #detection #fault #manycore #online: Architectures for online error detection and recovery in multicore processors (DG, MP, SVA, PR, SKSH, DJS, AM, AB, XV), pp. 533–538.
DATE-2011-HeGO #design #energy: Controlled timing-error acceptance for low energy IDCT design (KH, AG, MO), pp. 758–763.
DATE-2011-HuangHL #fault: Cross-layer optimized placement and routing for FPGA soft error mitigation (KH, YH, XL), pp. 58–63.
DATE-2011-MaW #detection #fault #low cost #named: LOEDAR: A low cost error detection and recovery scheme for ECC (KM, KW), pp. 1010–1015.
DATE-2011-MedwedM #detection #fault #logic: Arithmetic logic units with high error detection rates to counteract fault attacks (MM, SM), pp. 1644–1649.
DATE-2011-PalframanKL #detection #fault #low cost: Time redundant parity for low-cost transient error detection (DJP, NSK, MHL), pp. 52–57.
DATE-2011-RossiTSM #analysis #fault #memory management #performance #reliability: Error correcting code analysis for cache memory high reliability and performance (DR, NT, MS, CM), pp. 1620–1625.
DATE-2011-ShinG #fault: A new circuit simplification method for error tolerant applications (DS, SKG), pp. 1566–1571.
DATE-2011-YuH #fault #logic: Trigonometric method to handle realistic error probabilities in logic circuits (CCY, JPH), pp. 64–69.
DRR-2011-RabeuxJD #documentation #evaluation #fault #predict: Ancient documents bleed-through evaluation and its application for predicting OCR error rates (VR, NJ, JPD), pp. 1–10.
ICDAR-2011-KokawaBOWK #analysis #automation #classification #fault: An Impact of OCR Errors on Automated Classification of OCR Japanese Texts with Parts-of-Speech Analysis (AK, LSPB, WO, TW, FK), pp. 543–547.
ICDAR-2011-LundR #fault #multi: Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
ICDAR-2011-LundWR #fault #multi: Progressive Alignment and Discriminative Error Correction for Multiple OCR Engines (WBL, DDW, EKR), pp. 764–768.
SIGMOD-2011-MeliouGNS #fault: Tracing data errors with view-conditioned causality (AM, WG, SN, DS), pp. 505–516.
SIGMOD-2011-XiaoBHG #difference #fault #named #privacy: iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.
ESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
PLDI-2011-JoseM #fault #locality #satisfiability #using: Cause clue clauses: error localization using maximum satisfiability (MJ, RM), pp. 437–446.
PLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using: Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
STOC-2011-BravermanR #communication #fault #interactive #towards: Towards coding for maximum errors in interactive communication (MB, AR), pp. 159–166.
STOC-2011-HatamiL #correlation #fault #invariant #testing: Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.
ICALP-v1-2011-AroraG #algorithm #fault #learning: New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
ICALP-v1-2011-NgoPR #matrix: Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICFP-2011-GillF #fault #implementation #performance: Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.
CHI-2011-EgelmanOK #data access #facebook #fault: Oops, I did it again: mitigating repeated access control errors on facebook (SE, AO, SK), pp. 2295–2304.
CHI-2011-GuiardOP #fault #trade-off: Fitt’s law as an explicit time/error trade-off (YG, HBO, STP), pp. 1619–1628.
CHI-2011-WobbrockJS #2d #fault #modelling #predict: Modeling and predicting pointing errors in two dimensions (JOW, AJ, KS), pp. 1653–1656.
DHM-2011-ZhangWZQL #complexity #fault: Task Complexity Related Training Effects on Operation Error of Spaceflight Emergency Task (YZ, BW, XZ, WQ, ML), pp. 436–445.
HCI-UA-2011-HwangC #adaptation #design #fault #feedback #image #music: The Design of Adaptive Error Feedback Music Ear-Training System with Image Cues (YTH, CNC), pp. 35–38.
HCI-UA-2011-LeeKJ #analysis #fault: Control Error Analysis of Computerized Operational Environment in Nuclear Power Plants (SJL, JK, SCJ), pp. 360–367.
AdaEurope-2011-RazaFP #detection #fault #parallel #source code: Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.
ICEIS-v2-2011-LiOAK #fault #identification #modelling #network #using: Patterns Identification for Hitting Adjacent Key Errors Correction using Neural Network Models (JL, KO, MSA, HBK), pp. 5–12.
CIKM-2011-LiuLH #bound #fault #kernel #learning: Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.
ICML-2011-SunGRS #difference #fault #incremental: Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
KDD-2011-GhaniK #detection #fault #interactive #learning: Interactive learning for efficiently detecting errors in insurance claims (RG, MK), pp. 325–333.
SEKE-2011-FarahatE #fault #performance: Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
Onward-2011-MarceauFK #error message #fault #interactive: Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using: Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using: Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
ASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named: ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.
HPCA-2011-YoonMCRJE #fault #memory management #named: FREE-p: Protecting non-volatile memory against both hard and soft errors (DHY, NM, JC, PR, NPJ, ME), pp. 466–477.
LCTES-2011-SahaLM #approach #kernel #linux: An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
SOSP-2011-YinMZZBP #empirical #fault #open source: An empirical study on configuration errors in commercial and open source systems (ZY, XM, JZ, YZ, LNB, SP), pp. 159–172.
ICST-2011-ShenFZ #effectiveness #fault #named #ranking: EFindBugs: Effective Error Ranking for FindBugs (HS, JF, JZ), pp. 299–308.
ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer: Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
ASE-2010-HalleEBB #fault #model checking #navigation #runtime #state machine #web: Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.
ASE-2010-Holotescu #adaptation #black box #component: Error-avoiding adaptors for black-box software components (CH), pp. 487–492.
ASE-2010-NgocO #fault #using: Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.
ASE-2010-RederE #design #detection #fault #named #uml #visualisation: Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.
DAC-2010-ChangHKCW #3d #fault: An error tolerance scheme for 3D CMOS imagers (HMC, JLH, DMK, KT(C, CWW), pp. 917–922.
DAC-2010-KahngKKS #design #power management: Recovery-driven design: a power minimization methodology for error-tolerant processor modules (ABK, SK, RK, JS), pp. 825–830.
DAC-2010-LishernessC #fault #injection #named: SCEMIT: a systemc error and mutation injection tool (PL, KT(C), pp. 228–233.
DAC-2010-XieNXZLWYWL #analysis #fault: Crosstalk noise and bit error rate analysis for optical network-on-chip (YX, MN, JX, WZ, QL, XW, YY, XW, WL), pp. 657–660.
DAC-2010-YangLW #complexity #fault #named: ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
DATE-2010-AgyekumN #communication #hardware #robust: An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
DATE-2010-ChoudhuryCMA10a #fault #named #online: TIMBER: Time borrowing and error relaying for online timing error resilience (MRC, VC, KM, RCA), pp. 1554–1559.
DATE-2010-LeemCBJM #architecture #fault #named #probability: ERSA: Error Resilient System Architecture for probabilistic applications (LL, HC, JB, QAJ, SM), pp. 1560–1565.
DATE-2010-MayWBZSHZT #agile #multi #prototype: A rapid prototyping system for error-resilient multi-processor systems-on-chip (MM, NW, AB, JZ, WS, AH, DZ, JT), pp. 375–380.
DATE-2010-PascaARLC #3d #communication #fault: Error resilience of intra-die and inter-die communication with 3D spidergon STNoC (VP, LA, CR, RL, MC), pp. 275–278.
DATE-2010-ShafikAC #design #embedded #optimisation #power management: Soft error-aware design optimization of low power and time-constrained embedded systems (RAS, BMAH, KC), pp. 1462–1467.
DATE-2010-ShinG #approximate #fault #logic #synthesis: Approximate logic synthesis for error tolerant applications (DS, SKG), pp. 957–960.
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.
DATE-2010-WuM #scheduling: Clock skew scheduling for soft-error-tolerant sequential circuits (KCW, DM), pp. 717–722.
SIGMOD-2010-AgrawalAK #on the #set: On indexing error-tolerant set containment (PA, AA, RK), pp. 927–938.
ITiCSE-2010-Kumar #detection #fault #online #testing: The case for error detection support during online testing (ANK), p. 311.
TACAS-2010-ParizekK #component #detection #fault #java #performance #random #using: Efficient Detection of Errors in Java Components Using Random Environment and Restarts (PP, TK), pp. 451–465.
PASTE-2010-Rubio-GonzalezL #documentation #fault: Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
STOC-2010-KoppartyS #fault #linear #random #testing: Local list-decoding and testing of random linear codes from high error (SK, SS), pp. 417–426.
FLOPS-2010-Sagonas #concurrent #detection #erlang #fault #source code #static analysis #using: Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs (KFS), pp. 13–18.
CIAA-2010-Maletti #fault #performance: Better Hyper-minimization — Not as Fast, But Fewer Errors (AM), pp. 201–210.
ILC-2010-Mehnert #detection #fault #type inference #type system: Extending Dylan’s type system for better type inference and error detection (HM), pp. 1–10.
CHI-2010-ArifS #cost analysis #fault #predict: Predicting the cost of error correction in character-based text entry technologies (ASA, WS), pp. 5–14.
CHI-2010-HartmannMBK #error message #fault #what: What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.
CHI-2010-LankST #documentation #fault #injection #using: Estimating residual error rate in recognized handwritten documents using artificial error injection (EL, RS, MAT), pp. 1–4.
CHI-2010-MoffattM #fault #named: Steadied-bubbles: combining techniques to address pen-based pointing errors for younger and older adults (KM, JM), pp. 1125–1134.
CSCW-2010-Cataldo #collaboration #development #distributed #fault #tool support: Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CIKM-2010-LiDF #fault: Extending dictionary-based entity extraction to tolerate errors (GL, DD, JF), pp. 1341–1344.
CIKM-2010-WebberOSH #evaluation #fault: Assessor error in stratified evaluation (WW, DWO, FS, BH), pp. 539–548.
ECIR-2010-JamborW #approach #collaboration #fault: Goal-Driven Collaborative Filtering — A Directional Error Based Approach (TJ, JW), pp. 407–419.
ICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using: Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICPR-2010-AsheriRPR #adaptation #fault #framework #kernel #process: A Gaussian Process Regression Framework for Spatial Error Concealment with Adaptive Kernels (HA, HRR, NP, MHR), pp. 4541–4544.
ICPR-2010-CiompiPR #approach #random #using: A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.
ICPR-2010-DengSS #detection #network #pattern matching #pattern recognition #recognition: Applying Error-Correcting Output Coding to Enhance Convolutional Neural Network for Target Detection and Pattern Recognition (HD, GS, CYS), pp. 4291–4294.
ICPR-2010-EscaleraMPRP #fault #framework #online: Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.
ICPR-2010-KalalMM #automation #detection #fault: Forward-Backward Error: Automatic Detection of Tracking Failures (ZK, KM, JM), pp. 2756–2759.
ICPR-2010-LuoN #classification #fault #learning #multi #problem: Employing Decoding of Specific Error Correcting Codes as a New Classification Criterion in Multiclass Learning Problems (YL, KN), pp. 4238–4241.
ICPR-2010-SmithW #analysis: A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.
ICPR-2010-Tabassi #fault #image #metric #performance: Image Specific Error Rate: A Biometric Performance Metric (ET), pp. 1124–1127.
ICPR-2010-TanakaIKM #fault #kernel: A Relationship Between Generalization Error and Training Samples in Kernel Regressors (AT, HI, MK, MM), pp. 1421–1424.
ICPR-2010-WangB #automation #clustering #evaluation #fault #performance: Performance Evaluation of Automatic Feature Discovery Focused within Error Clusters (SYW, HSB), pp. 718–721.
KDD-2010-KumarGM #data mining #fault #health #mining #predict: Data mining to predict and prevent errors in health insurance claims processing (MK, RG, ZSM), pp. 65–74.
KDD-2010-PrengerLVCH #bound #classification #fault: Class-specific error bounds for ensemble classifiers (RJP, TDL, KRV, BYC, WGH), pp. 843–852.
SIGIR-2010-CarteretteS #evaluation #fault #information retrieval: The effect of assessor error on IR system evaluation (BC, IS), pp. 539–546.
OOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive: A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
SAC-2010-NetoGBPM #automation #documentation #fault #image #semantics: An automatic linking service of document images reducing the effects of OCR errors with latent semantics (RBN, JACG, AB, JP, AAM), pp. 13–17.
ASPLOS-2010-FengGAM #fault #named #probability #reliability #string: Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
ASPLOS-2010-YuanMXTZP #fault #named #runtime: SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
LCTES-2010-ShrivastavaLJ #embedded #equation #fault: Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
ASE-2009-MunkbyS #fault tolerance #predict #type inference: Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
DAC-2009-DasBBFA #design: Addressing design margins through error-tolerant circuits (SD, DB, DMB, KF, RA), pp. 11–12.
DAC-2009-KrishnaswamyMH #testing: Improving testability and soft-error resilience through retiming (SK, ILM, JPH), pp. 508–513.
DAC-2009-PapirlaC #energy #fault: Energy-aware error control coding for Flash memories (VP, CC), pp. 658–663.
DAC-2009-ShengXM #algorithm #fault #multi #optimisation #search-based #standard: Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.
DATE-2009-0001BW #case study #fault #network: Error correction in single-hop wireless sensor networks — A case study (DS, MB, NW), pp. 1296–1301.
DATE-2009-AlvesNDB #detection #fault #multi #using: Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.
DATE-2009-ChoudhuryM #fault #logic: Masking timing errors on speed-paths in logic circuits (MRC, KM), pp. 87–92.
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-GhermanECSB: System-level hardware-based protection of memories against soft-errors (VG, SE, MC, NS, YB), pp. 1222–1225.
DATE-2009-HolcombLS #analysis #design #fault: Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.
DATE-2009-LeeS #fault #static analysis: Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.
DATE-2009-LeveugleCMV #fault #injection #quantifier #statistics: Statistical fault injection: Quantified error and confidence (RL, AC, PM, PV), pp. 502–506.
ICDAR-2009-AbdulkaderC #fault #learning #low cost #multi #using: Low Cost Correction of OCR Errors Using Learning in a Multi-Engine Environment (AA, MRC), pp. 576–580.
ICDAR-2009-DengSS #network #recognition: Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition (HD, GS, CYS), pp. 581–585.
ICDAR-2009-LiuBMG #bound #detection #fault #sequence: Improving the Table Boundary Detection in PDFs by Fixing the Sequence Error of the Sparse Lines (YL, KB, PM, CLG), pp. 1006–1010.
ICDAR-2009-QuiniouCA #fault #recognition #word: Handling Out-of-Vocabulary Words and Recognition Errors Based on Word Linguistic Context for Handwritten Sentence Recognition (SQ, MC, ÉA), pp. 466–470.
ICDAR-2009-WangH #classification #design #fault #modelling #parametricity #precise #using: Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification Error Training and Parameter Compression (YW, QH), pp. 36–40.
PODS-2009-BerindeCIS #bound #fault: Space-optimal heavy hitters with strong error bounds (RB, GC, PI, MJS), pp. 157–166.
SIGMOD-2009-ChaudhuriK #fault: Extending autocompletion to tolerate errors (SC, RK), pp. 707–718.
VLDB-2009-MoerkotteNS #bound #estimation #fault: Preventing Bad Plans by Bounding the Impact of Cardinality Estimation Errors (GM, TN, GS), pp. 982–993.
FASE-2009-AcharyaX #api #mining #source code #specification: Mining API Error-Handling Specifications from Source Code (MA, TX), pp. 370–384.
ICSM-2009-PaudelD #fault: Modularizing error recovery (JP, CD), pp. 507–510.
WCRE-1999-KrishnamoorthyDF99a #detection #fault #static analysis: Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.
PEPM-2009-BoustaniH #error message #fault #java: Improving type error messages for generic java (NEB, JH), pp. 131–140.
PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system: Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
ICALP-v1-2009-AilonL #clustering #correlation #cost analysis #fault #problem: Correlation Clustering Revisited: The “True” Cost of Error Minimization Problems (NA, EL), pp. 24–36.
ICALP-v1-2009-DurandRS #complexity #fault: High Complexity Tilings with Sparse Errors (BD, AER, AS), pp. 403–414.
FM-2009-ReevesS #fault #robust #semantics: A Robust Semantics Hides Fewer Errors (SR, DS), pp. 499–515.
IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
SEFM-2009-NgocO #analysis #fault #model checking: Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.
CHI-2009-HoffmannSB #fault #named: TypeRight: a keyboard with tactile error prevention (AH, DS, JOB), pp. 2265–2268.
DHM-2009-AmantiniC #behaviour #fault #predict #simulation: A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
DHM-2009-JunLS #approach #fault #simulation: A Simulation Approach to Understand the Viability of RFID Technology in Reducing Medication Dispensing Errors (EJ, JL, XS), pp. 531–539.
DHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation: Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
HCI-VAD-2009-PhillipsG #fault: Developing a Nomenclature for EMR Errors (WP, YG), pp. 587–596.
CAiSE-2009-TrckaAS #anti #data flow #fault #workflow: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
ICEIS-J-2009-LipariBB #2d #fault #visual notation: Investigation of Error in 2D Vibrotactile Position Cues with Respect to Visual and Haptic Display Properties: A Radial Expansion Model for Improved Cuing (NGL, CWB, VBB), pp. 963–974.
ECIR-2009-LarsonTHR #fault #recognition #semantics #speech: Investigating the Global Semantic Impact of Speech Recognition Error on Spoken Content Collections (ML, MT, JH, MdR), pp. 755–760.
OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing: Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
SAC-2009-BerardNT #fault #simulation: Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate (SB, BN, JCT), pp. 1181–1185.
SAC-2009-CelikikB #performance #scalability: Fast error-tolerant search on very large texts (MC, HB), pp. 1724–1731.
ICSE-2009-ArandaV #debugging #fault #repository: The secret life of bugs: Going past the errors and omissions in software repositories (JA, GV), pp. 298–308.
LDTA-2008-LammelTK09 #fault #programming #source code #traversal: Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.
SLE-2009-JongeNKV #fault #flexibility #parsing: Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
HPCA-2009-FuLF #fault #process: Soft error vulnerability aware process variation mitigation (XF, TL, JABF), pp. 93–104.
LCTES-2009-LeeS #compilation #fault #optimisation: A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
SOSP-2009-PerkinsKLABCPSSSWZER #automation #fault: Automatically patching errors in deployed software (JHP, SK, SL, SPA, JB, MC, CP, FS, SS, GS, WFW, YZ, MDE, MCR), pp. 87–102.
CAV-2009-LahiriQR #concurrent #detection #fault #precise #smt #using: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers (SKL, SQ, ZR), pp. 509–524.
ISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification: Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.
TAP-2009-RatschanS #fault #hybrid #optimisation #quality: Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
TLCA-2009-StengerV #fault #haskell #parametricity #semantics: Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
ASE-2008-JaspanQA #fault #logic: Error Reporting Logic (CJ, TQ, JA), pp. 138–147.
CASE-2008-RohPSYC0LC #flexibility #using: Flexible docking mechanism using combination of magnetic force with error-compensation capability (SgR, JHP, YKS, KY, MC, HSK, HL, HRC), pp. 697–702.
DAC-2008-KurimotoSAYOTS #detection #fault #optimisation #scalability: Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling (MK, HS, RA, TY, HO, HT, HS), pp. 884–889.
DATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic: Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.
DATE-2008-FrechetteL #algorithm #detection #fault #self: Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.
DATE-2008-GizopoulosRMS #case study #fault: Soft Errors: System Effects, Protection Techniques and Case Studies (DG, KR, SM, PS).
DATE-2008-ShahidiG #multi #testing: Multi-Vector Tests: A Path to Perfect Error-Rate Testing (SS, SG), pp. 1178–1183.
DATE-2008-VemuJAPG #concurrent #detection #fault #logic #low cost: A low-cost concurrent error detection technique for processor control logic (RV, AJ, JAA, SP, RG), pp. 897–902.
DATE-2008-ZjajoG #analysis #fault #multi: Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
DRR-2008-Lopresti #fault #impact analysis #recognition: Measuring the impact of character recognition errors on downstream text analysis (DPL), p. 68150.
SIGMOD-2008-NavlakhaRS #bound #fault #graph #summary: Graph summarization with bounded error (SN, RR, NS), pp. 419–432.
ITiCSE-2008-Saravanos: Potential benefits of corrected-errors in AVBL (AS), p. 374.
WCRE-2008-KpodjedoRGA #evolution #fault #graph: Error Correcting Graph Matching Application to Software Evolution (SK, FR, PG, GA), pp. 289–293.
SAS-2008-ConwayDNB #analysis #fault #pointer #proving: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
ICALP-A-2008-BaswanaGSU #constant #distance #fault #graph #polynomial: Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error (SB, AG, SS, JU), pp. 609–621.
ICALP-A-2008-RodittyS #fault #sublinear: All-Pairs Shortest Paths with a Sublinear Additive Error (LR, AS), pp. 622–633.
ICALP-C-2008-PrzydatekW: Error-Tolerant Combiners for Oblivious Primitives (BP, JW), pp. 461–472.
FM-2008-ChalinR #fault #ml #performance #runtime #using: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
SEFM-2008-BalakrishnanG #fault #named: PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.
IFL-2008-TellerSV #fault #lightweight #ml #performance #polymorphism #type safety: Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
CHI-2008-ClawsonLRIS #automation #fault #type system #using: Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing (JC, KL, AR, RAI, TS), pp. 573–582.
CHI-2008-RatwaniMT #eye tracking #fault #predict #using: Predicting postcompletion errors using eye movements (RMR, JMM, JGT), pp. 539–542.
CHI-2008-WobbrockCHM #fault: An error model for pointing based on Fitts’ law (JOW, EC, SH, ISM), pp. 1613–1622.
ICEIS-ISAS2-2008-FahadQN #consistency #fault #nondeterminism #ontology: Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.
CIKM-2008-HuangMG #categorisation #framework #multi: Error-driven generalist+experts (edge): a multi-stage ensemble framework for text categorization (JH, OM, CLG), pp. 83–92.
ECIR-2008-KritharaARG #classification #documentation #fault: Semi-supervised Document Classification with a Mislabeling Error Model (AK, MRA, JMR, CG), pp. 370–381.
ICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #low level #precise: Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
ICML-2008-FrancLM #fault: Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
ICML-2008-ZhangTK #analysis #approximate #fault #rank: Improved Nyström low-rank approximation and error analysis (KZ, IWT, JTK), pp. 1232–1239.
ICPR-2008-EscaleraPR: Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.
ICPR-2008-EscaleraPR08a: Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.
ICPR-2008-PohK #authentication #bound #fault #multimodal #on the #using: On using error bounds to optimize cost-sensitive multimodal biometric authentication (NP, JK), pp. 1–4.
ICPR-2008-YangB #algorithm #fault #sketching #using: Curve fitting algorithm using iterative error minimization for sketch beautification (JY, HB), pp. 1–4.
RecSys-2008-DingZYZFB #collaboration #fault #predict #statistics: Boosting collaborative filtering based on statistical prediction errors (SD, SZ, QY, XZ, RF, LDB), pp. 3–10.
TOOLS-EUROPE-2008-SteimannES #fault #testing #towards: Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.
SAC-2008-FreryRNN #estimation #fault #network: Error estimation in wireless sensor networks (ACF, HSR, JAN, EFN), pp. 1923–1928.
SAC-2008-ShenK #fault #named #uml: ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
FSE-2008-BoddenLH #fault #monitoring #programming #runtime: Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
SPLC-2008-WhiteSBTC #automation #fault #feature model #modelling #product line: Automated Diagnosis of Product-Line Configuration Errors in Feature Models (JW, DCS, DB, PT, ARC), pp. 225–234.
ASPLOS-2008-LiRSAAZ #comprehension #design #fault: Understanding the propagation of hard errors to software and implications for resilient system design (MLL, PR, SKS, SVA, VSA, YZ), pp. 265–276.
ISSTA-2008-PachecoLB #dot-net #fault #random testing #testing: Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
CBSE-2007-CortellessaG #approach #component #fault #modelling #reliability: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems (VC, VG), pp. 140–156.
ASE-2007-Grechanik #component #fault #xml: Finding errors in components that exchange xml data (MG), pp. 264–273.
CASE-2007-ChalfounBKP #fault #matrix #using: Calibration Using Generalized Error Matrices of a Long Reach Articulated Carrier (JC, CB, DK, YP), pp. 777–782.
CASE-2007-XiongX #fault #multi #on the: On the Error Elimination for Multi-Axis CNC Machining (CX, YLX), pp. 412–417.
DATE-2007-GillPW #fault #interactive #power management #symmetry: Interactive presentation: A new asymmetric SRAM cell to reduce soft errors and leakage power in FPGA (BSG, CAP, FGW), pp. 1460–1465.
DATE-2007-HsiehLB #detection #fault #reduction: Reduction of detected acceptable faults for yield improvement via error-tolerance (TYH, KJL, MAB), pp. 1599–1604.
DATE-2007-HungIGS #fault: Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.
DATE-2007-JangKL #fault #profiling #reduction #self: Error rate reduction in DNA self-assembly by non-constant monomer concentrations and profiling (BJ, YBK, FL), pp. 847–852.
DATE-2007-Miskov-ZivanovM #analysis #fault: Soft error rate analysis for sequential circuits (NMZ, DM), pp. 1436–1441.
DATE-2007-PanC #analysis #component #fault #framework #quality #reliability: A framework for system reliability analysis considering both system error tolerance and component test quality (SJ(RP, KTC), pp. 1581–1586.
DATE-2007-SeshiaLM #fault: Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.
ICDAR-2007-BeaufortM #fault #finite #framework: A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR (RB, CMT), pp. 889–893.
ICDAR-2007-CaoPNM #bottom-up #fault #robust #segmentation #top-down: Robust Page Segmentation Based on Smearing and Error Correction Unifying Top-down and Bottom-up Approaches (HC, RP, PN, EM), pp. 392–396.
ICDAR-2007-QuiniouA #detection #fault #network #online #recognition: Use of a Confusion Network to Detect and Correct Errors in an On-Line Handwritten Sentence Recognition System (SQ, ÉA), pp. 382–386.
ICDAR-2007-RinglstetterRGS #fault: Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries (CR, UR, AG, KUS), pp. 639–643.
ICDAR-2007-WickRL #fault #modelling #topic #using: Context-Sensitive Error Correction: Using Topic Models to Improve OCR (MLW, MGR, EGLM), pp. 1168–1172.
ICDAR-2007-ZhangLS #fault #online #recognition: Minimum Error Discriminative Training for Radical-Based Online Chinese Handwriting Recognition (YZ, PL, FKS), pp. 53–57.
ICPC-2007-ZhangI #analysis #fault: Error Report Driven Post-Mortem Analysis (YZ, SPI), pp. 208–220.
ICSM-2007-FilhoGR #aspect-oriented #fault: Extracting Error Handling to Aspects: A Cookbook (FCF, AG, CMFR), pp. 134–143.
PLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using: Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
PLDI-2007-HaRDRRPCW #black box #component #fault: Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.
PLDI-2007-LernerFGC #error message: Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.
PLDI-2007-NovarkBZ #automation #fault #memory management #named #probability: Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.
PLDI-2007-ZhangTGG #execution #fault #towards: Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
SAS-2007-LalKRT #fault: Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
STOC-2007-Kenyon-MathieuS #fault #how #rank: How to rank with few errors (CKM, WS), pp. 95–103.
ICALP-2007-IwamaNRY #bound #communication #complexity #quantum: Unbounded-Error One-Way Classical and Quantum Communication Complexity (KI, HN, RR, SY), pp. 110–121.
HCI-AS-2007-Furukawa #challenge #effectiveness #fault #injection #question #what: Challenge for Preventing Medication Errors -Learn from Errors- : What Is the Most Effective Label Display to Prevent Medication Error for Injectable Drug ? (HF), pp. 437–442.
HCI-AS-2007-Tsuchiya #fault #metric #order: Medication Errors Caused by Order Entry System and Prevention Measures (FT), pp. 535–543.
HCI-AS-2007-ZhangLL #algorithm #fault #random: A Routing Algorithm for Random Error Tolerance in Network-on-Chip (LZ, HL, XL), pp. 1210–1219.
HCI-MIE-2007-ChenC07a #algorithm #design #fault #feedback: An Improved H.264 Error Concealment Algorithm with User Feedback Design (XC, YYC), pp. 815–820.
HCI-MIE-2007-XuBAM #empirical #fault #recognition #speech: An Empirical Study on Users’ Acceptance of Speech Recognition Errors in Text-Messaging (SX, SB, MA, DM), pp. 232–242.
HIMI-MTT-2007-NishimuraH #approach #case study #data mining #fault #mining #visualisation: The Study of Past Working History Visualization for Supporting Trial and Error Approach in Data Mining (KN, MH), pp. 327–334.
ICML-2007-SunKR #fault #metric #robust: Robust mixtures in the presence of measurement errors (JS, AK, SR), pp. 847–854.
ICML-2007-YamazakiKWSM #fault: Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.
SIGIR-2007-TanW #categorisation: Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
OOPSLA-2007-BondNKGM #fault #null: Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.
ESEC-FSE-2007-MizunoK #detection #empirical #fault: Training on errors experiment to detect fault-prone software modules by spam filter (OM, TK), pp. 405–414.
HPCA-2007-MeixnerS #detection #fault #online: Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures (AM, DJS), pp. 145–156.
ICLP-2007-PietrzakH #automation #fault #logic programming #source code: Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.
ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime: Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
CASE-2006-RenWJXY #analysis #fault: A Methodology to Model Human and Organisational Errors on Offshore Risk Analysis (JR, JW, IJ, DLX, JBY), pp. 144–149.
DAC-2006-AziziN #product line: A family of cells to reduce the soft-error-rate in ternary-CAM (NA, FNN), pp. 779–784.
DAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction: MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DATE-2006-AlmukhaizimM #concurrent #detection #fault: Berger code-based concurrent error detection in asynchronous burst-mode machines (SA, YM), pp. 71–72.
DATE-2006-GillPW #analysis #fault #logic: Soft delay error analysis in logic circuits (BSG, CAP, FGW), pp. 47–52.
DATE-2006-IgnatNSN #classification #impact analysis #operating system #realtime: Soft-error classification and impact analysis on real-time operating systems (NI, BN, YS, GN), pp. 182–187.
DATE-2006-Kim #fault: Area-efficient error protection for caches (SK), pp. 1282–1287.
DATE-2006-KrautzP0TWV #detection #fault #formal method #logic #using: Evaluating coverage of error detection logic for soft errors using formal methods (UK, MP, CJ, HWT, KW, HTV), pp. 176–181.
DATE-2006-NepalBMPZ #design #fault #memory management: Designing MRF based error correcting circuits for memory elements (KN, RIB, JLM, WRP, AZ), pp. 792–793.
DATE-2006-RaoCBS #algorithm #fault #performance: An efficient static algorithm for computing the soft error rates of combinational circuits (RRR, KC, DB, DS), pp. 164–169.
ICSM-2006-NgoT #fault #maintenance: A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.
MSR-2006-WeissgerberD #question #refactoring: Are refactorings less error-prone than other changes? (PW, SD), pp. 112–118.
STOC-2006-GavinskyKRW #bound #communication #complexity #exponential #identification #quantum: Bounded-error quantum state identification and exponential separations in communication complexity (DG, JK, OR, RdW), pp. 594–603.
STOC-2006-MoshkovitzR #fault: Sub-constant error low degree test of almost-linear size (DM, RR), pp. 21–30.
IFL-2006-HageH #fault #heuristic: Heuristics for Type Error Discovery and Recovery (JH, BH), pp. 199–216.
CHI-2006-BurkeAI #fault: Error correction of voicemail transcripts in SCANMail (MB, BA, PLI), pp. 339–348.
CHI-2006-GongT #evaluation #fault #metric: A new error metric for text entry method evaluation (JG, PT), pp. 471–474.
AdaEurope-2006-BreuerP #fault #kernel #linux #source code #static analysis: One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.
ICPR-v1-2006-AdachiKO #estimation #fault #reliability: Reliability index of optical flow that considers error margin of matches and stabilizes camera movement estimation (EA, TK, NO), pp. 699–702.
ICPR-v1-2006-AnwarF #fault #robust #towards: Towards Robust Voxel-Coloring: Handling Camera Calibration Errors and Partial Emptiness of Surface Voxels (ZA, FPF), pp. 98–102.
ICPR-v1-2006-BriassouliA #estimation #fault #fourier #segmentation: Spatial and Fourier Error Minimization for Motion Estimation and Segmentation (AB, NA), pp. 94–97.
ICPR-v1-2006-Lhuillier #effectiveness #fault #using: Effective and Generic Structure from Motion using Angular Error (ML), pp. 67–70.
ICPR-v2-2006-PriorW #fault #parametricity #probability #random #using: Parameter Tuning using the Out-of-Bootstrap Generalisation Error Estimate for Stochastic Discrimination and Random Forests (MP, TW), pp. 498–501.
ICPR-v2-2006-SaragihG #bound #fault: Iterative Error Bound Minimisation for AAM Alignment (JS, RG), pp. 1192–1195.
ICPR-v2-2006-TakiguchiOM #case study #comprehension #fault #recognition: A Study on Character Recognition Error Correction at Higher Level Recognition Step for Mathematical Formulae Understanding (YT, MO, YM), pp. 966–969.
ICPR-v3-2006-ChanL #algorithm #approximate #fault #multi #performance: Multiplierless Fast DCT Algorithms with Minimal Approximation Errors (RKWC, MCL), pp. 921–925.
ICPR-v4-2006-EscaleraPR #fault: Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.
ICPR-v4-2006-NeuhausB #graph #kernel: A Convolution Edit Kernel for Error-tolerant Graph Matching (MN, HB), pp. 220–223.
KDD-2006-Forman #classification #fault #roadmap: Quantifying trends accurately despite classifier error and class imbalance (GF), pp. 157–166.
SIGIR-2006-SteinAF #classification #fault: The effect of OCR errors on stylistic text classification (SSS, SA, OF), pp. 701–702.
FSE-2006-DwyerPE #detection #fault: Controlling factors in evaluating path-sensitive error detection techniques (MBD, SP, SGE), pp. 92–104.
CGO-2006-BorinWWA #control flow #detection #fault: Software-Based Transparent and Comprehensive Control-Flow Error Detection (EB, CW, YW, GA), pp. 333–345.
HPCA-2006-KumarA #concurrent #detection #fault #performance: Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors (SK, AA), pp. 212–221.
OSDI-2006-YangSE #fault #lightweight #named: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
PPoPP-2006-WangS #concurrent #detection #fault #performance #runtime #source code: Accurate and efficient runtime detection of atomicity errors in concurrent programs (LW, SDS), pp. 137–146.
VMCAI-2006-Younes #fault #model checking #probability: Error Control for Probabilistic Model Checking (HLSY), pp. 142–156.
DAC-2005-MitraKSZ #challenge #design #fault #logic: Logic soft errors in sub-65nm technologies design and CAD challenges (SM, TK, NS, MZ), pp. 2–4.
DATE-2005-AlmukhaizimM #concurrent #detection #fault: Concurrent Error Detection in Asynchronous Burst-Mode Controllers (SA, YM), pp. 1272–1277.
DATE-2005-DhillonDC #analysis #optimisation: Soft-Error Tolerance Analysis and Optimization of Nanometer Circuits (YSD, AUD, AC), pp. 288–293.
DATE-2005-HashempourSL #evaluation #reliability #testing: Evaluation of Error-Resilience for Reliable Compression of Test Data (HH, LS, FL), pp. 1284–1289.
DATE-2005-HuLDKVI #detection #fault: Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.
DATE-2005-KaulSBMA #design #fault: DVS for On-Chip Bus Designs Based on Timing Error Correction (HK, DS, DB, TNM, TMA), pp. 80–85.
DATE-2005-MemikKO #fault: Increasing Register File Immunity to Transient Errors (GM, MTK, ÖÖ), pp. 586–591.
DATE-2005-VandersteenLJRP #framework #modelling #scalability: Estimating Scalable Common-Denominator Laplace-Domain MIMO Models in an Errors-in-Variables Framework (GV, LDL, SJ, YR, RP), pp. 1076–1081.
DATE-2005-YangVTV #automation #debugging #design #fault #modelling #power management: Extraction Error Modeling and Automated Model Debugging in High-Performance Low Power Custom Designs (YSY, AGV, PJT, SV), pp. 996–1001.
DRR-2005-GarrisonDAS #database #fault: Study of style effects on OCR errors in the MEDLINE database (PG, DLD, TLA, EHBS), pp. 28–36.
ICDAR-2005-RinglstetterSML #fault: The Same is Not The same — Post Correction of Alphabet Confusion Errors in Mixed-Alphabet OCR Recognation (CR, KUS, SM, KL), pp. 406–410.
ICDAR-2005-ZhouS #approach #fault #recognition #using: Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.
VLDB-2005-KarrasM #metric: One-Pass Wavelet Synopses for Maximum-Error Metrics (PK, NM), pp. 421–432.
TACAS-2005-WeimerN #detection #fault #mining #specification: Mining Temporal Specifications for Error Detection (WW, GCN), pp. 461–476.
MSR-2005-GorgW #detection #fault #re-engineering #refactoring: Error detection by refactoring reconstruction (CG, PW), pp. 86–90.
STOC-2005-DodisS #fault: Correcting errors without leaking partial information (YD, AS), pp. 654–663.
STOC-2005-Regev #encryption #fault #learning #linear #on the #random: On lattices, learning with errors, random linear codes, and cryptography (OR), pp. 84–93.
ICML-2005-BeygelzimerDHLZ #classification #fault #reduction: Error limiting reductions between classification tasks (AB, VD, TPH, JL, BZ), pp. 49–56.
ICML-2005-JoachimsH #bound #clustering #correlation #fault: Error bounds for correlation clustering (TJ, JEH), pp. 385–392.
ICML-2005-KaariainenL #bound #comparison #fault: A comparison of tight generalization error bounds (MK, JL), pp. 409–416.
ICML-2005-SunTLW #framework: Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.
KDD-2005-GuhaH #data type #fault: Wavelet synopsis for data streams: minimizing non-euclidean error (SG, BH), pp. 88–97.
KDD-2005-KoppelSZ #fault #mining: Determining an author’s native language by mining a text for errors (MK, JS, KZ), pp. 624–628.
KDD-2005-Torgo #fault: Regression error characteristic surfaces (LT), pp. 697–702.
SIGIR-2005-LinH #fault #retrieval #set #topic: Revisiting the effect of topic set size on retrieval error (WHL, AGH), pp. 637–638.
OOPSLA-2005-MartinLL #fault #query #security #using: Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.
POPL-2005-XieA #detection #fault #satisfiability #scalability #using: Scalable error detection using boolean satisfiability (YX, AA), pp. 351–363.
SAC-2005-MartinB #fault: Estimating manifold dimension by inversion error (SM, AB), pp. 22–26.
ESEC-FSE-2005-LivshitsZ #fault #mining #named: DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.
HPCA-2005-MukherjeeER #architecture #fault #perspective #problem: The Soft Error Problem: An Architectural Perspective (SSM, JSE, SKR), pp. 243–247.
VMCAI-2005-Hymans #abstract interpretation #fault #verification: Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
VMCAI-2005-KumarKV #complexity #fault #on the: On the Complexity of Error Explanation (NK, VK, MV), pp. 448–464.
CBSE-2004-BeckerOR #adaptation #component #fault: Classifying Software Component Interoperability Errors to Support Component Adaption (SB, SO, RHR), pp. 68–83.
ASE-2004-MemonX #automation #fault #persistent #testing #using: Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software (AMM, QX), pp. 186–195.
ASE-2004-Taghdiri #detection #fault #specification: Inferring Specifications to Detect Errors in Code (MT), pp. 144–153.
DAC-2004-Iyer #detection #fault: Hierarchical application aware error detection and recovery (RKI), p. 79.
DATE-v1-2004-AlmukhaizimDM #bound #concurrent #detection #fault #latency #on the: On Concurrent Error Detection with Bounded Latency in FSMs (SA, PD, YM), pp. 596–603.
DATE-v1-2004-GinesPR #fault #pipes and filters: Digital Background Gain Error Correction in Pipeline ADCs (AJG, EJP, AR), pp. 82–87.
DATE-v2-2004-LeiningerGM #configuration management: Diagnosis of Scan-Chains by Use of a Configurable Signature Register and Error-Correcting Code (AL, MG, PM), pp. 1302–1309.
PODS-2004-GarofalakisK #metric: Deterministic Wavelet Thresholding for Maximum-Error Metrics (MNG, AK), pp. 166–176.
VLDB-2004-GuhaSW #algorithm #fault #named: REHIST: Relative Error Histogram Construction Algorithms (SG, KS, JW), pp. 300–311.
VLDB-2004-KoudasOT0 #approximate #bound #fault #performance #query: Approximate NN queries on Streams with Guaranteed Error/performance Bounds (NK, BCO, KLT, RZ), pp. 804–815.
ESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
TACAS-2004-Groce #distance #fault #metric: Error Explanation with Distance Metrics (AG), pp. 108–122.
STOC-2004-ColeGL #fault #taxonomy: Dictionary matching and indexing with errors and don’t cares (RC, LAG, ML), pp. 91–100.
CIAA-2004-FerroOG #fault #finite: Regional Finite-State Error Repair (MVF, JO, JGG), pp. 269–280.
ICALP-2004-GuruswamiI #linear: Linear-Time List Decoding in Error-Free Settings: (Extended Abstract) (VG, PI), pp. 695–707.
IFM-2004-CurzonB #case study #design #fault: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
IFL-2004-Gast #data flow #fault #ml: Explaining ML Type Errors by Data Flows (HG), pp. 72–89.
ICPR-v1-2004-KangD #approximate #bound #classification #fault: Product Approximation by Minimizing the Upper Bound of Bayes Error Rate for Bayesian Combination of Classifiers (HJK, DSD), pp. 252–255.
ICPR-v1-2004-ParkL #distance #fault #identification #image #using: Enhancing Low-Resolution Facial Images Using Error Back-Projection for Human Identification at a Distance (JSP, SWL), pp. 346–349.
ICPR-v2-2004-DeselaersKN #classification #evaluation #fault #image #retrieval: Classification Error Rate for Quantitative Evaluation of Content-based Image Retrieval Systems (TD, DK, HN), pp. 505–508.
ICPR-v3-2004-BolleRP #estimation #evaluation #fault: An Evaluation of Error Confidence Interval Estimation Methods (RMB, NKR, SP), pp. 103–106.
ICPR-v3-2004-FinlaysonM: Error-Less Colour Correctio (GDF, PMM), pp. 181–185.
ICPR-v3-2004-ParedesV #fault #learning #nearest neighbour #prototype #reduction: Learning Prototypes and Distances (LPD). A Prototype Reduction Technique based on Nearest Neighbor Error Minimization (RP, EV), pp. 442–445.
ICPR-v4-2004-AlisiBPV #collaboration #distributed #fault: Motion Capture Based on Color Error Maps in a Distributed Collaborative Environment (TMA, ADB, FP, AV), pp. 953–956.
ICPR-v4-2004-LaiY #algorithm #fault #network #predict: Successive-Least-Squares Error Algorithm on Minimum Description Length Neural Networks for Time Series Prediction (YNL, SYY), pp. 609–612.
ICPR-v4-2004-MayoralA #evaluation #fault: Evaluation of Correspondence Errors for Stereo (RM, MA), pp. 104–107.
ICPR-v4-2004-ShihKG #analysis #bound #fault #image: An Error Bound of Relative Image Blur Analysis (SWS, PSK, WSG), pp. 100–103.
OOPSLA-2004-WeimerN #fault #runtime: Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
SAC-2004-AlbaC #fault #heuristic #hybrid #parallel #problem: Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SAC-2004-BlaserSMJKL #fault #using: Potential prevention of medical errors in casualty surgery by using information technology (RB, MS, DM, PJ, KK, RL), pp. 285–290.
FSE-2004-KremenekAYE #correlation #fault #ranking: Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
ICSE-2004-BrunE #fault #machine learning: Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
ASPLOS-2004-SmolensGKFHN #bound #detection #latency #named: Fingerprinting: bounding soft-error detection latency and bandwidth (JCS, BTG, JK, BF, JCH, AN), pp. 224–234.
OSDI-2004-YangTEM #exclamation #fault #file system #model checking #using: Using Model Checking to Find Serious File System Errors (Awarded Best Paper!) (JY, PT, DRE, MM), pp. 273–288.
ASE-2003-AhmadAGK #detection #fault #spreadsheet #type system: A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.
DATE-2003-DrineasM #concurrent #detection #fault #monitoring: Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.
DATE-2003-NicolescuV #approach #detection #fault #tool support: Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
DATE-2003-RebaudengoRV #analysis #fault #pipes and filters: An Accurate Analysis of the Effects of Soft Errors in the Instruction and Data Caches of a Pipelined Microprocessor (MR, MSR, MV), pp. 10602–10607.
DATE-2003-WegenerK #fault #identification #linear #modelling: Linear Model-Based Error Identification and Calibration for Data Converters (CW, MPK), pp. 10630–10635.
DRR-2003-LuanLD #documentation: General Chinese document capture system with an improved error-rejecting module (DL, CL, XD), pp. 257–265.
ESOP-2003-HaackW #fault #higher-order #slicing: Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
ICALP-2003-HoyerMW #bound #quantum: Quantum Search on Bounded-Error Inputs (PH, MM, RdW), pp. 291–299.
ICFP-2003-NeubauerT #fault: Discriminative sum types locate the source of type errors (MN, PT), pp. 15–26.
CHI-2003-SoukoreffM #evaluation #fault #metric #research: Metrics for text entry research: an evaluation of MSD and KSPC, and a new unified error metric (RWS, ISM), pp. 113–120.
ICML-2003-BiB #fault: Regression Error Characteristic Curves (JB, KPB), pp. 43–50.
ICML-2003-Munos #approximate #bound #fault #policy: Error Bounds for Approximate Policy Iteration (RM), pp. 560–567.
SIGIR-2003-HuBZ #analysis #fault #topic: Error analysis of difficult TREC topics (XH, SB, CZ), pp. 407–408.
OOPSLA-2003-DemskyR #automation #data type #detection #fault: Automatic detection and repair of errors in data structures (BD, MCR), pp. 78–95.
POPL-2003-BallNR #fault: From symptom to cause: localizing errors in counterexample traces (TB, MN, SKR), pp. 97–105.
ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
SAT-2003-Bruni #fault #satisfiability #scalability #set: Solving Error Correction for Large Data Sets by Means of a SAT Solver (RB), pp. 229–241.
DATE-2002-BertozziBM #encoding #fault #power management: Low Power Error Resilient Encoding for On-Chip Data Buses (DB, LB, GDM), pp. 102–109.
DATE-2002-BruschiCFS #design #fault #simulation: Error Simulation Based on the SystemC Design Description Language (FB, MC, FF, DS), p. 1135.
DATE-2002-VenerisLAA #fault #incremental #multi: Incremental Diagnosis and Correction of Multiple Faults and Errors (AGV, JBL, MA, MSA), pp. 716–721.
SIGMOD-2002-GarofalakisG #fault: Wavelet synopses with error guarantees (MNG, PBG), pp. 476–487.
ESOP-2002-Martel #approach #fault #finite #precise #semantics: Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
TACAS-2002-JinRS #fault: Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.
WCRE-2002-TanT #fault #program analysis #transaction #verification: Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
CIAA-2002-FerroDA #fault: Searching for Asymptotic Error Repair (MVF, VMD, MAA), pp. 276–281.
ICEIS-2002-IglesiasMCCF #database #design #education #fault #learning: Learning to Teach Database Design by Trial and Error (AI, PM, DC, EC, FF), pp. 500–505.
CIKM-2002-WibowoW #categorisation #fault #web: Strategies for minimising errors in hierarchical web categorisation (WW, HEW), pp. 525–531.
ICML-2002-ElomaaR #fault #performance: Fast Minimum Training Error Discretization (TE, JR), pp. 131–138.
ICML-2002-TeowLNY #approach #fault #feature model: Refining the Wrapper Approach — Smoothed Error Estimates for Feature Selection (LNT, HL, HTN, EY), pp. 626–633.
ICPR-v1-2002-ZhangD #classification #fault #recognition: Minimum Classification Error Training for Handwritten Character Recognition (RZ, XD), pp. 580–583.
ICPR-v2-2002-GuangmingJMHX #algorithm #data type #fault #metric: A New Mesh Simplification Algorithm Combining Half-Edge Data Structure with Modified Quadric Error Metric (GL, JT, MZ, HH, XZ), pp. 659–658.
ICPR-v2-2002-HuangT #classification #fault #pattern matching #pattern recognition #recognition: An RBF-Based Pattern Recognition Method by Competitively Reducing Classification-Oriented Error (YSH, YHT), pp. 180–183.
ICPR-v2-2002-RidderPD #classification #complexity #fault: The Economics of Classification: Error vs. Complexity (DdR, EP, RPWD), pp. 244–247.
ICPR-v2-2002-RoliFV #analysis #classification #trade-off: Analysis of Error-Reject Trade-off in Linearly Combined Classifiers (FR, GF, GV), pp. 120–125.
ICPR-v3-2002-PankantiRB #case study #fault #verification: Structure in Errors: A Case Study in Fingerprint Verification (SP, NKR, RMB), pp. 440–447.
ICPR-v3-2002-PeiC #adaptation #fault #novel #predict: Novel Error Concealment Method with Adaptive Prediction to the Abrupt and Gradual Scene Changes (SCP, YZC), pp. 827–830.
ICPR-v3-2002-TakasuA #fault #named #recognition: DVHMM: Variable Length Text Recognition Error Model (AT, KA), pp. 110–114.
ICPR-v4-2002-KubotaMK #fault #learning #optimisation: A Discriminative Learning Criterion for the Overall Optimization of Error and Reject (SK, HM, YK), pp. 98–102.
KDD-2002-KumarPW #clustering #fault: Clustering seasonality patterns in the presence of errors (MK, NRP, JW), pp. 557–563.
SIGIR-2002-Tseng #fault: Error correction in a Chinese OCR test collection (YHT), pp. 429–430.
SIGIR-2002-VoorheesB #empirical #fault #retrieval #set #topic: The effect of topic set size on retrieval experiment error (EMV, CB), pp. 316–323.
FSE-2002-XieE #fault #using: Using redundancies to find errors (YX, DRE), pp. 51–60.
HPDC-2002-ThainL #fault #grid #theory and practice: Error Scope on a Computational Grid: Theory and Practice (DT, ML), pp. 199–208.
CADE-2002-Ahrendt #data type #deduction #fault #generative #specification #using: Deductive Search for Errors in Free Data Type Specifications Using Model Generation (WA), pp. 211–225.
ISSTA-2002-HillerJS #fault #named: PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.
DAC-2001-KarriWMK #concurrent #detection #fault #symmetry: Concurrent Error Detection of Fault-Based Side-Channel Cryptanalysis of 128-Bit Symmetric Block Ciphers (RK, KW, PM, YK), pp. 579–585.
DAC-2001-LeeT #fault #verification: Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System (RL, BT), pp. 822–827.
DATE-2001-FavalliM #detection #fault #optimisation: Optimization of error detecting codes for the detection of crosstalk originated errors (MF, CM), pp. 290–296.
DATE-2001-NayakHCB #analysis #automation #fault #hardware #matlab #precise #synthesis: Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs (AN, MH, ANC, PB), pp. 722–728.
DATE-2001-VandersteenWRSDEB #estimation #multi #performance: Efficient bit-error-rate estimation of multicarrier transceivers (GV, PW, YR, JS, SD, ME, IB), pp. 164–168.
ICDAR-2001-BahlmannB #fault #online #probability #recognition #similarity: Measuring HMM Similarity with the Bayes Probability of Error and its Application to Online Handwriting Recognition (CB, HB), pp. 406–411.
ICDAR-2001-Ishitani #documentation #fault #image #information management #modelling: Model-Based Information Extraction Method Tolerant of OCR Errors for Document Images (YI), pp. 908–915.
ITiCSE-2001-LancasterC #detection #fault #process #towards: Towards an error free plagarism detection process (TL, FC), pp. 57–60.
ITiCSE-2001-ThomasL #distance #fault #learning #student #using: Observational studies of student errors in a distance learning environment using a remote recording and replay tool (PT, KL), pp. 117–120.
ICFP-2001-Chitil #algorithm #composition #debugging #fault: Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.
AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using: Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
CIKM-2001-MarcusML #fault #identification #set: Ordinal Association Rules for Error Identification in Data Sets (AM, JIM, KIL), pp. 589–591.
ICML-2001-RoyM #estimation #fault #learning #reduction #towards: Toward Optimal Active Learning through Sampling Estimation of Error Reduction (NR, AM), pp. 441–448.
KDD-2001-YangFB #performance: Efficient discovery of error-tolerant frequent itemsets in high dimensions (CY, UMF, PSB), pp. 194–203.
SEKE-2001-TanTL #design #fault #transaction: Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.
SOSP-2001-ChouYCHE #empirical #fault #operating system: An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault: Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
DAC-2000-LachMP #debugging #detection #fault #locality #performance: Efficient error detection, localization, and correction for FPGA-based debugging (JL, WHMS, MP), pp. 207–212.
DATE-2000-FinF #fault #functional #generative #testing: A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATE-2000-HoffmannK #fault #multi: Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits (DWH, TK), p. 758.
DATE-2000-VardanianM #concurrent #detection #fault: Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check (VAV, LBM), p. 762.
PODS-2000-CharikarCMN #estimation #fault #towards: Towards Estimation Error Guarantees for Distinct Values (MC, SC, RM, VRN), pp. 268–279.
VLDB-2000-YuV #bound #fault #network #performance: Efficient Numerical Error Bounding for Replicated Network Services (HY, AV), pp. 123–133.
TACAS-2000-GnesiLLAAM #fault #specification #validation: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.
STOC-2000-KatzT #on the #performance: On the efficiency of local decoding procedures for error-correcting codes (JK, LT), pp. 80–86.
CIAA-2000-FerroDR #fault: Regional Least-Cost Error Repair (MVF, VMD, FJR), pp. 293–301.
WLC-2000-Konstantinidis #detection: Error-Detecting Properties of Languages (SK), pp. 240–252.
CSCW-2000-TwidaleM #fault #process #robust: Coping with errors: the importance of process data in robust sociotechnical systems (MT, PFM), pp. 269–278.
ICML-2000-Ghani #classification #using: Using Error-Correcting Codes for Text Classification (RG), pp. 303–310.
ICML-2000-WalkerWL #comprehension #fault #identification #natural language #using: Using Natural Language Processing and discourse Features to Identify Understanding Errors (MAW, JHW, IL), pp. 1111–1118.
ICPR-v1-2000-OkataniD #fault #image #metric #multi: A Method for Fine Registration of Multiple View Range Images Considering the Measurement Error Properties (ISO, KD), pp. 1280–1283.
ICPR-v1-2000-SappaG #bound #fault #image #modelling #optimisation: Modeling Range Images with Bounded Error Triangular Meshes without Optimization (ADS, MAG), pp. 1392–1395.
ICPR-v2-2000-AmengualV #estimation #on the #parametricity: On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.
ICPR-v2-2000-BeiraghiAAS #classification #fault #fuzzy #recognition: Application of Fuzzy Integrals in Fusion of Classifiers for Low Error Rate Handwritten Numerals Recognition (SB, MA, MASA, MS), pp. 2487–2490.
ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line: General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.
ICPR-v2-2000-IwamuraOA #estimation #fault: A Modification of Eigenvalues to Compensate Estimation Errors of Eigenvectors (MI, SO, HA), pp. 2378–2381.
ICPR-v2-2000-MalekTA #classification #fault: Effect of the Feature Vector Size on the Generalization Error: The Case of MLPNN and RBFNN Classifiers (JEM, RT, AMA), pp. 2630–2633.
ICPR-v2-2000-Sato #classification #fault #learning: A Learning Method for Definite Canonicalization Based on Minimum Classification Error (AS), pp. 2199–2202.
ICPR-v2-2000-Schulerud #analysis #bias #fault #feature model #linear: Bias of Error Rates in Linear Discriminant Analysis Caused by Feature Selection and Sample Size (HS), pp. 2372–2377.
ICPR-v2-2000-Theera-UmponG #fault #network: Training Neural Networks to Count White Blood Cells via a Minimum Counting Error Objective Function (NTU, PDG), pp. 2299–2302.
ICPR-v3-2000-KletteZ #bound #fault #multi #order: Multigrid Error Bounds for Moments of Arbitrary Order (RK, JDZ), pp. 3790–3793.
ICPR-v3-2000-VassZ #analysis #component #fault #image #performance: Enhanced Significance-Linked Connected Component Analysis for High Performance Error Resilient Wavelet Image Coding (JV, XZ), pp. 3075–3078.
ICPR-v4-2000-Perez-CortesAAL #parsing #probability: Stochastic Error-Correcting Parsing for OCR Post-Processing (JCPC, JCA, JA, RL), pp. 4405–4408.
SIGIR-2000-McCarleyF #detection #fault #recognition #speech #topic: Influence of speech recognition errors on topic detection (JSM, MF), pp. 342–344.
TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code #static analysis: Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
SAC-2000-KloseKST #classification #fault #symmetry: Controlling Asymmetric Errors in Neuro-Fuzzy Classification (AK, RK, KS, UT), pp. 505–509.
CAV-2000-AlfaroHM #detection #fault: Detecting Errors Before Reaching Them (LdA, TAH, FYCM), pp. 186–201.
DAC-1999-BoppanaMJFB #fault #multi: Multiple Error Diagnosis Based on Xlists (VB, RM, JJ, MF, PB), pp. 660–665.
DAC-1999-ChenW #approximate #bound #fault: Error Bounded Padé Approximation via Bilinear Conformal Transformation (CPC, DFW), pp. 7–12.
DATE-1999-GuerraRRFR #fault #generative: An Accurate Error Control Mechanism for Simplification Before Generation Algorihms (OG, JDRG, ER, FVF, ÁRV), p. 412–?.
ICDAR-1999-JeeKL #fault #using: Error Correction of Korean Courtesy Amounts in Bank Slips using Rule Information and cross-referencing (TCJ, EJK, YL), pp. 95–98.
ICDAR-1999-KameshiroHOY #documentation #fault #image #multi #recognition #retrieval #segmentation #using: A Document Image Retrieval Method Tolerating Recognition and Segmentation Errors of OCR using Shape-Feature and Multiple Candidates (TK, TH, YO, FY), pp. 681–684.
ICDAR-1999-KangL #classification #fault: Combining Classifiers based on Minimization of a Bayes Error Rate (HJK, SWL), pp. 398–401.
ICSM-1999-DouceL #empirical #evolution #fault: Evolution and Errors: An Empirical Example (CRD, PJL), p. 493–?.
STOC-1999-DinurFKRS #towards: PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
STOC-1999-GoldreichRS #fault: Chinese Remaindering with Errors (OG, DR, MS), pp. 225–234.
STOC-1999-KiwiMS #approximate #fault #testing: Approximate Testing with Relative Error (MAK, FM, MS), pp. 51–60.
STOC-1999-RazRV #fault: Extracting all the Randomness and Reducing the Error in Trevisan’s Extractors (RR, OR, SPV), pp. 149–158.
FM-v1-1999-ReffelE #detection #fault #model checking: Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
CHI-1999-BruckmanE #analysis #fault #programming language: Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
CHI-1999-Oviatt #ambiguity #architecture #fault #multi #recognition: Mutual Disambiguation of Recognition Errors in a Multimodel Architecture (SLO), pp. 576–583.
CHI-1999-SuhmMW #empirical #evaluation #fault #interactive #modelling #multimodal: Model-Based and Empirical Evaluation of Multimodal Interactive Error Correction (BS, BAM, AW), pp. 584–591.
HCI-CCAD-1999-NumanoMTMNFM #fault #reduction: Reduction of human errors in plant operation utilizing human error correction function as an individual and crew (MN, KM, KT, HM, YN, JF, YM), pp. 1206–1210.
HCI-CCAD-1999-VirvouM99a #fault: Error diagnosis in an English tutor (MV, DM), pp. 657–661.
EDOC-1999-RenaudC #component #fault #framework #named: HERCULE: a framework for enhancing error reporting in component-based systems (KR, RLC), pp. 245–254.
ICML-1999-CardieMP #classification #parsing: Combining Error-Driven Pruning and Classification for Partial Parsing (CC, SM, DRP), pp. 87–96.
ICML-1999-SchefferJ #analysis #fault: Expected Error Analysis for Model Selection (TS, TJ), pp. 361–370.
RE-1999-SutcliffeGM #fault #requirements: Human Errors and System Requirements (AGS, JRG, SM), p. 23–?.
DAC-1998-HuangCCL #design #fault: Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.
DAC-1998-KwakP #estimation #fault #logic #statistics: An Optimization-Based Error Calculation for Statistical Power Estimation of CMOS Logic Circuits (BK, ESP), pp. 690–693.
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-BolchiniSS #analysis #concurrent #detection #fault #network: Fault Analysis in Networks with Concurrent Error Detection Properties (CB, FS, DS), pp. 957–958.
DATE-1998-HamiltonO #concurrent #fault #latency: Concurrent Error Recovery with Near-Zero Latency in Synthesized ASICs (SNH, AO), pp. 604–609.
DATE-1998-RiesgoTTU #estimation #fault #functional #modelling #quality #validation: Quality Estimation of Test Vectors and Functional Validation Procedures Based on Fault and Error Models (TR, YT, EdlT, JU), pp. 955–956.
PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer: Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.
STOC-1998-ShokrollahiW #algebra #bound #geometry: Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
ICALP-1998-KaoW #fault #performance: Efficient Minimization of Numerical Summation Errors (MYK, JW), pp. 375–386.
ICFP-1998-McAdam #fault: Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.
ICPR-1998-ColmenarezH #detection #fault: Pattern detection with information-based maximum discrimination and error bootstrapping (AC, TSH), pp. 222–224.
ICPR-1998-KaufmannB #fault #locality #using: Amount translation and error localization in check processing using syntax-directed translation (GK, HB), pp. 1530–1534.
ICPR-1998-Mizutani #classification #fault #learning: Discriminative learning for minimum error and minimum reject classification (HM), pp. 136–140.
SIGIR-1998-MouraNZB #fault #performance: Fast Searching on Compressed Text Allowing Errors (ESdM, GN, NZ, RABY), pp. 298–306.
SIGIR-1998-NgZ #fault #retrieval #speech #using: Speech Retrieval Using Phonemes with Error Correction (CN, JZ), pp. 365–366.
LOPSTR-1998-SmausHK #fault #logic programming #multi #source code #using: Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations (JGS, PMH, AK), pp. 289–307.
SAC-1998-McGuireS #algorithm #linear #search-based #using: Using a genetic algorithm to find good linear error-correcting codes (KMM, RES), pp. 332–337.
ISSTA-1998-HajnalF #algorithm #fault #generative #testing: An Applicable Test Data Generation Algorithm for Domain Errors (ÁH, IF), pp. 63–72.
EDTC-1997-PaschalisGGK #fault #self: A totally self-checking 1-out-of-3 code error indicator (AMP, NG, DG, PK), pp. 450–454.
EDTC-1997-WahbaB #fault: Connection error location and correction in combinational circuits (AMW, DB), pp. 235–241.
ICDAR-1997-Gorski #optimisation #recognition: Optimizing Error-Reject Trade off in Recognition Systems (NG), pp. 1092–1096.
ICDAR-1997-MykaG #fault #similarity: Measuring the Effects of OCR Errors on Similarity Linking (AM, UG), pp. 968–973.
STOC-1997-AharonovB #constant #fault tolerance #quantum: Fault-Tolerant Quantum Computation With Constant Error (DA, MBO), pp. 176–188.
STOC-1997-Pan #equation #performance: Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.
STOC-1997-RazS: A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP (RR, SS), pp. 475–484.
ICALP-1997-Dami #fault #reduction #runtime: Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
HCI-SEC-1997-GargRK #fault #modelling: Modeling the Sources and Consequences of Errors and Delays in Complex Systems (CG, VR, JWK), pp. 67–70.
ASF+SDF-1997-DineshT #approach #case study #fault: A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.
DAC-1996-ClarkeKZ #fault #model checking #word: Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.
DAC-1996-HuangCC #fault #verification: Error Correction Based on Verification Techniques (SYH, KCC, KTC), pp. 258–261.
ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis: Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
TACAS-1996-Margaria #automation #detection #fault: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits (TMS), pp. 258–277.
ICSM-1996-OwensWG #classification #fault #using: Software Error Classification using Purify (HDO, BFW, MJG), pp. 104–113.
ICSM-1996-TakahashiN #complexity #fault #interface: The effect of interface complexity on program error density (RT, YN), pp. 77–86.
PLDI-1996-Evans #detection #fault #memory management #static analysis: Static Detection of Dynamic Memory Errors (DE), pp. 44–53.
STOC-1996-BergerKL #3d #fault: Reconstructing a Three-Dimensional Model with Arbitrary Errors (BB, JMK, FTL), pp. 449–458.
ICALP-1996-Billaud #fault: Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.
AFP-1996-SwierstraD96 #combinator #parsing: Deterministic, Error-Correcting Combinator Parsers (SDS, LD), pp. 184–207.
ICML-1996-RaviseS #evolution #fault: An Advanced Evolution Should Not Repeat its Past Errors (CR, MS), pp. 400–408.
ICML-1996-Saerens #fault #learning: Non Mean Square Error Criteria for the Training of Learning Machines (MS), pp. 427–434.
ICPR-1996-ChaudhuriP #detection #fault: OCR error detection and correction of an inflectional Indian language script (BBC, UP), pp. 245–249.
ICPR-1996-HotterMM #analysis #detection #estimation #fault #robust #statistics #using: Detection of moving objects using a robust displacement estimation including a statistical error analysis (MH, RM, MM), pp. 249–255.
ICPR-1996-Muraki #fault #learning #statistics: Error correction scheme augmented with statistical and lexical learning capability, for Japanese OCR (KM), pp. 560–564.
ICPR-1996-OommenL #fault #pattern matching #pattern recognition #probability #recognition: Probabilistic syntactic pattern recognition for traditional and generalized transposition errors (BJO, RKSL), pp. 685–689.
ICPR-1996-RaudysD #classification #empirical #fault: Expected error of minimum empirical error and maximal margin classifiers (SR, VD), pp. 875–879.
ICPR-1996-SuriHS #automation #bound #fault: Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.
ICPR-1996-TumerG #classification #fault: Estimating the Bayes error rate through classifier combining (KT, JG), pp. 695–699.
KDD-1996-KohaviS: Error-Based and Entropy-Based Discretization of Continuous Features (RK, MS), pp. 114–119.
SEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax: Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
ISSTA-1996-DaranT #analysis #case study #fault: Software Error Analysis: A Real Case Study Involving Real Faults and Mutations (MD, PTF), pp. 158–171.
ICDAR-v1-1995-BunkeL #classification #documentation #parsing #using: Classification and postprocessing of documents using an error-correcting parser (HB, RL), pp. 222–226.
ICDAR-v1-1995-GarciaDPC #analysis #detection #fault #pseudo #recognition #using: Error detection in character recognition using pseudosyllable analysis (RGG, YAD, FMP, JLC), pp. 446–449.
ICDAR-v2-1995-AlimiG #analysis #fault #online #recognition: The analysis of error in an on-line recognition system of Arabic handwritten characters (AMA, OAG), pp. 890–893.
ICDAR-v2-1995-HisamitsuMSFN #fault: Optimal techniques in OCR error correction for Japanese texts (TH, KM, YS, HF, YN), pp. 1014–1017.
STOC-1995-Spielman #linear: Linear-time encodable and decodable error-correcting codes (DAS), pp. 388–397.
ICALP-1995-JurgensenK #fault: Variable-Length Codes for Error Correction (HJ, SK), pp. 581–592.
CIKM-1995-HaaseH #database #distributed #fault: Error Propagation in Distributed Databases (OH, AH), pp. 387–394.
ICML-1995-Drakopoulos #bound #classification #fault #nearest neighbour: Bounds on the Classification Error of the Nearest Neighbor Rule (JAD), pp. 203–208.
ICML-1995-KohaviJ #fault #parametricity: Autmatic Parameter Selection by Minimizing Estimated Error (RK, GHJ), pp. 304–312.
ICML-1995-KongD #bias: Error-Correcting Output Coding Corrects Bias and Variance (EBK, TGD), pp. 313–321.
RE-1995-FieldsWH #approach #fault #requirements: A task centered approach to analysing human error tolerance requirements (BF, PCW, MDH), pp. 18–26.
HPCA-1995-HurSFOK #array #design #fault #logic #parallel #simulation: Massively Parallel Array Processor for Logic, Fault, and Design Error Simulation (YH, SAS, ESF, GEO, SK), pp. 340–347.
DAC-1994-KuehlmannCSL #fault #verification: Error Diagnosis for Transistor-Level Verification (AK, DIC, AS, DPL), pp. 218–224.
DAC-1994-TomitaYSH #design #fault #logic #multi: Rectification of Multiple Logic Design Errors in Multiple Output Circuits (MT, TY, FS, KH), pp. 212–217.
EDAC-1994-BoniCFMO #fault #modelling #physics: Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.
EDAC-1994-ParikhSBSG #automation #design #distributed #fault #framework: Distributed Computing, Automatic Design, and Error Recovery in the ULYSSES II Framework (SP, MLB, JS, GR), pp. 610–617.
PLDI-1994-AustinBS #array #detection #fault #performance #pointer: Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.
STOC-1994-FeigeK #fault #protocol #proving: Two prover protocols: low error at affordable rates (UF, JK), pp. 172–183.
ICML-1994-FurnkranzW #fault #incremental: Incremental Reduced Error Pruning (JF, GW), pp. 70–77.
ICML-1994-MooreL #algorithm #fault #performance #validation: Efficient Algorithms for Minimizing Cross Validation Error (AWM, MSL), pp. 190–198.
ICRE-1994-WrightFH #requirements: Deriving human-error tolerance requirements from tasks (PCW, BF, MDH), pp. 135–142.
FSE-1994-CeceFI #communication #fault: Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
ILPS-1994-BondP #declarative #fault: Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.
ISSTA-1994-Forgacs #fault: The All Program Functions Criterion for Revealing Computation Errors (Abstract) (IF), p. 198.
ISSTA-1994-MurrillM #approach #fault #semantics #using: An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract) (BWM, LJM), p. 200.
DAC-1993-ChungWH #design #fault #logic: Diagnosis and Correction of Logic Design Errors in Digital Circuits (PYC, YMW, INH), pp. 503–508.
ICDAR-1993-BackmutskyZ #detection #fault: Some ergonomic improvements of text error detection and prevention in DTP-systems (VB, VZ), pp. 947–950.
ICDAR-1993-Breul #bound #fault #recognition #using: Recognition of handprinted digits using optimal bounded error matching (TMB), pp. 493–496.
ICDAR-1993-LeeKM #algorithm #fault #performance #recognition: Efficient postprocessing algorithms for error correction in handwritten Hangul address and human name recognition (SWL, ESK, BWM), pp. 232–235.
CSM-1993-KurishimaONAF #analysis #fault: Quantitative Analysis of Errors in Telecommunications Software (NK, HO, JiN, KA, MF), pp. 190–198.
PLDI-1993-BoydW #analysis #fault #optimisation: Isolation and Analysis of Optimization Errors (MRB, DBW), pp. 26–35.
STOC-1993-BorgstromK #fault: Comparison-based search in the presence of errors (RSB, SRK), pp. 130–136.
HCI-ACS-1993-WittigO #fault: Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.
HCI-SHI-1993-MassonK #fault #process: Preventing Human Errors in Skilled Activities Through a Computerized Support System (MM, VDK), pp. 802–807.
AdaEurope-1993-BundyM #ada #exception #scalability: Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.
ICML-1993-DanylukP #fault #learning #network: Small Disjuncts in Action: Learning to Diagnose Errors in the Local Loop of the Telephone Network (APD, FJP), pp. 81–88.
RE-1993-KentMQ #constraints #fault #specification: Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.
RE-1993-Lutz #embedded #fault #requirements #safety: Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
SAC-1993-Chen #fault #probability #robust: Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects (IRC), pp. 677–681.
SAC-1993-HyslopL #diagrams #fault #incremental: Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
FSE-1993-Lutz #analysis #fault #requirements: Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
ISSTA-1993-Goradia #effectiveness #impact analysis: Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation (TG), pp. 171–181.
ML-1992-ZytkowZZ #fault: The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.
ICSE-1992-AfifiWZ #fault #linear #source code #testing: Testing for Linear Errors in Nonlinear Computer Programs (FHA, LJW, SJZ), pp. 81–91.
IWPTS-1992-DriraASC #consistency #detection #fault #testing: Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
DAC-1991-DeguchiIY #analysis #fault #logic #probability: Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.
SIGMOD-1991-HouOD #constraints #database #evaluation #query #relational: Error-Constraint COUNT Query Evaluation in Relational Databases (WCH, GÖ, ED), pp. 278–287.
SIGMOD-1991-IoannidisC #fault #on the: On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.
STOC-1991-AslamD #bound #fault: Searching in the Presence of Linearly Bounded Errors (Extended Abstract) (JAA, AD), pp. 486–493.
ML-1991-WeintraubB #fault #generative #knowledge base: Generating Error Candidates for Assigning Blame in a Knowledge Base (MAW, TB), pp. 33–37.
CAV-1991-Rasse #communication #fault #finite: Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.
CHI-1990-YoungW #analysis #concept #fault #predict #using: Using a knowledge analysis to predict conceptual errors in text-editor usage (RMY, JW), pp. 91–98.
OOPSLA-ECOOP-1990-PurchaseW #fault #object-oriented #parallel #specification: Message Pattern Specifications: A New Technique for Handling Errors in Parallel Object Oriented Systems (JAP, RLW), pp. 116–125.
POPL-1990-AikenWW #fault #program transformation: Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
CSL-1990-HertrampfW #bound #fault #interactive #proving: Interactive Proof Systems: Provers, Rounds, and Error Bounds (UH, KWW), pp. 261–273.
CSL-1990-Mundici #adaptation #complexity: The Complexity of Adaptive Error-Correcting Codes (DM), pp. 300–307.
DAC-1989-SargentB #algorithm #fault #parallel #standard: A Parallel Row-based Algorithm for Standard Cell Placement with Integrated Error Control (JSS, PB), pp. 590–593.
DAC-1989-Tamura #fault #functional #logic: Locating Functional Errors in Logic Circuits (KAT), pp. 185–191.
PODS-1989-FaloutsosM #clustering #fault #using: Declustering Using Error Correcting Codes (CF, DNM), pp. 253–258.
PLDI-1989-Cormack #fault #lr #parsing #string #syntax: An LR Substring Parser for Noncorrecting Syntax Error Recovery (GVC), pp. 161–169.
ML-1989-DrastalMR #fault #induction: Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
ICSE-1989-Howden #validation: Error-Based Validation Completeness (WEH), p. 357.
ICSE-1989-NakagawaH #complexity #fault #metric #reliability: An Error Complexity Model for Software Reliability Measurement (YN, SH), pp. 230–236.
STOC-1988-KearnsL #fault #learning: Learning in the Presence of Malicious Errors (Extended Abstract) (MJK, ML), pp. 267–280.
SIGIR-1988-Veronis #fault #interface #natural language: Correction of Phonographic Errors in Natural Language Interfaces (JV), pp. 101–115.
ESEC-1987-Conradi #documentation #experience #fault #fortran #source code #verification: Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs (RC), pp. 263–275.
ESEC-1987-Knabe #exception #fault #industrial #re-engineering #safety: The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.
CSL-1987-RinnS #fault #learning: Learning by Teams from Examples with Errors (RR, BS), pp. 223–234.
POPL-1986-Wand #fault: Finding the Source of Type Errors (MW), pp. 38–43.
ICSE-1985-KnightA #evaluation #fault: An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
ICSE-1985-TakahashiK #empirical #fault #predict: An Empirical Study of a Model for Program Error Prediction (MT, YK), pp. 330–336.
DAC-1984-Kingsley: A hiererachical, error-tolerant compactor (CK), pp. 126–132.
ICALP-1984-Bidoit #algebra #equation #exception #fault #specification: Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations (MB), pp. 95–108.
ICSE-1984-Ciuffoletti #communication #fault #process: Error Recovery in Systems of Communicating Processes (AC), pp. 6–17.
ICSE-1984-Zeil #fault #testing: Perturbation Testing for Computation Errors (SJZ), pp. 257–265.
SCC-1982-BurkeF #fault: A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.
SCC-1982-JohnsonR #fault #semantics: Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.
POPL-1982-SippiS #fault #lr #parsing: Practical Error Recovery in LR Parsing (SS, ESS), pp. 177–184.
DAC-1981-AlmyR #fault #using: Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.
VLDB-1979-WilsonS #detection #fault #interactive: A System for Interactive Error Detection (GAW, SBS), pp. 32–51.
SCC-1979-GrahamHJ #fault #lr: Practical LR error recovery (SLG, CBH, WNJ), pp. 168–175.
SCC-1979-PaiK #fault #parsing #syntax: Global context recovery: A new strategy for parser recovery from syntax errors (ABP, RBK), pp. 158–167.
STOC-1978-RivestMKWS #fault: Coping with Errors in Binary Search Procedures (Preliminary Report) (RLR, ARM, DJK, KW, JS), pp. 227–232.
POPL-1978-German #automation #fault #proving #runtime: Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.
POPL-1978-PennelloD #algorithm #fault #lr: A Forward Move Algorithm for LR Error Recovery (TJP, FD), pp. 241–254.
ICSE-1978-HerndonK #analysis #fault #validation: Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
ICALP-1977-Dieterich #context-free grammar #fault #parsing: Parsing and Syntactic Error Recovery for Context-Free Grammars by Means of Coarse Structures (EWD), pp. 180–192.
ICALP-1977-SippuS #fault #on the #parsing: On Defining Error Recovery in Context-Free Parsing (SS, ESS), pp. 492–503.
POPL-1977-FischerMQ #ll #parsing #performance: An Efficient Insertion-Only Error-Corrector for LL(1) Parsers (CNF, DRM, SBQ), pp. 97–103.
ICSE-1976-YauCC #approach #design: An Approach to Error-Resistant Software Design (SSY, RCC, DCC), pp. 429–436.
SOSP-1975-RussellB #fault: Error Resynchronization in Producer-Consumer Systems (DLR, THB), pp. 106–113.
STOC-1973-Miller #fault #towards #verification: Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.
STOC-1973-Teitelbaum #algebra #analysis #evaluation #fault: Context-Free Error Analysis by Evaluation of Algebraic Power Series (RT), pp. 196–199.
POPL-1973-GrahamR #fault: Practical Syntactic Error Recovery (SLG, SPR), pp. 52–58.
DAC-1972-Banes #design #fault: Error free MOS/LSI design system (AVB), pp. 29–33.