BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
detect (114)
correct (99)
use (85)
base (77)
system (74)

Stem error$ (all stems)

846 papers:

CASECASE-2015-HayakawaI #fault #linear #reduction
GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASECASE-2015-JinQH #fault #geometry #predict
Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
DACDAC-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.
DACDAC-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.
DACDAC-2015-ChoCSM #component #comprehension #fault
Understanding soft errors in uncore components (HC, CYC, TS, SM), p. 6.
DACDAC-2015-GanapathyKTB #fault
Mitigating the impact of faults in unreliable memories for error-resilient applications (SG, GK, AT, AB), p. 6.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-HuQ #approximate #fault
A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
DATEDATE-2015-IbrahimC #fault #personalisation
Error recovery in digital microfluidics for personalized medicine (MI, KC), pp. 247–252.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-MirkhaniMCA #design #estimation #fault #performance
Efficient soft error vulnerability estimation of complex designs (SM, SM, CYC, JA), pp. 103–108.
DATEDATE-2015-RamachandranHHM #fault
FPGA accelerated DNA error correction (AR, YH, WmWH, JM, DC), pp. 1371–1376.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2015-WangDM #fault
Data X-Ray: A Diagnostic Tool for Data Errors (XW, XLD, AM), pp. 1231–1245.
VLDBVLDB-2015-WangFWDM #fault #profiling
Error Diagnosis and Data Profiling with Data X-Ray (XW, MF, YW, XLD, AM), pp. 1984–1995.
ICSMEICSME-2015-DongAS #fault #static analysis #using
Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.
ICSMEICSME-2015-NagyC #fault #mining #query #sql #stack overflow
Mining Stack Overflow for discovering error patterns in SQL queries (CN, AC), pp. 516–520.
PLDIPLDI-2015-Sidiroglou-Douskos #automation #fault #multi
Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
PLDIPLDI-2015-ZhangMVJ #fault
Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.
STOCSTOC-2015-AbbeSW #fault #random
Reed-Muller Codes for Random Erasures and Errors (EA, AS, AW), pp. 297–306.
STOCSTOC-2015-DinurHK #composition #fault #query
Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.
DLTDLT-2015-HanKS #fault
Generalizations of Code Languages with Marginal Errors (YSH, SKK, KS), pp. 264–275.
FMFM-2015-SolovyevJRG #estimation #fault #float
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (AS, CJ, ZR, GG), pp. 532–550.
ICFPICFP-2015-Pavlinovic0W #fault #locality #smt
Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
CHICHI-2015-ChengTB #crowdsourcing
Measuring Crowdsourcing Effort with Error-Time Curves (JC, JT, MSB), pp. 1365–1374.
CHICHI-2015-LiOT #fault
Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors (KYL, PO, HWT), pp. 1335–1344.
CHICHI-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.
HCIHCI-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.
HCIHIMI-IKC-2015-NoridukiSIT #fault
Map Matching to Correct Location Error in an Electric Wheel Chair (YN, HS, SI, HT), pp. 243–252.
HCIHIMI-IKC-2015-Porathe #fault
Human Error and e-Navigation: Developing the Nautical Chart as Resilient Decision Support (TP), pp. 129–139.
HCILCT-2015-Ai #automation #detection #fault #feedback #generative
Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
HCILCT-2015-FlanaganYSH #fault #predict
Prediction of Learner Native Language by Writing Error Pattern (BF, CY, TS, SH), pp. 87–96.
ICMLICML-2015-GuL #algorithm #fault
A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICMLICML-2015-ScholkopfHWFJSP #fault
Removing systematic errors for exoplanet search via latent causes (BS, DWH, DW, DFM, DJ, CJSG, JP), pp. 2218–2226.
ICMLICML-2015-TagortiS #bound #convergence #fault #on the
On the Rate of Convergence and Error Bounds for LSTD(λ) (MT, BS), pp. 1521–1529.
ICMLICML-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.
ICMLICML-2015-UbaruMS #approximate #fault #matrix #rank #using
Low Rank Approximation using Error Correcting Coding Matrices (SU, AM, YS), pp. 702–710.
ICMLICML-2015-Yang0JZ #bound #fault #set
An Explicit Sampling Dependent Spectral Error Bound for Column Subset Selection (TY, LZ, RJ, SZ), pp. 135–143.
ICMLICML-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.
KDDKDD-2015-ZhengP #fault #kernel #scalability
L∞ Error and Bandwidth Selection for Kernel Density Estimates of Large Data (YZ, JMP), pp. 1533–1542.
SEKESEKE-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.
SIGIRSIGIR-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.
OOPSLAOOPSLA-2015-FuBS #analysis #automation #fault
Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
SACSAC-2015-BekkoucheCR #approach #constraints #fault #locality #named
LocFaults: a new flow-driven and constraint-based error localization approach (MB, HC, MR), pp. 1773–1780.
ICSEICSE-v1-2015-WeissRL #fault #program analysis #scalability
Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-YetimMM #communication #execution #fault #named #parallel
CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
HPCAHPCA-2015-DuweJ0 #fault #latency #predict
Correction prediction: Reducing error correction latency for on-chip memories (HD, XJ, RK), pp. 463–475.
HPCAHPCA-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.
HPCAHPCA-2015-XiJBWB #architecture #fault
Quantifying sources of error in McPAT and potential impacts on architectural studies (SLX, HMJ, PB, GYW, DMB), pp. 577–589.
LCTESLCTES-2015-LiuJLT #compilation #fault #lightweight #named
Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
ISSTAISSTA-2015-MusluBM #fault #testing
Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ISSTAISSTA-2015-ZhangE #detection #fault
Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
ASEASE-2014-ParkKB #empirical #fault
An empirical study on reducing omission errors in practice (JP, MK, DHB), pp. 121–126.
ASEASE-2014-Schneider14a #fault #modelling #runtime
Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
CASECASE-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.
DACDAC-2014-HernandezA #detection #fault #named #safety
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
DACDAC-2014-HuangW #estimation #multi
Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DACDAC-2014-KiamehrOTN #analysis #approach #fault
Radiation-Induced Soft Error Analysis of SRAMs in SOI FinFET Technology: A Device to Circuit Approach (SK, THO, MBT, SRN), p. 6.
DACDAC-2014-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.
DACDAC-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.
DACDAC-2014-ShrivastavaRJW #analysis #control flow #fault
Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors (AS, AR, RJ, CJW), p. 6.
DATEDATE-2014-BelKKS #fault #multi
Improving STT-MRAM density through multibit error correction (BDB, JK, CHK, SSS), pp. 1–6.
DATEDATE-2014-DasKVBM
Combined DVFS and mapping exploration for lifetime and soft-error susceptibility improvement in MPSoCs (AD, AK, BV, CB, AM), pp. 1–6.
DATEDATE-2014-EbrahimiETSCA #analysis #embedded #fault
Comprehensive analysis of alpha and neutron particle-induced soft errors in an embedded processor at nanoscales (ME, AE, MBT, RS, EC, DA), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-HoffmanRAA #analysis #fault #memory management
Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-NathanS #detection #fault #low cost #named
Nostradamus: Low-cost hardware-only error detection for processor cores (RN, DJS), pp. 1–6.
DATEDATE-2014-PandeyV #analysis #fault #safety
Transient errors resiliency analysis technique for automotive safety critical applications (SP, BV), pp. 1–4.
DATEDATE-2014-RahimiBG #energy #fault
Temporal memoization for energy-efficient timing error recovery in GPGPUs (AR, LB, RKG), pp. 1–6.
DRRDRR-2014-LundRW #fault #how #multi #question
How well does multiple OCR error correction generalize? (WBL, EKR, DDW), p. ?–13.
DRRDRR-2014-TaghvaA #fault #identification #web
Utilizing web data in identification and correction of OCR errors (KT, SA), pp. 902109–6.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2014-YanCZ #bound
Error-bounded Sampling for Analytics on Big Sparse Data (YY, LJC, ZZ), pp. 1508–1519.
VLDBVLDB-2015-LongWJ14 #fault
Trajectory Simplification: On Minimizing the Direction-based Error (CL, RCWW, HVJ), pp. 49–60.
ITiCSEITiCSE-2014-DennyLC #error message #fault #syntax
Enhancing syntax error messages appears ineffectual (PD, ALR, DC), pp. 273–278.
ESOPESOP-2014-MatosGR #fault #named #using
REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.
SANERCSMR-WCRE-2014-Heing-BeckerKS #developer #injection
Bit-error injection for software developers (MHB, TK, SS), pp. 434–439.
SANERCSMR-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.
MSRMSR-2014-CampbellHA #fault #modelling #syntax
Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
PEPMPEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.
PEPMPEPM-2014-0008E #c++ #detection #fault
Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
PLDIPLDI-2014-LongSR #automation #fault #runtime
Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
PLDIPLDI-2014-TavarageriKS #detection #fault #memory management
Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.
STOCSTOC-2014-GhaffariHS #adaptation #fault #interactive
Optimal error rates for interactive coding I: adaptivity and other settings (MG, BH, MS), pp. 794–803.
ICALPICALP-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.
SEFMSEFM-2014-AlrajehC #automation #composition #detection #specification
Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
CHICHI-2014-CairnsPP #fault
The influence of emotion on number entry errors (PAC, PP, CP), pp. 2293–2296.
CHICHI-2014-ViJCS #fault #interactive
Error related negativity in observing interactive tasks (CTV, IJ, DC, SS), pp. 3787–3796.
HCIDHM-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.
HCIHCI-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.
HCIHCI-AS-2014-HooeyABF #analysis #design #fault
Evidence-Based Error Analysis: Supporting the Design of Error-Tolerant Systems (BLH, MA, RB, DCF), pp. 401–412.
HCIHIMI-AS-2014-ZhangXCZL #fault #predict #probability
Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.
CIKMCIKM-2014-ProkofyevMGDC #fault #ranking
Correct Me If I’m Wrong: Fixing Grammatical Errors by Preposition Ranking (RP, RM, MG, GD, PCM), pp. 331–340.
ECIRECIR-2014-LiS #effectiveness #fault #metric
Tolerance of Effectiveness Measures to Relevance Judging Errors (LL, MDS), pp. 148–159.
ICPRICPR-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.
ICPRICPR-2014-Hess-FloresRJ #analysis #multi #nondeterminism
Uncertainty, Baseline, and Noise Analysis for L1 Error-Based Multi-view Triangulation (MHF, SR, KIJ), pp. 4074–4079.
ICPRICPR-2014-MarroccoT #fault
Bit Error Recovery in ECOC Systems through LDPC Codes (CM, FT), pp. 1454–1459.
ICPRICPR-2014-RavalTJ #classification #encoding #evaluation #fault #performance #using
Efficient Evaluation of SVM Classifiers Using Error Space Encoding (NR, RVT, CVJ), pp. 4411–4416.
KDIRKDIR-2014-AzadM #classification #consistency #fault #heuristic
“Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
MLDMMLDM-2014-Manzanilla-SalazarEG #classification #clustering #fault
Minimizing Cluster Errors in LP-Based Nonlinear Classification (OMS, JEK, UMGP), pp. 163–174.
MLDMMLDM-2014-ShahamSB #fault #performance
Efficient Error Setting for Subspace Miners (ES, DS, BBM), pp. 1–15.
ECOOPECOOP-2014-LiT #analysis #fault #python #source code
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.
OOPSLAOOPSLA-2014-PavlinovicKW #fault
Finding minimum type error sources (ZP, TK, TW), pp. 525–542.
POPLPOPL-2014-ChenE #debugging #fault #type system
Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.
POPLPOPL-2014-LongSKR #fault #generative #integer
Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
POPLPOPL-2014-ZhangM #fault #towards
Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
ICSEICSE-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.
ICSEICSE-2014-SeoSEAB #case study #fault
Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.
CGOCGO-2014-SureshS #algorithm #automation #detection #fault #grid #problem
Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
HPCAHPCA-2014-PalframanKL #fault
Precision-aware soft error protection for GPUs (DJP, NSK, MHL), pp. 49–59.
HPDCHPDC-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.
PPoPPPPoPP-2014-ChiangGRS #fault #float #performance
Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
CAVCAV-2014-BinghamL #bound #fault #simulation #using #verification
Verifying Relative Error Bounds Using Symbolic Simulation (JB, JLH), pp. 277–292.
ICSTICST-2014-HongPK #concurrent #detection #fault #java #web
Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.
ISSTAISSTA-2014-BohmeR #complexity #fault #named
CoREBench: studying complexity of regression errors (MB, AR), pp. 105–115.
ISSTAISSTA-2014-LanzaroNWCS #empirical #fault #injection #interface
An empirical study of injected versus actual interface errors (AL, RN, SW, DC, NS), pp. 397–408.
DACDAC-2013-AvinashBEPP #energy #fault #hardware
Improving energy gains of inexact DSP hardware through reciprocative error compensation (LA, AB, CCE, KVP, CP), p. 8.
DACDAC-2013-AxerE #fault #probability #scheduling
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors (PA, RE), p. 7.
DACDAC-2013-CalimeraMP #constraints #energy #fault #scheduling
Energy-optimal SRAM supply voltage scheduling under lifetime and error constraints (AC, EM, MP), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2013-ShafiqueRAH #fault #optimisation #reliability
Exploiting program-level masking and error propagation for constrained reliability optimization (MS, SR, PVA, JH), p. 9.
DACDAC-2013-Wang #fault #reliability
Hierarchical decoding of double error correcting codes for high speed reliable memories (ZW), p. 7.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-KocBKE #detection #fault
Exploiting replicated checkpoints for soft error detection and correction (FK, KB, BK, OE), pp. 1494–1497.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-LuZ #constraints #fault
Retiming for Soft Error Minimization Under Error-Latching Window Constraints (YL, HZ), pp. 1008–1013.
DATEDATE-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.
DATEDATE-2013-PontarelliOEW #detection #fault #using
Error detection in ternary CAMs using bloom filters (SP, MO, AE, SJW), pp. 1474–1479.
DATEDATE-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.
DATEDATE-2013-YanLH #adaptation #fault #self
A dynamic self-adaptive correction method for error resilient application (LY, HL, ZH), pp. 943–946.
DATEDATE-2013-YetimMM #streaming
Extracting useful computation from error-prone processors for streaming applications (YY, MM, SM), pp. 202–207.
DRRDRR-2013-Nagy #documentation #fault #image #preprocessor
Preprocessing document images by resampling is error prone and unnecessary (GN).
DRRDRR-2013-WalkerRS #fault #modelling #topic
Evaluating supervised topic models in the presence of OCR errors (DDW, EKR, KDS).
ICDARICDAR-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.
ICDARICDAR-2013-SankaranJ #detection #fault
Error Detection in Highly Inflectional Languages (NS, CVJ), pp. 1135–1139.
VLDBVLDB-2013-XiaoQ0ITS #performance #query
Efficient Error-tolerant Query Autocompletion (CX, JQ, WW, YI, KT, KS), pp. 373–384.
ITiCSEITiCSE-2013-EganM #c #fault #runtime
Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
PEPMPEPM-2013-SagonasST #fault #precise #type system
Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.
PEPMPEPM-2013-WeijersHH #fault #higher-order #polymorphism #security
Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.
STOCSTOC-2013-BeiCZ #complexity #fault #on the
On the complexity of trial and error (XB, NC, SZ), pp. 31–40.
STOCSTOC-2013-BrakerskiLPRS #fault #learning
Classical hardness of learning with errors (ZB, AL, CP, OR, DS), pp. 575–584.
STOCSTOC-2013-Wootters #fault #linear #on the #random #scalability
On the list decodability of random linear codes with large error rates (MW), pp. 853–860.
DLTDLT-J-2012-HolzerJ13 #automaton #equivalence #fault
From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors (MH, SJ), pp. 1083–1098.
SEFMSEFM-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.
CHICHI-2013-BanovicGF #fault
The effect of time-based cost of error in target-directed pointing tasks (NB, TG, GWF), pp. 1373–1382.
CHICHI-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.
CHICHI-2013-WisemanCBGO #detection #fault #using
Using redundancy to detect human error (SW, ALC, DPB, SG, SO), pp. 2403–2406.
HCIDHM-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.
HCIDUXU-NTE-2013-MartinsMSA #behaviour #fault
Human Error in Aviation: The Behavior of Pilots Facing the Modern Technology (ITM, ETM, MMS, LGdSA), pp. 150–159.
HCIHIMI-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.
HILTHILT-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.
ICEISICEIS-v1-2013-LeiteMP #fault #multi
Multiple External Representations in Remediation of Math Errors (MDL, DM, ARP), pp. 519–523.
ICMLICML-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.
ICMLICML-c3-2013-DurrantK #bound #classification #fault
Sharp Generalization Error Bounds for Randomly-projected Classifiers (RJD, AK), pp. 693–701.
ICMLICML-c3-2013-HonorioJ #bound #exponential #fault
Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.
KDDKDD-2013-BeiCDHQ #fault #network #social
Trial and error in influential social networks (XB, NC, LD, XH, RQ), pp. 1016–1024.
SIGIRSIGIR-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.
TOOLSTOOLS-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.
ECOOPECOOP-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.
OOPSLAOOPSLA-2013-ZhongS #api #detection #documentation #fault
Detecting API documentation errors (HZ, ZS), pp. 803–816.
GPCEGPCE-2013-MedeirosRG #fault #syntax
Investigating preprocessor-based syntax errors (FM, MR, RG), pp. 75–84.
SACSAC-2013-ImmichCC #adaptation #fault
Adaptive video-aware FEC-based mechanism with unequal error protection scheme (RI, EC, MC), pp. 981–988.
SACSAC-2013-XuTTZ #approach #fault #fine-grained
An instruction-level fine-grained recovery approach for soft errors (JX, QT, LT, HZ), pp. 1511–1516.
ESEC-FSEESEC-FSE-2013-BohmeOR #fault #interactive #testing
Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSEESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault
Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
ICSEICSE-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.
ICSEICSE-2013-Zhang04a #automation #fault #java #named
ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSEICSE-2013-ZhangE #automation #fault
Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
LDTALDTA-J-2009-LammelTK #fault #programming #source code #traversal
Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
HPDCHPDC-2013-DaviesC #fault #online
Correcting soft errors online in LU factorization (TD, ZC), pp. 167–178.
LCTESLCTES-2013-StilkerichSEHLSS #embedded #virtual machine
A JVM for soft-error-prone embedded systems (IS, MS, CE, MH, DL, FS, WSP), pp. 21–32.
PPoPPPPoPP-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.
ICSTICST-2013-ChristakisGS #concurrent #detection #erlang #fault #source code #testing
Systematic Testing for Detecting Concurrency Errors in Erlang Programs (MC, AG, KFS), pp. 154–163.
ICTSSICTSS-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.
ISSTAISSTA-2013-ChocklerEY #concurrent #fault
Finding rare numerical stability errors in concurrent computations (HC, KE, EY), pp. 12–22.
ASEASE-2012-JongeV #automation #evaluation #fault #syntax
Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.
CASECASE-2012-ChoiKKKHP #development #fault
Development of joint torque sensor applied to compensate crosstalk error (SyC, TKK, DYK, BSK, JHH, CWP), pp. 1086–1088.
CASECASE-2012-KammererP #fault #flexibility #geometry
High accuracy patient positioning system: geometric and elastic error calibration of a flexible model (NK, YP), pp. 1033–1039.
CASECASE-2012-KimCLK #fault #framework #monitoring #process
Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
DACDAC-2012-CropPC #detection #logic #throughput #using
Regaining throughput using completion detection for error-resilient, near-threshold logic (JC, RP, PC), pp. 974–979.
DACDAC-2012-GuoK #concurrent #detection #encryption #fault #standard
Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.
DACDAC-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.
DACDAC-2012-WangDX #architecture
Point and discard: a hard-error-tolerant architecture for non-volatile last level caches (JW, XD, YX), pp. 253–258.
DATEDATE-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.
DATEDATE-2012-LuoCH #approach #fault #synthesis
A cyberphysical synthesis approach for error recovery in digital microfluidic biochips (YL, KC, TYH), pp. 1239–1244.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2012-KanneE #data-driven #declarative #fault #robust
Declarative error management for robust data-intensive applications (CCK, VE), pp. 205–216.
VLDBVLDB-2012-TaliusDDK #fault #query #transaction
Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
ITiCSEITiCSE-2012-DennyLT #fault #syntax
All syntax errors are not equal (PD, ALR, EDT), pp. 75–80.
ICSMEICSM-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.
MSRMSR-2012-Breckel #comparison #database #debugging #detection #fault #mining #scalability
Error mining: Bug detection through comparison with large code databases (AB), pp. 175–178.
PLDIPLDI-2012-DilligDA #abduction #automation #fault #using
Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.
STOCSTOC-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.
DLTDLT-2012-HolzerJ #automaton #equivalence #fault
From Equivalence to Almost-Equivalence, and Beyond — Minimizing Automata with Errors — (Extended Abstract) (MH, SJ), pp. 190–201.
FMFM-2012-ErmisSW #fault #invariant
Error Invariants (EE, MS, TW), pp. 187–201.
ICFPICFP-2012-ChenEW #type system #λ-calculus
An error-tolerant type system for variational λ calculus (SC, ME, EW), pp. 29–40.
ICFPICFP-2012-VytiniotisJM #compilation #fault #proving #similarity
Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
CHICHI-2012-BackCB #fault #information management
Choosing to interleave: human error and information access cost (JB, ALC, DPB), pp. 1651–1654.
CHICHI-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.
CHICHI-2012-ViS #design #detection #interactive
Detecting error-related negativity for interaction design (CV, SS), pp. 493–502.
ICEISICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards
Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEISICEIS-v1-2012-Wichert #fault #retrieval
Product Quantization for Vector Retrieval with No Error (AW), pp. 87–92.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2012-KazaiCYT #analysis #fault #information retrieval
An analysis of systematic judging errors in information retrieval (GK, NC, EY, SMMT), pp. 105–114.
ICMLICML-2012-Ben-DavidLSS #classification #fault #using
Minimizing The Misclassification Error Rate Using a Surrogate Convex Loss (SBD, DL, NS, KS), p. 16.
ICMLICML-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.
ICPRICPR-2012-AbouelenienY #analysis #fault #named #performance
SampleBoost: Improving boosting performance by destabilizing weak learners based on weighted error analysis (MA, XY), pp. 585–588.
ICPRICPR-2012-ChernoffLN #fault #learning #metric
Metric learning by directly minimizing the k-NN training error (KC, ML, MN), pp. 1265–1268.
ICPRICPR-2012-OGorman #fault #privacy #segmentation #video
Video privacy filters with tolerance to segmentation errors for video conferencing and surveillance (LO), pp. 1835–1838.
ICPRICPR-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.
SIGIRSIGIR-2012-SmuckerJ #fault
Time to judge relevance as an indicator of assessor error (MDS, CPJ), pp. 1153–1154.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MODELSMoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MODELSMoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
TOOLSTOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
ICSEICSE-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.
ASPLOSASPLOS-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.
HPCAHPCA-2012-AwasthiSSRBS #performance
Efficient scrub mechanisms for error-prone emerging memories (MA, MS, KS, BR, RB, VS), pp. 15–26.
LCTESLCTES-2012-KhudiaWM #embedded #fault #performance #using
Efficient soft error protection for commodity embedded microprocessors using profile information (DSK, GW, SAM), pp. 99–108.
ICTSSICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring
Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
ISSTAISSTA-2012-ZhangLE #fault #parallel #thread #user interface
Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
ASEASE-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.
ASEASE-2011-RabkinK #fault
Precomputing possible configuration error diagnoses (AR, RHK), pp. 193–202.
ASEASE-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.
ASEASE-2011-WesongaMR #concurrent #fault #source code #visualisation
Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
DACDAC-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.
DACDAC-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.
DACDAC-2011-LifaEP #configuration management #detection #fault #optimisation #performance
Performance optimization of error detection based on speculative reconfiguration (AAL, PE, ZP), pp. 369–374.
DACDAC-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.
DACDAC-2011-TangWHH #incremental #logic #multi #synthesis
Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.
DACDAC-2011-WhatmoughDBD #power management
Error-resilient low-power DSP via path-delay shaping (PNW, SD, DMB, ID), pp. 1008–1013.
DACDAC-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.
DATEDATE-2011-AbdallahLS #energy #fault #robust #statistics
Timing error statistics for energy-efficient robust DSP systems (RAA, YHL, NRS), pp. 285–288.
DATEDATE-2011-ChenKZBSNS
A confidence-driven model for error-resilient computing (CHC, YK, ZZ, DB, DS, HN, SS), pp. 1608–1613.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-HeGO #design #energy
Controlled timing-error acceptance for low energy IDCT design (KH, AG, MO), pp. 758–763.
DATEDATE-2011-HuangHL #fault
Cross-layer optimized placement and routing for FPGA soft error mitigation (KH, YH, XL), pp. 58–63.
DATEDATE-2011-MaW #detection #fault #low cost #named
LOEDAR: A low cost error detection and recovery scheme for ECC (KM, KW), pp. 1010–1015.
DATEDATE-2011-MedwedM #detection #fault #logic
Arithmetic logic units with high error detection rates to counteract fault attacks (MM, SM), pp. 1644–1649.
DATEDATE-2011-PalframanKL #detection #fault #low cost
Time redundant parity for low-cost transient error detection (DJP, NSK, MHL), pp. 52–57.
DATEDATE-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.
DATEDATE-2011-ShinG #fault
A new circuit simplification method for error tolerant applications (DS, SKG), pp. 1566–1571.
DATEDATE-2011-YuH #fault #logic
Trigonometric method to handle realistic error probabilities in logic circuits (CCY, JPH), pp. 64–69.
DRRDRR-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.
ICDARICDAR-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.
ICDARICDAR-2011-LundR #fault #multi
Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
ICDARICDAR-2011-LundWR #fault #multi
Progressive Alignment and Discriminative Error Correction for Multiple OCR Engines (WBL, DDW, EKR), pp. 764–768.
SIGMODSIGMOD-2011-MeliouGNS #fault
Tracing data errors with view-conditioned causality (AM, WG, SN, DS), pp. 505–516.
SIGMODSIGMOD-2011-XiaoBHG #difference #fault #named #privacy
iReduct: differential privacy with reduced relative errors (XX, GB, MH, JG), pp. 229–240.
ESOPESOP-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.
PLDIPLDI-2011-JoseM #fault #locality #satisfiability #using
Cause clue clauses: error localization using maximum satisfiability (MJ, RM), pp. 437–446.
PLDIPLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
STOCSTOC-2011-BravermanR #communication #fault #interactive #towards
Towards coding for maximum errors in interactive communication (MB, AR), pp. 159–166.
STOCSTOC-2011-HatamiL #correlation #fault #invariant #testing
Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.
ICALPICALP-v1-2011-AroraG #algorithm #fault #learning
New Algorithms for Learning in Presence of Errors (SA, RG), pp. 403–415.
ICALPICALP-v1-2011-NgoPR #matrix
Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICFPICFP-2011-GillF #fault #implementation #performance
Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.
CHICHI-2011-EgelmanOK #data access #facebook #fault
Oops, I did it again: mitigating repeated access control errors on facebook (SE, AO, SK), pp. 2295–2304.
CHICHI-2011-GuiardOP #fault #trade-off
Fitt’s law as an explicit time/error trade-off (YG, HBO, STP), pp. 1619–1628.
CHICHI-2011-WobbrockJS #2d #fault #modelling #predict
Modeling and predicting pointing errors in two dimensions (JOW, AJ, KS), pp. 1653–1656.
HCIDHM-2011-ZhangWZQL #complexity #fault
Task Complexity Related Training Effects on Operation Error of Spaceflight Emergency Task (YZ, BW, XZ, WQ, ML), pp. 436–445.
HCIHCI-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.
HCIHCI-UA-2011-LeeKJ #analysis #fault
Control Error Analysis of Computerized Operational Environment in Nuclear Power Plants (SJL, JK, SCJ), pp. 360–367.
AdaEuropeAdaEurope-2011-RazaFP #detection #fault #parallel #source code
Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.
ICEISICEIS-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.
CIKMCIKM-2011-LiuLH #bound #fault #kernel #learning
Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.
ICMLICML-2011-SunGRS #difference #fault #incremental
Incremental Basis Construction from Temporal Difference Error (YS, FJG, MBR, JS), pp. 481–488.
KDDKDD-2011-GhaniK #detection #fault #interactive #learning
Interactive learning for efficiently detecting errors in insurance claims (RG, MK), pp. 325–333.
SEKESEKE-2011-FarahatE #fault #performance
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes (AF, AE), pp. 619–624.
OnwardOnward-2011-MarceauFK #error message #fault #interactive
Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
PADLPADL-2011-ChristakisS #detection #fault #message passing #static analysis #using
Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
ESEC-FSEESEC-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.
ASPLOSASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named
ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.
HPCAHPCA-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.
LCTESLCTES-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.
SOSPSOSP-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.
ICSTICST-2011-ShenFZ #effectiveness #fault #named #ranking
EFindBugs: Effective Error Ranking for FindBugs (HS, JF, JZ), pp. 299–308.
ISSTAISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer
Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
ASEASE-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.
ASEASE-2010-Holotescu #adaptation #black box #component
Error-avoiding adaptors for black-box software components (CH), pp. 487–492.
ASEASE-2010-NgocO #fault #using
Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.
ASEASE-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.
DACDAC-2010-ChangHKCW #3d #fault
An error tolerance scheme for 3D CMOS imagers (HMC, JLH, DMK, KT(C, CWW), pp. 917–922.
DACDAC-2010-KahngKKS #design #power management
Recovery-driven design: a power minimization methodology for error-tolerant processor modules (ABK, SK, RK, JS), pp. 825–830.
DACDAC-2010-LishernessC #fault #injection #named
SCEMIT: a systemc error and mutation injection tool (PL, KT(C), pp. 228–233.
DACDAC-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.
DACDAC-2010-YangLW #complexity #fault #named
ECR: a low complexity generalized error cancellation rewiring scheme (XY, TKL, YLW), pp. 511–516.
DATEDATE-2010-AgyekumN #communication #hardware #robust
An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
DATEDATE-2010-ChoudhuryCMA10a #fault #named #online
TIMBER: Time borrowing and error relaying for online timing error resilience (MRC, VC, KM, RCA), pp. 1554–1559.
DATEDATE-2010-LeemCBJM #architecture #fault #named #probability
ERSA: Error Resilient System Architecture for probabilistic applications (LL, HC, JB, QAJ, SM), pp. 1560–1565.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-ShinG #approximate #fault #logic #synthesis
Approximate logic synthesis for error tolerant applications (DS, SKG), pp. 957–960.
DATEDATE-2010-VadlamaniZBT #adaptation #composition #fault #manycore #using
Multicore soft error rate stabilization using adaptive dual modular redundancy (RV, JZ, WPB, RT), pp. 27–32.
DATEDATE-2010-WuM #scheduling
Clock skew scheduling for soft-error-tolerant sequential circuits (KCW, DM), pp. 717–722.
SIGMODSIGMOD-2010-AgrawalAK #on the #set
On indexing error-tolerant set containment (PA, AA, RK), pp. 927–938.
ITiCSEITiCSE-2010-Kumar #detection #fault #online #testing
The case for error detection support during online testing (ANK), p. 311.
TACASTACAS-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.
PASTEPASTE-2010-Rubio-GonzalezL #documentation #fault
Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
STOCSTOC-2010-KoppartyS #fault #linear #random #testing
Local list-decoding and testing of random linear codes from high error (SK, SS), pp. 417–426.
FLOPSFLOPS-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.
CIAACIAA-2010-Maletti #fault #performance
Better Hyper-minimization — Not as Fast, But Fewer Errors (AM), pp. 201–210.
LISPILC-2010-Mehnert #detection #fault #type inference #type system
Extending Dylan’s type system for better type inference and error detection (HM), pp. 1–10.
CHICHI-2010-ArifS #cost analysis #fault #predict
Predicting the cost of error correction in character-based text entry technologies (ASA, WS), pp. 5–14.
CHICHI-2010-HartmannMBK #error message #fault #what
What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.
CHICHI-2010-LankST #documentation #fault #injection #using
Estimating residual error rate in recognized handwritten documents using artificial error injection (EL, RS, MAT), pp. 1–4.
CHICHI-2010-MoffattM #fault #named
Steadied-bubbles: combining techniques to address pen-based pointing errors for younger and older adults (KM, JM), pp. 1125–1134.
CSCWCSCW-2010-Cataldo #collaboration #development #distributed #fault #tool support
Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CIKMCIKM-2010-LiDF #fault
Extending dictionary-based entity extraction to tolerate errors (GL, DD, JF), pp. 1341–1344.
CIKMCIKM-2010-WebberOSH #evaluation #fault
Assessor error in stratified evaluation (WW, DWO, FS, BH), pp. 539–548.
ECIRECIR-2010-JamborW #approach #collaboration #fault
Goal-Driven Collaborative Filtering — A Directional Error Based Approach (TJ, JW), pp. 407–419.
ICPRICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using
Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICPRICPR-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.
ICPRICPR-2010-CiompiPR #approach #random #using
A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.
ICPRICPR-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.
ICPRICPR-2010-EscaleraMPRP #fault #framework #online
Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.
ICPRICPR-2010-KalalMM #automation #detection #fault
Forward-Backward Error: Automatic Detection of Tracking Failures (ZK, KM, JM), pp. 2756–2759.
ICPRICPR-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.
ICPRICPR-2010-SmithW #analysis
A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.
ICPRICPR-2010-Tabassi #fault #image #metric #performance
Image Specific Error Rate: A Biometric Performance Metric (ET), pp. 1124–1127.
ICPRICPR-2010-TanakaIKM #fault #kernel
A Relationship Between Generalization Error and Training Samples in Kernel Regressors (AT, HI, MK, MM), pp. 1421–1424.
ICPRICPR-2010-WangB #automation #clustering #evaluation #fault #performance
Performance Evaluation of Automatic Feature Discovery Focused within Error Clusters (SYW, HSB), pp. 718–721.
KDDKDD-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.
KDDKDD-2010-PrengerLVCH #bound #classification #fault
Class-specific error bounds for ensemble classifiers (RJP, TDL, KRV, BYC, WGH), pp. 843–852.
SIGIRSIGIR-2010-CarteretteS #evaluation #fault #information retrieval
The effect of assessor error on IR system evaluation (BC, IS), pp. 539–546.
OOPSLAOOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive
A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
SACSAC-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.
ASPLOSASPLOS-2010-FengGAM #fault #named #probability #reliability #string
Shoestring: probabilistic soft error reliability on the cheap (SF, SG, AA, SAM), pp. 385–396.
ASPLOSASPLOS-2010-YuanMXTZP #fault #named #runtime
SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
LCTESLCTES-2010-ShrivastavaLJ #embedded #equation #fault
Cache vulnerability equations for protecting data in embedded processor caches from soft errors (AS, JL, RJ), pp. 143–152.
ASEASE-2009-MunkbyS #fault tolerance #predict #type inference
Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
DACDAC-2009-DasBBFA #design
Addressing design margins through error-tolerant circuits (SD, DB, DMB, KF, RA), pp. 11–12.
DACDAC-2009-KrishnaswamyMH #testing
Improving testability and soft-error resilience through retiming (SK, ILM, JPH), pp. 508–513.
DACDAC-2009-PapirlaC #energy #fault
Energy-aware error control coding for Flash memories (VP, CC), pp. 658–663.
DACDAC-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.
DATEDATE-2009-0001BW #case study #fault #network
Error correction in single-hop wireless sensor networks — A case study (DS, MB, NW), pp. 1296–1301.
DATEDATE-2009-AlvesNDB #detection #fault #multi #using
Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.
DATEDATE-2009-ChoudhuryM #fault #logic
Masking timing errors on speed-paths in logic circuits (MRC, KM), pp. 87–92.
DATEDATE-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.
DATEDATE-2009-GhermanECSB
System-level hardware-based protection of memories against soft-errors (VG, SE, MC, NS, YB), pp. 1222–1225.
DATEDATE-2009-HolcombLS #analysis #design #fault
Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.
DATEDATE-2009-LeeS #fault #static analysis
Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.
DATEDATE-2009-LeveugleCMV #fault #injection #quantifier #statistics
Statistical fault injection: Quantified error and confidence (RL, AC, PM, PV), pp. 502–506.
ICDARICDAR-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.
ICDARICDAR-2009-DengSS #network #recognition
Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition (HD, GS, CYS), pp. 581–585.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
PODSPODS-2009-BerindeCIS #bound #fault
Space-optimal heavy hitters with strong error bounds (RB, GC, PI, MJS), pp. 157–166.
SIGMODSIGMOD-2009-ChaudhuriK #fault
Extending autocompletion to tolerate errors (SC, RK), pp. 707–718.
VLDBVLDB-2009-MoerkotteNS #bound #estimation #fault
Preventing Bad Plans by Bounding the Impact of Cardinality Estimation Errors (GM, TN, GS), pp. 982–993.
FASEFASE-2009-AcharyaX #api #mining #source code #specification
Mining API Error-Handling Specifications from Source Code (MA, TX), pp. 370–384.
ICSMEICSM-2009-PaudelD #fault
Modularizing error recovery (JP, CD), pp. 507–510.
WCREWCRE-1999-KrishnamoorthyDF99a #detection #fault #static analysis
Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.
PEPMPEPM-2009-BoustaniH #error message #fault #java
Improving type error messages for generic java (NEB, JH), pp. 131–140.
PLDIPLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
ICALPICALP-v1-2009-AilonL #clustering #correlation #cost analysis #fault #problem
Correlation Clustering Revisited: The “True” Cost of Error Minimization Problems (NA, EL), pp. 24–36.
ICALPICALP-v1-2009-DurandRS #complexity #fault
High Complexity Tilings with Sparse Errors (BD, AER, AS), pp. 403–414.
FMFM-2009-ReevesS #fault #robust #semantics
A Robust Semantics Hides Fewer Errors (SR, DS), pp. 499–515.
IFMIFM-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.
SEFMSEFM-2009-NgocO #analysis #fault #model checking
Overflow and Roundoff Error Analysis via Model Checking (DTBN, MO), pp. 105–114.
CHICHI-2009-HoffmannSB #fault #named
TypeRight: a keyboard with tactile error prevention (AH, DS, JOB), pp. 2265–2268.
HCIDHM-2009-AmantiniC #behaviour #fault #predict #simulation
A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
HCIDHM-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.
HCIDHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation
Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
HCIHCI-VAD-2009-PhillipsG #fault
Developing a Nomenclature for EMR Errors (WP, YG), pp. 587–596.
CAiSECAiSE-2009-TrckaAS #anti #data flow #fault #workflow
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
ICEISICEIS-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.
ECIRECIR-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.
OOPSLAOOPSLA-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.
SACSAC-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.
SACSAC-2009-CelikikB #performance #scalability
Fast error-tolerant search on very large texts (MC, HB), pp. 1724–1731.
ICSEICSE-2009-ArandaV #debugging #fault #repository
The secret life of bugs: Going past the errors and omissions in software repositories (JA, GV), pp. 298–308.
LDTALDTA-2008-LammelTK09 #fault #programming #source code #traversal
Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.
SLESLE-2009-JongeNKV #fault #flexibility #parsing
Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
HPCAHPCA-2009-FuLF #fault #process
Soft error vulnerability aware process variation mitigation (XF, TL, JABF), pp. 93–104.
LCTESLCTES-2009-LeeS #compilation #fault #optimisation
A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
SOSPSOSP-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.
CAVCAV-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.
ISSTAISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification
Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.
TAPTAP-2009-RatschanS #fault #hybrid #optimisation #quality
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
TLCATLCA-2009-StengerV #fault #haskell #parametricity #semantics
Parametricity for Haskell with Imprecise Error Semantics (FS, JV), pp. 294–308.
ASEASE-2008-JaspanQA #fault #logic
Error Reporting Logic (CJ, TQ, JA), pp. 138–147.
CASECASE-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.
DACDAC-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.
DATEDATE-2008-ChoudhuryM #approximate #concurrent #detection #fault #logic
Approximate logic circuits for low overhead, non-intrusive concurrent error detection (MRC, KM), pp. 903–908.
DATEDATE-2008-FrechetteL #algorithm #detection #fault #self
Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.
DATEDATE-2008-GizopoulosRMS #case study #fault
Soft Errors: System Effects, Protection Techniques and Case Studies (DG, KR, SM, PS).
DATEDATE-2008-ShahidiG #multi #testing
Multi-Vector Tests: A Path to Perfect Error-Rate Testing (SS, SG), pp. 1178–1183.
DATEDATE-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.
DATEDATE-2008-ZjajoG #analysis #fault #multi
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
DRRDRR-2008-Lopresti #fault #impact analysis #recognition
Measuring the impact of character recognition errors on downstream text analysis (DPL), p. 68150.
SIGMODSIGMOD-2008-NavlakhaRS #bound #fault #graph #summary
Graph summarization with bounded error (SN, RR, NS), pp. 419–432.
ITiCSEITiCSE-2008-Saravanos
Potential benefits of corrected-errors in AVBL (AS), p. 374.
WCREWCRE-2008-KpodjedoRGA #evolution #fault #graph
Error Correcting Graph Matching Application to Software Evolution (SK, FR, PG, GA), pp. 289–293.
SASSAS-2008-ConwayDNB #analysis #fault #pointer #proving
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
ICALPICALP-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.
ICALPICALP-A-2008-RodittyS #fault #sublinear
All-Pairs Shortest Paths with a Sublinear Additive Error (LR, AS), pp. 622–633.
ICALPICALP-C-2008-PrzydatekW
Error-Tolerant Combiners for Oblivious Primitives (BP, JW), pp. 461–472.
FMFM-2008-ChalinR #fault #ml #performance #runtime #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
SEFMSEFM-2008-BalakrishnanG #fault #named
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.
IFLIFL-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.
CHICHI-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.
CHICHI-2008-RatwaniMT #eye tracking #fault #predict #using
Predicting postcompletion errors using eye movements (RMR, JMM, JGT), pp. 539–542.
CHICHI-2008-WobbrockCHM #fault
An error model for pointing based on Fitts’ law (JOW, EC, SH, ISM), pp. 1613–1622.
ICEISICEIS-ISAS2-2008-FahadQN #consistency #fault #nondeterminism #ontology
Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.
CIKMCIKM-2008-HuangMG #categorisation #framework #multi
Error-driven generalist+experts (edge): a multi-stage ensemble framework for text categorization (JH, OM, CLG), pp. 83–92.
ECIRECIR-2008-KritharaARG #classification #documentation #fault
Semi-supervised Document Classification with a Mislabeling Error Model (AK, MRA, JMR, CG), pp. 370–381.
ICMLICML-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.
ICMLICML-2008-FrancLM #fault
Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
ICMLICML-2008-ZhangTK #analysis #approximate #fault #rank
Improved Nyström low-rank approximation and error analysis (KZ, IWT, JTK), pp. 1232–1239.
ICPRICPR-2008-EscaleraPR
Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.
ICPRICPR-2008-EscaleraPR08a
Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-YangB #algorithm #fault #sketching #using
Curve fitting algorithm using iterative error minimization for sketch beautification (JY, HB), pp. 1–4.
RecSysRecSys-2008-DingZYZFB #collaboration #fault #predict #statistics
Boosting collaborative filtering based on statistical prediction errors (SD, SZ, QY, XZ, RF, LDB), pp. 3–10.
TOOLSTOOLS-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.
SACSAC-2008-FreryRNN #estimation #fault #network
Error estimation in wireless sensor networks (ACF, HSR, JAN, EFN), pp. 1923–1928.
SACSAC-2008-ShenK #fault #named #uml
ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
FSEFSE-2008-BoddenLH #fault #monitoring #programming #runtime
Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
SPLCSPLC-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.
ASPLOSASPLOS-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.
ISSTAISSTA-2008-PachecoLB #dot-net #fault #random testing #testing
Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
CBSECBSE-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.
ASEASE-2007-Grechanik #component #fault #xml
Finding errors in components that exchange xml data (MG), pp. 264–273.
CASECASE-2007-ChalfounBKP #fault #matrix #using
Calibration Using Generalized Error Matrices of a Long Reach Articulated Carrier (JC, CB, DK, YP), pp. 777–782.
CASECASE-2007-XiongX #fault #multi #on the
On the Error Elimination for Multi-Axis CNC Machining (CX, YLX), pp. 412–417.
DATEDATE-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.
DATEDATE-2007-HsiehLB #detection #fault #reduction
Reduction of detected acceptable faults for yield improvement via error-tolerance (TYH, KJL, MAB), pp. 1599–1604.
DATEDATE-2007-HungIGS #fault
Utilization of SECDED for soft error and variation-induced defect tolerance in caches (LDH, HI, MG, SS), pp. 1134–1139.
DATEDATE-2007-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.
DATEDATE-2007-Miskov-ZivanovM #analysis #fault
Soft error rate analysis for sequential circuits (NMZ, DM), pp. 1436–1441.
DATEDATE-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.
DATEDATE-2007-SeshiaLM #fault
Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.
ICDARICDAR-2007-BeaufortM #fault #finite #framework
A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR (RB, CMT), pp. 889–893.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2007-RinglstetterRGS #fault
Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries (CR, UR, AG, KUS), pp. 639–643.
ICDARICDAR-2007-WickRL #fault #modelling #topic #using
Context-Sensitive Error Correction: Using Topic Models to Improve OCR (MLW, MGR, EGLM), pp. 1168–1172.
ICDARICDAR-2007-ZhangLS #fault #online #recognition
Minimum Error Discriminative Training for Radical-Based Online Chinese Handwriting Recognition (YZ, PL, FKS), pp. 53–57.
ICPCICPC-2007-ZhangI #analysis #fault
Error Report Driven Post-Mortem Analysis (YZ, SPI), pp. 208–220.
ICSMEICSM-2007-FilhoGR #aspect-oriented #fault
Extracting Error Handling to Aspects: A Cookbook (FCF, AG, CMFR), pp. 134–143.
PLDIPLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using
Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
PLDIPLDI-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.
PLDIPLDI-2007-LernerFGC #error message
Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.
PLDIPLDI-2007-NovarkBZ #automation #fault #memory management #named #probability
Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.
PLDIPLDI-2007-ZhangTGG #execution #fault #towards
Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
SASSAS-2007-LalKRT #fault
Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
STOCSTOC-2007-Kenyon-MathieuS #fault #how #rank
How to rank with few errors (CKM, WS), pp. 95–103.
ICALPICALP-2007-IwamaNRY #bound #communication #complexity #quantum
Unbounded-Error One-Way Classical and Quantum Communication Complexity (KI, HN, RR, SY), pp. 110–121.
HCIHCI-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.
HCIHCI-AS-2007-Tsuchiya #fault #metric #order
Medication Errors Caused by Order Entry System and Prevention Measures (FT), pp. 535–543.
HCIHCI-AS-2007-ZhangLL #algorithm #fault #random
A Routing Algorithm for Random Error Tolerance in Network-on-Chip (LZ, HL, XL), pp. 1210–1219.
HCIHCI-MIE-2007-ChenC07a #algorithm #design #fault #feedback
An Improved H.264 Error Concealment Algorithm with User Feedback Design (XC, YYC), pp. 815–820.
HCIHCI-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.
HCIHIMI-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.
ICMLICML-2007-SunKR #fault #metric #robust
Robust mixtures in the presence of measurement errors (JS, AK, SR), pp. 847–854.
ICMLICML-2007-YamazakiKWSM #fault
Asymptotic Bayesian generalization error when training and test distributions are different (KY, MK, SW, MS, KRM), pp. 1079–1086.
SIGIRSIGIR-2007-TanW #categorisation
Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
OOPSLAOOPSLA-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-FSEESEC-FSE-2007-MizunoK #detection #empirical #fault
Training on errors experiment to detect fault-prone software modules by spam filter (OM, TK), pp. 405–414.
HPCAHPCA-2007-MeixnerS #detection #fault #online
Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures (AM, DJS), pp. 145–156.
ICLPICLP-2007-PietrzakH #automation #fault #logic programming #source code
Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.
ISSTAISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
CASECASE-2006-RenWJXY #analysis #fault
A Methodology to Model Human and Organisational Errors on Offshore Risk Analysis (JR, JW, IJ, DLX, JBY), pp. 144–149.
DACDAC-2006-AziziN #product line
A family of cells to reduce the soft-error-rate in ternary-CAM (NA, FNN), pp. 779–784.
DACDAC-2006-Miskov-ZivanovM #fault #modelling #named #reduction
MARS-C: modeling and reduction of soft errors in combinational circuits (NMZ, DM), pp. 767–772.
DATEDATE-2006-AlmukhaizimM #concurrent #detection #fault
Berger code-based concurrent error detection in asynchronous burst-mode machines (SA, YM), pp. 71–72.
DATEDATE-2006-GillPW #analysis #fault #logic
Soft delay error analysis in logic circuits (BSG, CAP, FGW), pp. 47–52.
DATEDATE-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.
DATEDATE-2006-Kim #fault
Area-efficient error protection for caches (SK), pp. 1282–1287.
DATEDATE-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.
DATEDATE-2006-NepalBMPZ #design #fault #memory management
Designing MRF based error correcting circuits for memory elements (KN, RIB, JLM, WRP, AZ), pp. 792–793.
DATEDATE-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.
ICSMEICSM-2006-NgoT #fault #maintenance
A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.
MSRMSR-2006-WeissgerberD #question #refactoring
Are refactorings less error-prone than other changes? (PW, SD), pp. 112–118.
STOCSTOC-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.
STOCSTOC-2006-MoshkovitzR #fault
Sub-constant error low degree test of almost-linear size (DM, RR), pp. 21–30.
IFLIFL-2006-HageH #fault #heuristic
Heuristics for Type Error Discovery and Recovery (JH, BH), pp. 199–216.
CHICHI-2006-BurkeAI #fault
Error correction of voicemail transcripts in SCANMail (MB, BA, PLI), pp. 339–348.
CHICHI-2006-GongT #evaluation #fault #metric
A new error metric for text entry method evaluation (JG, PT), pp. 471–474.
AdaEuropeAdaEurope-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v1-2006-BriassouliA #estimation #fault #fourier #segmentation
Spatial and Fourier Error Minimization for Motion Estimation and Segmentation (AB, NA), pp. 94–97.
ICPRICPR-v1-2006-Lhuillier #effectiveness #fault #using
Effective and Generic Structure from Motion using Angular Error (ML), pp. 67–70.
ICPRICPR-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.
ICPRICPR-v2-2006-SaragihG #bound #fault
Iterative Error Bound Minimisation for AAM Alignment (JS, RG), pp. 1192–1195.
ICPRICPR-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.
ICPRICPR-v3-2006-ChanL #algorithm #approximate #fault #multi #performance
Multiplierless Fast DCT Algorithms with Minimal Approximation Errors (RKWC, MCL), pp. 921–925.
ICPRICPR-v4-2006-EscaleraPR #fault
Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.
ICPRICPR-v4-2006-NeuhausB #graph #kernel
A Convolution Edit Kernel for Error-tolerant Graph Matching (MN, HB), pp. 220–223.
KDDKDD-2006-Forman #classification #fault #roadmap
Quantifying trends accurately despite classifier error and class imbalance (GF), pp. 157–166.
SIGIRSIGIR-2006-SteinAF #classification #fault
The effect of OCR errors on stylistic text classification (SSS, SA, OF), pp. 701–702.
FSEFSE-2006-DwyerPE #detection #fault
Controlling factors in evaluating path-sensitive error detection techniques (MBD, SP, SGE), pp. 92–104.
CGOCGO-2006-BorinWWA #control flow #detection #fault
Software-Based Transparent and Comprehensive Control-Flow Error Detection (EB, CW, YW, GA), pp. 333–345.
HPCAHPCA-2006-KumarA #concurrent #detection #fault #performance
Reducing resource redundancy for concurrent error detection techniques in high performance microprocessors (SK, AA), pp. 212–221.
OSDIOSDI-2006-YangSE #fault #lightweight #named
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
PPoPPPPoPP-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.
VMCAIVMCAI-2006-Younes #fault #model checking #probability
Error Control for Probabilistic Model Checking (HLSY), pp. 142–156.
DACDAC-2005-MitraKSZ #challenge #design #fault #logic
Logic soft errors in sub-65nm technologies design and CAD challenges (SM, TK, NS, MZ), pp. 2–4.
DATEDATE-2005-AlmukhaizimM #concurrent #detection #fault
Concurrent Error Detection in Asynchronous Burst-Mode Controllers (SA, YM), pp. 1272–1277.
DATEDATE-2005-DhillonDC #analysis #optimisation
Soft-Error Tolerance Analysis and Optimization of Nanometer Circuits (YSD, AUD, AC), pp. 288–293.
DATEDATE-2005-HashempourSL #evaluation #reliability #testing
Evaluation of Error-Resilience for Reliable Compression of Test Data (HH, LS, FL), pp. 1284–1289.
DATEDATE-2005-HuLDKVI #detection #fault
Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.
DATEDATE-2005-KaulSBMA #design #fault
DVS for On-Chip Bus Designs Based on Timing Error Correction (HK, DS, DB, TNM, TMA), pp. 80–85.
DATEDATE-2005-MemikKO #fault
Increasing Register File Immunity to Transient Errors (GM, MTK, ÖÖ), pp. 586–591.
DATEDATE-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.
DATEDATE-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.
DRRDRR-2005-GarrisonDAS #database #fault
Study of style effects on OCR errors in the MEDLINE database (PG, DLD, TLA, EHBS), pp. 28–36.
ICDARICDAR-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.
ICDARICDAR-2005-ZhouS #approach #fault #recognition #using
Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.
VLDBVLDB-2005-KarrasM #metric
One-Pass Wavelet Synopses for Maximum-Error Metrics (PK, NM), pp. 421–432.
TACASTACAS-2005-WeimerN #detection #fault #mining #specification
Mining Temporal Specifications for Error Detection (WW, GCN), pp. 461–476.
MSRMSR-2005-GorgW #detection #fault #re-engineering #refactoring
Error detection by refactoring reconstruction (CG, PW), pp. 86–90.
STOCSTOC-2005-DodisS #fault
Correcting errors without leaking partial information (YD, AS), pp. 654–663.
STOCSTOC-2005-Regev #encryption #fault #learning #linear #on the #random
On lattices, learning with errors, random linear codes, and cryptography (OR), pp. 84–93.
ICMLICML-2005-BeygelzimerDHLZ #classification #fault #reduction
Error limiting reductions between classification tasks (AB, VD, TPH, JL, BZ), pp. 49–56.
ICMLICML-2005-JoachimsH #bound #clustering #correlation #fault
Error bounds for correlation clustering (TJ, JEH), pp. 385–392.
ICMLICML-2005-KaariainenL #bound #comparison #fault
A comparison of tight generalization error bounds (MK, JL), pp. 409–416.
ICMLICML-2005-SunTLW #framework
Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.
KDDKDD-2005-GuhaH #data type #fault
Wavelet synopsis for data streams: minimizing non-euclidean error (SG, BH), pp. 88–97.
KDDKDD-2005-KoppelSZ #fault #mining
Determining an author’s native language by mining a text for errors (MK, JS, KZ), pp. 624–628.
KDDKDD-2005-Torgo #fault
Regression error characteristic surfaces (LT), pp. 697–702.
SIGIRSIGIR-2005-LinH #fault #retrieval #set #topic
Revisiting the effect of topic set size on retrieval error (WHL, AGH), pp. 637–638.
OOPSLAOOPSLA-2005-MartinLL #fault #query #security #using
Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.
POPLPOPL-2005-XieA #detection #fault #satisfiability #scalability #using
Scalable error detection using boolean satisfiability (YX, AA), pp. 351–363.
SACSAC-2005-MartinB #fault
Estimating manifold dimension by inversion error (SM, AB), pp. 22–26.
ESEC-FSEESEC-FSE-2005-LivshitsZ #fault #mining #named
DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.
HPCAHPCA-2005-MukherjeeER #architecture #fault #perspective #problem
The Soft Error Problem: An Architectural Perspective (SSM, JSE, SKR), pp. 243–247.
VMCAIVMCAI-2005-Hymans #abstract interpretation #fault #verification
Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
VMCAIVMCAI-2005-KumarKV #complexity #fault #on the
On the Complexity of Error Explanation (NK, VK, MV), pp. 448–464.
CBSECBSE-2004-BeckerOR #adaptation #component #fault
Classifying Software Component Interoperability Errors to Support Component Adaption (SB, SO, RHR), pp. 68–83.
ASEASE-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.
ASEASE-2004-Taghdiri #detection #fault #specification
Inferring Specifications to Detect Errors in Code (MT), pp. 144–153.
DACDAC-2004-Iyer #detection #fault
Hierarchical application aware error detection and recovery (RKI), p. 79.
DATEDATE-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.
DATEDATE-v1-2004-GinesPR #fault #pipes and filters
Digital Background Gain Error Correction in Pipeline ADCs (AJG, EJP, AR), pp. 82–87.
DATEDATE-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.
PODSPODS-2004-GarofalakisK #metric
Deterministic Wavelet Thresholding for Maximum-Error Metrics (MNG, AK), pp. 166–176.
VLDBVLDB-2004-GuhaSW #algorithm #fault #named
REHIST: Relative Error Histogram Construction Algorithms (SG, KS, JW), pp. 300–311.
VLDBVLDB-2004-KoudasOT0 #approximate #bound #fault #performance #query
Approximate NN queries on Streams with Guaranteed Error/performance Bounds (NK, BCO, KLT, RZ), pp. 804–815.
ESOPESOP-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.
TACASTACAS-2004-Groce #distance #fault #metric
Error Explanation with Distance Metrics (AG), pp. 108–122.
STOCSTOC-2004-ColeGL #fault #taxonomy
Dictionary matching and indexing with errors and don’t cares (RC, LAG, ML), pp. 91–100.
CIAACIAA-2004-FerroOG #fault #finite
Regional Finite-State Error Repair (MVF, JO, JGG), pp. 269–280.
ICALPICALP-2004-GuruswamiI #linear
Linear-Time List Decoding in Error-Free Settings: (Extended Abstract) (VG, PI), pp. 695–707.
IFMIFM-2004-CurzonB #case study #design #fault
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
IFLIFL-2004-Gast #data flow #fault #ml
Explaining ML Type Errors by Data Flows (HG), pp. 72–89.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2004-BolleRP #estimation #evaluation #fault
An Evaluation of Error Confidence Interval Estimation Methods (RMB, NKR, SP), pp. 103–106.
ICPRICPR-v3-2004-FinlaysonM
Error-Less Colour Correctio (GDF, PMM), pp. 181–185.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v4-2004-MayoralA #evaluation #fault
Evaluation of Correspondence Errors for Stereo (RM, MA), pp. 104–107.
ICPRICPR-v4-2004-ShihKG #analysis #bound #fault #image
An Error Bound of Relative Image Blur Analysis (SWS, PSK, WSG), pp. 100–103.
OOPSLAOOPSLA-2004-WeimerN #fault #runtime
Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
SACSAC-2004-AlbaC #fault #heuristic #hybrid #parallel #problem
Solving the error correcting code problem with parallel hybrid heuristics (EA, JFC), pp. 985–989.
SACSAC-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.
FSEFSE-2004-KremenekAYE #correlation #fault #ranking
Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
ICSEICSE-2004-BrunE #fault #machine learning
Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
ASPLOSASPLOS-2004-SmolensGKFHN #bound #detection #latency #named
Fingerprinting: bounding soft-error detection latency and bandwidth (JCS, BTG, JK, BF, JCH, AN), pp. 224–234.
OSDIOSDI-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.
ASEASE-2003-AhmadAGK #detection #fault #spreadsheet #type system
A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2003-WegenerK #fault #identification #linear #modelling
Linear Model-Based Error Identification and Calibration for Data Converters (CW, MPK), pp. 10630–10635.
DRRDRR-2003-LuanLD #documentation
General Chinese document capture system with an improved error-rejecting module (DL, CL, XD), pp. 257–265.
ESOPESOP-2003-HaackW #fault #higher-order #slicing
Type Error Slicing in Implicitly Typed Higher-Order Languages (CH, JBW), pp. 284–301.
ICALPICALP-2003-HoyerMW #bound #quantum
Quantum Search on Bounded-Error Inputs (PH, MM, RdW), pp. 291–299.
ICFPICFP-2003-NeubauerT #fault
Discriminative sum types locate the source of type errors (MN, PT), pp. 15–26.
CHICHI-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.
ICMLICML-2003-BiB #fault
Regression Error Characteristic Curves (JB, KPB), pp. 43–50.
ICMLICML-2003-Munos #approximate #bound #fault #policy
Error Bounds for Approximate Policy Iteration (RM), pp. 560–567.
SIGIRSIGIR-2003-HuBZ #analysis #fault #topic
Error analysis of difficult TREC topics (XH, SB, CZ), pp. 407–408.
OOPSLAOOPSLA-2003-DemskyR #automation #data type #detection #fault
Automatic detection and repair of errors in data structures (BD, MCR), pp. 78–95.
POPLPOPL-2003-BallNR #fault
From symptom to cause: localizing errors in counterexample traces (TB, MN, SKR), pp. 97–105.
ESEC-FSEESEC-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.
ICSTSAT-2003-Bruni #fault #satisfiability #scalability #set
Solving Error Correction for Large Data Sets by Means of a SAT Solver (RB), pp. 229–241.
DATEDATE-2002-BertozziBM #encoding #fault #power management
Low Power Error Resilient Encoding for On-Chip Data Buses (DB, LB, GDM), pp. 102–109.
DATEDATE-2002-BruschiCFS #design #fault #simulation
Error Simulation Based on the SystemC Design Description Language (FB, MC, FF, DS), p. 1135.
DATEDATE-2002-VenerisLAA #fault #incremental #multi
Incremental Diagnosis and Correction of Multiple Faults and Errors (AGV, JBL, MA, MSA), pp. 716–721.
SIGMODSIGMOD-2002-GarofalakisG #fault
Wavelet synopses with error guarantees (MNG, PBG), pp. 476–487.
ESOPESOP-2002-Martel #approach #fault #finite #precise #semantics
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.
TACASTACAS-2002-JinRS #fault
Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.
WCREWCRE-2002-TanT #fault #program analysis #transaction #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
CIAACIAA-2002-FerroDA #fault
Searching for Asymptotic Error Repair (MVF, VMD, MAA), pp. 276–281.
ICEISICEIS-2002-IglesiasMCCF #database #design #education #fault #learning
Learning to Teach Database Design by Trial and Error (AI, PM, DC, EC, FF), pp. 500–505.
CIKMCIKM-2002-WibowoW #categorisation #fault #web
Strategies for minimising errors in hierarchical web categorisation (WW, HEW), pp. 525–531.
ICMLICML-2002-ElomaaR #fault #performance
Fast Minimum Training Error Discretization (TE, JR), pp. 131–138.
ICMLICML-2002-TeowLNY #approach #fault #feature model
Refining the Wrapper Approach — Smoothed Error Estimates for Feature Selection (LNT, HL, HTN, EY), pp. 626–633.
ICPRICPR-v1-2002-ZhangD #classification #fault #recognition
Minimum Classification Error Training for Handwritten Character Recognition (RZ, XD), pp. 580–583.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2002-RidderPD #classification #complexity #fault
The Economics of Classification: Error vs. Complexity (DdR, EP, RPWD), pp. 244–247.
ICPRICPR-v2-2002-RoliFV #analysis #classification #trade-off
Analysis of Error-Reject Trade-off in Linearly Combined Classifiers (FR, GF, GV), pp. 120–125.
ICPRICPR-v3-2002-PankantiRB #case study #fault #verification
Structure in Errors: A Case Study in Fingerprint Verification (SP, NKR, RMB), pp. 440–447.
ICPRICPR-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.
ICPRICPR-v3-2002-TakasuA #fault #named #recognition
DVHMM: Variable Length Text Recognition Error Model (AT, KA), pp. 110–114.
ICPRICPR-v4-2002-KubotaMK #fault #learning #optimisation
A Discriminative Learning Criterion for the Overall Optimization of Error and Reject (SK, HM, YK), pp. 98–102.
KDDKDD-2002-KumarPW #clustering #fault
Clustering seasonality patterns in the presence of errors (MK, NRP, JW), pp. 557–563.
SIGIRSIGIR-2002-Tseng #fault
Error correction in a Chinese OCR test collection (YHT), pp. 429–430.
SIGIRSIGIR-2002-VoorheesB #empirical #fault #retrieval #set #topic
The effect of topic set size on retrieval experiment error (EMV, CB), pp. 316–323.
FSEFSE-2002-XieE #fault #using
Using redundancies to find errors (YX, DRE), pp. 51–60.
HPDCHPDC-2002-ThainL #fault #grid #theory and practice
Error Scope on a Computational Grid: Theory and Practice (DT, ML), pp. 199–208.
CADECADE-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.
ISSTAISSTA-2002-HillerJS #fault #named
PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.
DACDAC-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.
DACDAC-2001-LeeT #fault #verification
Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System (RL, BT), pp. 822–827.
DATEDATE-2001-FavalliM #detection #fault #optimisation
Optimization of error detecting codes for the detection of crosstalk originated errors (MF, CM), pp. 290–296.
DATEDATE-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.
DATEDATE-2001-VandersteenWRSDEB #estimation #multi #performance
Efficient bit-error-rate estimation of multicarrier transceivers (GV, PW, YR, JS, SD, ME, IB), pp. 164–168.
ICDARICDAR-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.
ICDARICDAR-2001-Ishitani #documentation #fault #image #information management #modelling
Model-Based Information Extraction Method Tolerant of OCR Errors for Document Images (YI), pp. 908–915.
ITiCSEITiCSE-2001-LancasterC #detection #fault #process #towards
Towards an error free plagarism detection process (TL, FC), pp. 57–60.
ITiCSEITiCSE-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.
ICFPICFP-2001-Chitil #algorithm #composition #debugging #fault
Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.
AdaEuropeAdaEurope-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.
CIKMCIKM-2001-MarcusML #fault #identification #set
Ordinal Association Rules for Error Identification in Data Sets (AM, JIM, KIL), pp. 589–591.
ICMLICML-2001-RoyM #estimation #fault #learning #reduction #towards
Toward Optimal Active Learning through Sampling Estimation of Error Reduction (NR, AM), pp. 441–448.
KDDKDD-2001-YangFB #performance
Efficient discovery of error-tolerant frequent itemsets in high dimensions (CY, UMF, PSB), pp. 194–203.
SEKESEKE-2001-TanTL #design #fault #transaction
Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.
SOSPSOSP-2001-ChouYCHE #empirical #fault #operating system
An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
SOSPSOSP-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.
DACDAC-2000-LachMP #debugging #detection #fault #locality #performance
Efficient error detection, localization, and correction for FPGA-based debugging (JL, WHMS, MP), pp. 207–212.
DATEDATE-2000-FinF #fault #functional #generative #testing
A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATEDATE-2000-HoffmannK #fault #multi
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits (DWH, TK), p. 758.
DATEDATE-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.
PODSPODS-2000-CharikarCMN #estimation #fault #towards
Towards Estimation Error Guarantees for Distinct Values (MC, SC, RM, VRN), pp. 268–279.
VLDBVLDB-2000-YuV #bound #fault #network #performance
Efficient Numerical Error Bounding for Replicated Network Services (HY, AV), pp. 123–133.
TACASTACAS-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.
STOCSTOC-2000-KatzT #on the #performance
On the efficiency of local decoding procedures for error-correcting codes (JK, LT), pp. 80–86.
CIAACIAA-2000-FerroDR #fault
Regional Least-Cost Error Repair (MVF, VMD, FJR), pp. 293–301.
WLCWLC-2000-Konstantinidis #detection
Error-Detecting Properties of Languages (SK), pp. 240–252.
CSCWCSCW-2000-TwidaleM #fault #process #robust
Coping with errors: the importance of process data in robust sociotechnical systems (MT, PFM), pp. 269–278.
ICMLICML-2000-Ghani #classification #using
Using Error-Correcting Codes for Text Classification (RG), pp. 303–310.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-v1-2000-SappaG #bound #fault #image #modelling #optimisation
Modeling Range Images with Bounded Error Triangular Meshes without Optimization (ADS, MAG), pp. 1392–1395.
ICPRICPR-v2-2000-AmengualV #estimation #on the #parametricity
On the Estimation of Error-Correcting Parameters (JCA, EV), pp. 2883–2886.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2000-IwamuraOA #estimation #fault
A Modification of Eigenvalues to Compensate Estimation Errors of Eigenvectors (MI, SO, HA), pp. 2378–2381.
ICPRICPR-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.
ICPRICPR-v2-2000-Sato #classification #fault #learning
A Learning Method for Definite Canonicalization Based on Minimum Classification Error (AS), pp. 2199–2202.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2000-KletteZ #bound #fault #multi #order
Multigrid Error Bounds for Moments of Arbitrary Order (RK, JDZ), pp. 3790–3793.
ICPRICPR-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.
ICPRICPR-v4-2000-Perez-CortesAAL #parsing #probability
Stochastic Error-Correcting Parsing for OCR Post-Processing (JCPC, JCA, JA, RL), pp. 4405–4408.
SIGIRSIGIR-2000-McCarleyF #detection #fault #recognition #speech #topic
Influence of speech recognition errors on topic detection (JSM, MF), pp. 342–344.
TOOLSTOOLS-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.
SACSAC-2000-KloseKST #classification #fault #symmetry
Controlling Asymmetric Errors in Neuro-Fuzzy Classification (AK, RK, KS, UT), pp. 505–509.
CAVCAV-2000-AlfaroHM #detection #fault
Detecting Errors Before Reaching Them (LdA, TAH, FYCM), pp. 186–201.
DACDAC-1999-BoppanaMJFB #fault #multi
Multiple Error Diagnosis Based on Xlists (VB, RM, JJ, MF, PB), pp. 660–665.
DACDAC-1999-ChenW #approximate #bound #fault
Error Bounded Padé Approximation via Bilinear Conformal Transformation (CPC, DFW), pp. 7–12.
DATEDATE-1999-GuerraRRFR #fault #generative
An Accurate Error Control Mechanism for Simplification Before Generation Algorihms (OG, JDRG, ER, FVF, ÁRV), p. 412–?.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-1999-KangL #classification #fault
Combining Classifiers based on Minimization of a Bayes Error Rate (HJK, SWL), pp. 398–401.
ICSMEICSM-1999-DouceL #empirical #evolution #fault
Evolution and Errors: An Empirical Example (CRD, PJL), p. 493–?.
STOCSTOC-1999-DinurFKRS #towards
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
STOCSTOC-1999-GoldreichRS #fault
Chinese Remaindering with Errors (OG, DR, MS), pp. 225–234.
STOCSTOC-1999-KiwiMS #approximate #fault #testing
Approximate Testing with Relative Error (MAK, FM, MS), pp. 51–60.
STOCSTOC-1999-RazRV #fault
Extracting all the Randomness and Reducing the Error in Trevisan’s Extractors (RR, OR, SPV), pp. 149–158.
FMFM-v1-1999-ReffelE #detection #fault #model checking
Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
CHICHI-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.
CHICHI-1999-Oviatt #ambiguity #architecture #fault #multi #recognition
Mutual Disambiguation of Recognition Errors in a Multimodel Architecture (SLO), pp. 576–583.
CHICHI-1999-SuhmMW #empirical #evaluation #fault #interactive #modelling #multimodal
Model-Based and Empirical Evaluation of Multimodal Interactive Error Correction (BS, BAM, AW), pp. 584–591.
HCIHCI-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.
HCIHCI-CCAD-1999-VirvouM99a #fault
Error diagnosis in an English tutor (MV, DM), pp. 657–661.
EDOCEDOC-1999-RenaudC #component #fault #framework #named
HERCULE: a framework for enhancing error reporting in component-based systems (KR, RLC), pp. 245–254.
ICMLICML-1999-CardieMP #classification #parsing
Combining Error-Driven Pruning and Classification for Partial Parsing (CC, SM, DRP), pp. 87–96.
ICMLICML-1999-SchefferJ #analysis #fault
Expected Error Analysis for Model Selection (TS, TJ), pp. 361–370.
RERE-1999-SutcliffeGM #fault #requirements
Human Errors and System Requirements (AGS, JRG, SM), p. 23–?.
DACDAC-1998-HuangCCL #design #fault
Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.
DACDAC-1998-KwakP #estimation #fault #logic #statistics
An Optimization-Based Error Calculation for Statistical Power Estimation of CMOS Logic Circuits (BK, ESP), pp. 690–693.
DATEDATE-1998-AntolaPS #approach #detection #fault
A Low-Redundancy Approach to Semi-Concurrent Error Detection in Data Paths (AA, VP, MS), pp. 266–272.
DATEDATE-1998-BolchiniSS #analysis #concurrent #detection #fault #network
Fault Analysis in Networks with Concurrent Error Detection Properties (CB, FS, DS), pp. 957–958.
DATEDATE-1998-HamiltonO #concurrent #fault #latency
Concurrent Error Recovery with Near-Zero Latency in Synthesized ASICs (SNH, AO), pp. 604–609.
DATEDATE-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.
PASTEPASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.
STOCSTOC-1998-ShokrollahiW #algebra #bound #geometry
Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
ICALPICALP-1998-KaoW #fault #performance
Efficient Minimization of Numerical Summation Errors (MYK, JW), pp. 375–386.
ICFPICFP-1998-McAdam #fault
Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.
ICPRICPR-1998-ColmenarezH #detection #fault
Pattern detection with information-based maximum discrimination and error bootstrapping (AC, TSH), pp. 222–224.
ICPRICPR-1998-KaufmannB #fault #locality #using
Amount translation and error localization in check processing using syntax-directed translation (GK, HB), pp. 1530–1534.
ICPRICPR-1998-Mizutani #classification #fault #learning
Discriminative learning for minimum error and minimum reject classification (HM), pp. 136–140.
SIGIRSIGIR-1998-MouraNZB #fault #performance
Fast Searching on Compressed Text Allowing Errors (ESdM, GN, NZ, RABY), pp. 298–306.
SIGIRSIGIR-1998-NgZ #fault #retrieval #speech #using
Speech Retrieval Using Phonemes with Error Correction (CN, JZ), pp. 365–366.
LOPSTRLOPSTR-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.
SACSAC-1998-McGuireS #algorithm #linear #search-based #using
Using a genetic algorithm to find good linear error-correcting codes (KMM, RES), pp. 332–337.
ISSTAISSTA-1998-HajnalF #algorithm #fault #generative #testing
An Applicable Test Data Generation Algorithm for Domain Errors (ÁH, IF), pp. 63–72.
DATEEDTC-1997-PaschalisGGK #fault #self
A totally self-checking 1-out-of-3 code error indicator (AMP, NG, DG, PK), pp. 450–454.
DATEEDTC-1997-WahbaB #fault
Connection error location and correction in combinational circuits (AMW, DB), pp. 235–241.
ICDARICDAR-1997-Gorski #optimisation #recognition
Optimizing Error-Reject Trade off in Recognition Systems (NG), pp. 1092–1096.
ICDARICDAR-1997-MykaG #fault #similarity
Measuring the Effects of OCR Errors on Similarity Linking (AM, UG), pp. 968–973.
STOCSTOC-1997-AharonovB #constant #fault tolerance #quantum
Fault-Tolerant Quantum Computation With Constant Error (DA, MBO), pp. 176–188.
STOCSTOC-1997-Pan #equation #performance
Faster Solution of the Key Equation for Decoding BCH Error-Correcting Codes (VYP), pp. 168–175.
STOCSTOC-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.
ICALPICALP-1997-Dami #fault #reduction #runtime
Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
HCIHCI-SEC-1997-GargRK #fault #modelling
Modeling the Sources and Consequences of Errors and Delays in Complex Systems (CG, VR, JWK), pp. 67–70.
ASF+SDFASF+SDF-1997-DineshT #approach #case study #fault
A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.
DACDAC-1996-ClarkeKZ #fault #model checking #word
Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.
DACDAC-1996-HuangCC #fault #verification
Error Correction Based on Verification Techniques (SYH, KCC, KTC), pp. 258–261.
ESOPESOP-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.
TACASTACAS-1996-Margaria #automation #detection #fault
Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits (TMS), pp. 258–277.
ICSMEICSM-1996-OwensWG #classification #fault #using
Software Error Classification using Purify (HDO, BFW, MJG), pp. 104–113.
ICSMEICSM-1996-TakahashiN #complexity #fault #interface
The effect of interface complexity on program error density (RT, YN), pp. 77–86.
PLDIPLDI-1996-Evans #detection #fault #memory management #static analysis
Static Detection of Dynamic Memory Errors (DE), pp. 44–53.
STOCSTOC-1996-BergerKL #3d #fault
Reconstructing a Three-Dimensional Model with Arbitrary Errors (BB, JMK, FTL), pp. 449–458.
ICALPICALP-1996-Billaud #fault
Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.
AFPAFP-1996-SwierstraD96 #combinator #parsing
Deterministic, Error-Correcting Combinator Parsers (SDS, LD), pp. 184–207.
ICMLICML-1996-RaviseS #evolution #fault
An Advanced Evolution Should Not Repeat its Past Errors (CR, MS), pp. 400–408.
ICMLICML-1996-Saerens #fault #learning
Non Mean Square Error Criteria for the Training of Learning Machines (MS), pp. 427–434.
ICPRICPR-1996-ChaudhuriP #detection #fault
OCR error detection and correction of an inflectional Indian language script (BBC, UP), pp. 245–249.
ICPRICPR-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.
ICPRICPR-1996-Muraki #fault #learning #statistics
Error correction scheme augmented with statistical and lexical learning capability, for Japanese OCR (KM), pp. 560–564.
ICPRICPR-1996-OommenL #fault #pattern matching #pattern recognition #probability #recognition
Probabilistic syntactic pattern recognition for traditional and generalized transposition errors (BJO, RKSL), pp. 685–689.
ICPRICPR-1996-RaudysD #classification #empirical #fault
Expected error of minimum empirical error and maximal margin classifiers (SR, VD), pp. 875–879.
ICPRICPR-1996-SuriHS #automation #bound #fault
Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.
ICPRICPR-1996-TumerG #classification #fault
Estimating the Bayes error rate through classifier combining (KT, JG), pp. 695–699.
KDDKDD-1996-KohaviS
Error-Based and Entropy-Based Discretization of Continuous Features (RK, MS), pp. 114–119.
SEKESEKE-1996-FoxBM #automation #debugging #fault #pascal #process #syntax
Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
ISSTAISSTA-1996-DaranT #analysis #case study #fault
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations (MD, PTF), pp. 158–171.
ICDARICDAR-v1-1995-BunkeL #classification #documentation #parsing #using
Classification and postprocessing of documents using an error-correcting parser (HB, RL), pp. 222–226.
ICDARICDAR-v1-1995-GarciaDPC #analysis #detection #fault #pseudo #recognition #using
Error detection in character recognition using pseudosyllable analysis (RGG, YAD, FMP, JLC), pp. 446–449.
ICDARICDAR-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.
ICDARICDAR-v2-1995-HisamitsuMSFN #fault
Optimal techniques in OCR error correction for Japanese texts (TH, KM, YS, HF, YN), pp. 1014–1017.
STOCSTOC-1995-Spielman #linear
Linear-time encodable and decodable error-correcting codes (DAS), pp. 388–397.
ICALPICALP-1995-JurgensenK #fault
Variable-Length Codes for Error Correction (HJ, SK), pp. 581–592.
CIKMCIKM-1995-HaaseH #database #distributed #fault
Error Propagation in Distributed Databases (OH, AH), pp. 387–394.
ICMLICML-1995-Drakopoulos #bound #classification #fault #nearest neighbour
Bounds on the Classification Error of the Nearest Neighbor Rule (JAD), pp. 203–208.
ICMLICML-1995-KohaviJ #fault #parametricity
Autmatic Parameter Selection by Minimizing Estimated Error (RK, GHJ), pp. 304–312.
ICMLICML-1995-KongD #bias
Error-Correcting Output Coding Corrects Bias and Variance (EBK, TGD), pp. 313–321.
RERE-1995-FieldsWH #approach #fault #requirements
A task centered approach to analysing human error tolerance requirements (BF, PCW, MDH), pp. 18–26.
HPCAHPCA-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.
DACDAC-1994-KuehlmannCSL #fault #verification
Error Diagnosis for Transistor-Level Verification (AK, DIC, AS, DPL), pp. 218–224.
DACDAC-1994-TomitaYSH #design #fault #logic #multi
Rectification of Multiple Logic Design Errors in Multiple Output Circuits (MT, TY, FS, KH), pp. 212–217.
DATEEDAC-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.
DATEEDAC-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.
PLDIPLDI-1994-AustinBS #array #detection #fault #performance #pointer
Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.
STOCSTOC-1994-FeigeK #fault #protocol #proving
Two prover protocols: low error at affordable rates (UF, JK), pp. 172–183.
ICMLICML-1994-FurnkranzW #fault #incremental
Incremental Reduced Error Pruning (JF, GW), pp. 70–77.
ICMLICML-1994-MooreL #algorithm #fault #performance #validation
Efficient Algorithms for Minimizing Cross Validation Error (AWM, MSL), pp. 190–198.
REICRE-1994-WrightFH #requirements
Deriving human-error tolerance requirements from tasks (PCW, BF, MDH), pp. 135–142.
FSEFSE-1994-CeceFI #communication #fault
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
ICLPILPS-1994-BondP #declarative #fault
Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.
ISSTAISSTA-1994-Forgacs #fault
The All Program Functions Criterion for Revealing Computation Errors (Abstract) (IF), p. 198.
ISSTAISSTA-1994-MurrillM #approach #fault #semantics #using
An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract) (BWM, LJM), p. 200.
DACDAC-1993-ChungWH #design #fault #logic
Diagnosis and Correction of Logic Design Errors in Digital Circuits (PYC, YMW, INH), pp. 503–508.
ICDARICDAR-1993-BackmutskyZ #detection #fault
Some ergonomic improvements of text error detection and prevention in DTP-systems (VB, VZ), pp. 947–950.
ICDARICDAR-1993-Breul #bound #fault #recognition #using
Recognition of handprinted digits using optimal bounded error matching (TMB), pp. 493–496.
ICDARICDAR-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.
ICSMECSM-1993-KurishimaONAF #analysis #fault
Quantitative Analysis of Errors in Telecommunications Software (NK, HO, JiN, KA, MF), pp. 190–198.
PLDIPLDI-1993-BoydW #analysis #fault #optimisation
Isolation and Analysis of Optimization Errors (MRB, DBW), pp. 26–35.
STOCSTOC-1993-BorgstromK #fault
Comparison-based search in the presence of errors (RSB, SRK), pp. 130–136.
HCIHCI-ACS-1993-WittigO #fault
Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.
HCIHCI-SHI-1993-MassonK #fault #process
Preventing Human Errors in Skilled Activities Through a Computerized Support System (MM, VDK), pp. 802–807.
AdaEuropeAdaEurope-1993-BundyM #ada #exception #scalability
Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.
ICMLICML-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.
RERE-1993-KentMQ #constraints #fault #specification
Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.
RERE-1993-Lutz #embedded #fault #requirements #safety
Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
SACSAC-1993-Chen #fault #probability #robust
Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects (IRC), pp. 677–681.
SACSAC-1993-HyslopL #diagrams #fault #incremental
Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
FSEFSE-1993-Lutz #analysis #fault #requirements
Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
ISSTAISSTA-1993-Goradia #effectiveness #impact analysis
Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation (TG), pp. 171–181.
ICMLML-1992-ZytkowZZ #fault
The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.
ICSEICSE-1992-AfifiWZ #fault #linear #source code #testing
Testing for Linear Errors in Nonlinear Computer Programs (FHA, LJW, SJZ), pp. 81–91.
ICTSSIWPTS-1992-DriraASC #consistency #detection #fault #testing
Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
DACDAC-1991-DeguchiIY #analysis #fault #logic #probability
Probabilistic CTSS: Analysis of Timing Error Probability in Asynchronous Logic Circuits (YD, NI, SY), pp. 650–655.
SIGMODSIGMOD-1991-HouOD #constraints #database #evaluation #query #relational
Error-Constraint COUNT Query Evaluation in Relational Databases (WCH, , ED), pp. 278–287.
SIGMODSIGMOD-1991-IoannidisC #fault #on the
On the Propagation of Errors in the Size of Join Results (YEI, SC), pp. 268–277.
STOCSTOC-1991-AslamD #bound #fault
Searching in the Presence of Linearly Bounded Errors (Extended Abstract) (JAA, AD), pp. 486–493.
ICMLML-1991-WeintraubB #fault #generative #knowledge base
Generating Error Candidates for Assigning Blame in a Knowledge Base (MAW, TB), pp. 33–37.
CAVCAV-1991-Rasse #communication #fault #finite
Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.
CHICHI-1990-YoungW #analysis #concept #fault #predict #using
Using a knowledge analysis to predict conceptual errors in text-editor usage (RMY, JW), pp. 91–98.
OOPSLAOOPSLA-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.
POPLPOPL-1990-AikenWW #fault #program transformation
Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
CSLCSL-1990-HertrampfW #bound #fault #interactive #proving
Interactive Proof Systems: Provers, Rounds, and Error Bounds (UH, KWW), pp. 261–273.
CSLCSL-1990-Mundici #adaptation #complexity
The Complexity of Adaptive Error-Correcting Codes (DM), pp. 300–307.
DACDAC-1989-SargentB #algorithm #fault #parallel #standard
A Parallel Row-based Algorithm for Standard Cell Placement with Integrated Error Control (JSS, PB), pp. 590–593.
DACDAC-1989-Tamura #fault #functional #logic
Locating Functional Errors in Logic Circuits (KAT), pp. 185–191.
PODSPODS-1989-FaloutsosM #clustering #fault #using
Declustering Using Error Correcting Codes (CF, DNM), pp. 253–258.
PLDIPLDI-1989-Cormack #fault #lr #parsing #string #syntax
An LR Substring Parser for Noncorrecting Syntax Error Recovery (GVC), pp. 161–169.
ICMLML-1989-DrastalMR #fault #induction
Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
ICSEICSE-1989-Howden #validation
Error-Based Validation Completeness (WEH), p. 357.
ICSEICSE-1989-NakagawaH #complexity #fault #metric #reliability
An Error Complexity Model for Software Reliability Measurement (YN, SH), pp. 230–236.
STOCSTOC-1988-KearnsL #fault #learning
Learning in the Presence of Malicious Errors (Extended Abstract) (MJK, ML), pp. 267–280.
SIGIRSIGIR-1988-Veronis #fault #interface #natural language
Correction of Phonographic Errors in Natural Language Interfaces (JV), pp. 101–115.
ESECESEC-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.
ESECESEC-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.
CSLCSL-1987-RinnS #fault #learning
Learning by Teams from Examples with Errors (RR, BS), pp. 223–234.
POPLPOPL-1986-Wand #fault
Finding the Source of Type Errors (MW), pp. 38–43.
ICSEICSE-1985-KnightA #evaluation #fault
An Experimental Evaluation of Simple Methods for Seeding Program Errors (JCK, PA), pp. 337–342.
ICSEICSE-1985-TakahashiK #empirical #fault #predict
An Empirical Study of a Model for Program Error Prediction (MT, YK), pp. 330–336.
DACDAC-1984-Kingsley
A hiererachical, error-tolerant compactor (CK), pp. 126–132.
ICALPICALP-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.
ICSEICSE-1984-Ciuffoletti #communication #fault #process
Error Recovery in Systems of Communicating Processes (AC), pp. 6–17.
ICSEICSE-1984-Zeil #fault #testing
Perturbation Testing for Computation Errors (SJZ), pp. 257–265.
PLDISCC-1982-BurkeF #fault
A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.
PLDISCC-1982-JohnsonR #fault #semantics
Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.
POPLPOPL-1982-SippiS #fault #lr #parsing
Practical Error Recovery in LR Parsing (SS, ESS), pp. 177–184.
DACDAC-1981-AlmyR #fault #using
Using error latch trace to obtain diagnostic information (PMA, JLR), pp. 355–359.
VLDBVLDB-1979-WilsonS #detection #fault #interactive
A System for Interactive Error Detection (GAW, SBS), pp. 32–51.
PLDISCC-1979-GrahamHJ #fault #lr
Practical LR error recovery (SLG, CBH, WNJ), pp. 168–175.
PLDISCC-1979-PaiK #fault #parsing #syntax
Global context recovery: A new strategy for parser recovery from syntax errors (ABP, RBK), pp. 158–167.
STOCSTOC-1978-RivestMKWS #fault
Coping with Errors in Binary Search Procedures (Preliminary Report) (RLR, ARM, DJK, KW, JS), pp. 227–232.
POPLPOPL-1978-German #automation #fault #proving #runtime
Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.
POPLPOPL-1978-PennelloD #algorithm #fault #lr
A Forward Move Algorithm for LR Error Recovery (TJP, FD), pp. 241–254.
ICSEICSE-1978-HerndonK #analysis #fault #validation
Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
ICALPICALP-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.
ICALPICALP-1977-SippuS #fault #on the #parsing
On Defining Error Recovery in Context-Free Parsing (SS, ESS), pp. 492–503.
POPLPOPL-1977-FischerMQ #ll #parsing #performance
An Efficient Insertion-Only Error-Corrector for LL(1) Parsers (CNF, DRM, SBQ), pp. 97–103.
ICSEICSE-1976-YauCC #approach #design
An Approach to Error-Resistant Software Design (SSY, RCC, DCC), pp. 429–436.
SOSPSOSP-1975-RussellB #fault
Error Resynchronization in Producer-Consumer Systems (DLR, THB), pp. 106–113.
STOCSTOC-1973-Miller #fault #towards #verification
Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.
STOCSTOC-1973-Teitelbaum #algebra #analysis #evaluation #fault
Context-Free Error Analysis by Evaluation of Algebraic Power Series (RT), pp. 196–199.
POPLPOPL-1973-GrahamR #fault
Practical Syntactic Error Recovery (SLG, SPR), pp. 52–58.
DACDAC-1972-Banes #design #fault
Error free MOS/LSI design system (AVB), pp. 29–33.

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