Stem diagnos$ (all stems)

57 papers:

CASE-2015-LiYTC #architecture #fault

Extracting relevant features for diagnosing machine tool faults in cloud architecture (YYL, HCY, HT, FTC), pp. 1434–1439.

PLDI-2015-ZhangMVJ #fault

Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.

ECIR-2015-ZucconKP #effectiveness #self

Diagnose This If You Can — On the Effectiveness of Search Engines in Finding Medical Self-diagnosis Information (GZ, BK, JRMP), pp. 562–567.

KDD-2015-NairRKBSKHD #detection #learning #monitoring

Learning a Hierarchical Monitoring System for Detecting and Diagnosing Service Issues (VN, AR, SK, VB, SS, SSK, SH, SD), pp. 2029–2038.

ESEC-FSE-2015-SmithJMCL #developer #security #static analysis

Questions developers ask while diagnosing potential security vulnerabilities with static analysis (JS, BJ, ERMH, BC, HRL), pp. 248–259.

PPoPP-2015-TallentVDDKH

Diagnosing the causes and severity of one-sided message contention (NRT, AV, HvD, JD, DJK, AH), pp. 130–139.

DAC-2014-MukherjeeL

Leveraging pre-silicon data to diagnose out-of-specification failures in mixed-signal circuits (PM, PL), p. 6.

FM-2014-RoySS #case study #experience #industrial #process

Diagnosing Industrial Business Processes: Early Experiences (SR, ASMS, SS), pp. 703–717.

ICPR-2014-AhmadKM #analysis

Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.

KDD-2014-Schadt #approach #data-driven

A data driven approach to diagnosing and treating disease (EES), p. 3.

FSE-2014-Wu #fault

Diagnose crashing faults on production software (RW), pp. 771–774.

ASPLOS-2014-ArulrajJL #hardware #memory management

Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.

ICSM-2013-SyerJNHNF #execution #performance

Leveraging Performance Counters and Execution Logs to Diagnose Memory-Related Performance Issues (MDS, ZMJ, MN, AEH, MNN, PF), pp. 110–119.

KDIR-KMIS-2013-PereiraTBW #enterprise

A Risk Diagnosing Methodology Web-based Tool for SME’s and Start-up Enterprises (LP, AT, JB, JW), pp. 308–317.

ICSE-2013-Zhang04a #automation #fault #java #named

ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.

ICST-2013-HillTB #bound #c++ #named

GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.

ICTSS-2013-KocaSA #concurrent #fault #locality

Spectrum-Based Fault Localization for Diagnosing Concurrency Faults (FK, HS, RA), pp. 239–254.

CASE-2012-CabasinoGMS #comparison #tool support

A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.

CASE-2012-ChenK #polynomial #probability

Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.

CASE-2012-KobayashiH #automaton #on the

On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.

KDD-2012-AgrawalCGKK #comprehension

Empowering authors to diagnose comprehension burden in textbooks (RA, SC, SG, AK, KK), pp. 967–975.

CAV-2012-BerdineCIW #abstraction #analysis

Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.

ASE-2011-RabkinK #fault

Precomputing possible configuration error diagnoses (AR, RHK), pp. 193–202.

DAC-2011-ChenO #fault #statistics

Diagnosing scan clock delay faults through statistical timing pruning (MC, AO), pp. 423–428.

DATE-2011-ChenO #analysis #fault #image #statistics

Diagnosing scan chain timing faults through statistical feature analysis of scan images (MC, AO), pp. 185–190.

ICSE-2011-MurtazaMGL #fault #using

Diagnosing new faults using mutants and prior faults (SSM, NHM, MG, ZL), pp. 960–963.

ASPLOS-2011-YuanZPZS

Improving software diagnosability via log enhancement (DY, JZ, SP, YZ, SS), pp. 3–14.

KDD-2010-MaxwellBR #graph #memory management #mining #using

Diagnosing memory leaks using graph mining on heap dumps (EKM, GB, NR), pp. 115–124.

FSE-2010-FisherFMR #named

HI-C: diagnosing object churn in framework-based applications (MFI, LM, BGR), pp. 379–380.

CASE-2009-SinghKP #fault #markov #multi

A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults (SS, AK, KRP), pp. 146–151.

DATE-2009-LadharMB #fault #performance

Efficient and accurate method for intra-gate defect diagnoses in nanometer technology and volume data (AL, MM, LB), pp. 988–993.

SEFM-2009-EzekielL #approach #automation #multi #verification

An Automated Approach to Verifying Diagnosability in Multi-agent Systems (JE, AL), pp. 51–60.

KDD-2009-WangSAL #fault #learning #network

Learning, indexing, and diagnosing network faults (TW, MS, DA, LL), pp. 857–866.

RE-2009-TunJLNY #problem #using

Are Your Lights Off? Using Problem Frames to Diagnose System Failures (TTT, MJ, RCL, BN, YY), pp. 343–348.

SEKE-2008-TsigkritisS #dependence #runtime #security

Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.

ASE-2007-WangMYM #approach #automation #monitoring #requirements

An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.

CASE-2007-PanH #analysis

Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures (JP, SHZ), pp. 869–874.

CASE-2007-Ruiz-BeltranRLA #modelling #petri net

A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.

SAC-2007-GilPFM #embedded

Embedded system for diagnosing dysfunctions in the lower urinary tract (DGM, ASP, DRF, CAM), pp. 1695–1699.

SOSP-2007-TucekLHXZ #named

Triage: diagnosing production run failures at the user’s site (JT, SL, CH, SX, YZ), pp. 131–144.

DATE-2006-SrinivasanTC #automation #low cost #multi #online

Online RF checkers for diagnosing multi-gigahertz automatic test boards on low cost ATE platforms (GS, FT, AC), pp. 658–663.

WCRE-2005-TrifuM #design #object-oriented #problem

Diagnosing Design Problems in Object Oriented Systems (AT, RM), pp. 155–164.

DAC-2004-VermaDS #online #performance #testing

Efficient on-line testing of FPGAs with provable diagnosabilities (VV, SD, VS), pp. 498–503.

KDD-2004-Hooker #estimation

Diagnosing extrapolation: tree-based density estimation (GH), pp. 569–574.

ECOOP-2003-MitchellS #automation #java #lightweight #memory management #named #scalability

LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications (NM, GS), pp. 351–377.

FATES-2003-Ramakrishnan #testing #uml

VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile (SR), pp. 236–251.

DATE-1999-CotaCL #adaptation #fault #linear #using

A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester (ÉFC, LC, ML), pp. 184–188.

HCI-CCAD-1999-Jacko #performance #predict

The importance of clinical diagnoses in the prediction of performance on computer-based tasks for low vision users (JAJ), pp. 787–791.

SEKE-1999-AlthoffNT

Systematically Diagnosing and Improving the Perceived Usefulness of Organizational Memories (KDA, MN, CT), pp. 72–86.

DAC-1996-IyerK #architecture #named #self #synthesis

Introspection: A Low Overhead Binding Technique During Self-Diagnosing Microarchitecture Synthesis (BI, RK), pp. 137–142.

KR-1996-TeijeH #approximate #using

Computing Approximate Diagnoses By Using Approximate Entailment (AtT, FvH), pp. 256–265.

CSL-1996-ArieliA #knowledge base

Four-Valued Diagnoses for Stratified Knowledge-Bases (OA, AA), pp. 1–17.

JICSLP-1996-ChoU #concurrent #logic programming #source code

Diagnosing Non-Well-Moded Concurrent Logic Programs (KC, KU), pp. 215–229.

DAC-1993-ChakravartyG #algorithm #fault

An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits (SC, YG), pp. 520–524.

ICML-1993-DanylukP #fault #learning #network

Small Disjuncts in Action: Learning to Diagnose Errors in the Local Loop of the Telephone Network (APD, FJP), pp. 81–88.

DAC-1990-WeyDC #design

Design of Repairable and Fully Diagnosable Folded PLAs for Yield Enhancement (CLW, JD, TYC), pp. 327–332.

DAC-1977-El-ZiqS #automation #design #logic #network

Logic design automation of diagnosable MOS combinational logic networks (YMEZ, SYHS), pp. 205–215.