Stem diagnosi$ (all stems)

305 papers:

CASE-2015-BoH #clustering #fault #process

Qualitative trend clustering of process data for fault diagnosis (ZB, YH), pp. 1584–1588.

CASE-2015-KeroglouH #communication #constraints #distributed #using

Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.

CASE-2015-MicioFMBL #automation #mining #process #towards

RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.

CASE-2015-YanLP #fault

A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.

DATE-2015-KunduBK #design #fault #testing

Fault diagnosis in designs with extreme low pin test data compressors (SK, PB, RK), pp. 1285–1288.

VLDB-2015-WangFWDM #fault #profiling

Error Diagnosis and Data Profiling with Data X-Ray (XW, MF, YW, XLD, AM), pp. 1984–1995.

SCAM-2015-GhanavatiA #automation #memory management #testing

Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.

ICEIS-v1-2015-SilveiraCC #fault #monitoring #testing

Monitoring and Diagnosis of Faults in Tests of Rational Agents based on Condition-action Rules (FRdVS, GALdC, MIC), pp. 585–592.

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.

SAC-2015-AminikhanghahiS #image #robust

Study of wireless mammography image transmission impacts on robust cyber-aided diagnosis systems (SA, SYS, WW, SIJ, SHS, CP), pp. 2252–2256.

SOSP-2015-KasikciSPPC #automation #sketching

Failure sketching: a technique for automated root cause diagnosis of in-production failures (BK, BS, CP, GP, GC), pp. 344–360.

ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.

CASE-2014-HeidingsfeldKTS #fault #modelling

Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.

CASE-2014-YanLP #dependence #fault #framework #integration #matrix

Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.

DAC-2014-ReimannGTCGUWEA #architecture #integration

Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures (FR, MG, JT, AC, LRG, DU, HJW, PE, UA), p. 9.

DAC-2014-XueQBYT #analysis #framework #manycore #scalability

Disease Diagnosis-on-a-Chip: Large Scale Networks-on-Chip based Multicore Platform for Protein Folding Analysis (YX, ZQ, PB, FY, CYT), p. 6.

DATE-2014-AbeleinCEGRGRTUW #architecture #integration

Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures (UA, AC, PE, MG, FR, LRG, TR, JT, DU, HJW), pp. 1–6.

FoSSaCS-2014-BertrandFHHH #probability

Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.

ICPC-2014-PerezA #approach #comprehension

A diagnosis-based approach to software comprehension (AP, RA), pp. 37–47.

PEPM-J-2013-WeijersHH14 #fault #higher-order #polymorphism #security

Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 200–218.

DHM-2014-YoganathanK #using

ENT Disease Diagnosis Using an Expert System (DY, SK), pp. 472–483.

VISSOFT-2014-KuleszSB #spreadsheet

Integrating Anomaly Diagnosis Techniques into Spreadsheet Environments (DK, JS, FB), pp. 11–19.

ICEIS-v3-2014-NaranjoSV #analysis #architecture #enterprise #named

PRIMROSe — A Tool for Enterprise Architecture Analysis and Diagnosis (DN, MES, JV), pp. 201–213.

ICML-c1-2014-CicaleseLS #optimisation #testing

Diagnosis determination: decision trees optimizing simultaneously worst and expected testing cost (FC, ESL, AMS), pp. 414–422.

ICPR-2014-DengHXC #analysis #composition #matrix #rank

Sparse and Low Rank Matrix Decomposition Based Local Morphological Analysis and Its Application to Diagnosis of Cirrhosis Livers (JD, XHH, GX, YWC), pp. 3363–3368.

KDD-2014-LuoLLFDZW #correlation

Correlating events with time series for incident diagnosis (CL, JGL, QL, QF, RD, DZ, ZW), pp. 1583–1592.

MLDM-2014-AlbarrakCZ #classification #image #taxonomy

Dictionary Learning-Based Volumetric Image Classification for the Diagnosis of Age-Related Macular Degeneration (AA, FC, YZ), pp. 272–284.

POPL-2014-ZhangM #fault #towards

Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.

ICLP-J-2014-CominiTV #linear #logic #using

Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.

CASE-2013-ChenK #distributed #probability

Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.

CASE-2013-Fries #agile #automation #fault #fuzzy #multi #using

Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents (TPF), pp. 65–70.

CASE-2013-HeZJ #approach #fault #robust

UIO based robust fault diagnosis approach for aero-engine fiber-optic sensor (CH, XZ, BJ), pp. 550–553.

DAC-2013-KunduCSK

An ATE assisted DFD technique for volume diagnosis of scan chains (SK, SC, IS, RK), p. 6.

DATE-2013-ChangWB #design

Process-variation-aware Iddq diagnosis for nano-scale CMOS designs — the first step (CLC, CHPW, JB), pp. 454–457.

DATE-2013-DeOrioLBB #debugging #detection #machine learning

Machine learning-based anomaly detection for post-silicon bug diagnosis (AD, QL, MB, VB), pp. 491–496.

DATE-2013-HuangMSBP #effectiveness #performance

A fast and Effective DFT for test and diagnosis of power switches in SoCs (XH, JM, RAS, SB, DKP), pp. 1089–1092.

DATE-2013-Pomeranz #equivalence #fault #graph #on the #set

On candidate fault sets for fault diagnosis and dominance graphs of equivalence classes (IP), pp. 1083–1088.

PEPM-2013-WeijersHH #fault #higher-order #polymorphism #security

Security type error diagnosis for higher-order, polymorphic languages (JW, JH, SH), pp. 3–12.

KDIR-KMIS-2013-RezendeLJMRB #information management #workflow

Diagnosis and Prognosis of Knowledge Management based on k-Workflow, on Conversion and Knowledge Flow — The Case of the National Land Transport Agency in Brazil (LR, MAL, JdLPCJ, LAM, SAR, CAMB), pp. 413–418.

KDIR-KMIS-2013-SousaM #tool support #web

Diagnosis of the Use of Web 2.0 Tools in the Portuguese Financial Institutions (CS, PM), pp. 368–372.

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

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

ICSE-2013-ZhangE #automation #fault

Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.

ASPLOS-2013-ArulrajCJL #hardware #performance

Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.

PPoPP-2013-ZhouKB #debugging #effectiveness #named #scalability

WuKong: effective diagnosis of bugs at large system scales (BZ, MK, SB), pp. 317–318.

ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named

Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.

CASE-2012-YamaguchiIS #data-driven #database #fault #network

Data based construction of Bayesian Network for fault diagnosis of event-driven systems (TY, SI, TS), pp. 508–514.

CASE-2012-YaqubGK #fault #multi

Impact characterization of multiple-points-defect on machine fault diagnosis (MFY, IG, JK), pp. 479–484.

CASE-2012-ZhangWZX #fault #memory management #using

A dynamic memory model for mechanical fault diagnosis using one-class support vector machine (QZ, JW, JZ, GX), pp. 497–501.

DAC-2012-EberlGTA #automation #design #network

Considering diagnosis functionality during automatic system-level design of automotive networks (ME, MG, JT, UA), pp. 205–213.

DAC-2012-WangPYLKB #optimisation #testing

Test-data volume optimization for diagnosis (HW, OP, XY, SL, IK, RDB), pp. 567–572.

PLDI-2012-DilligDA #abduction #automation #fault #using

Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.

ICPR-2012-GhoshC #analysis #automation #classification

Feature analysis for automatic classification of HEp-2 florescence patterns : Computer-Aided Diagnosis of Auto-immune diseases (SG, VC), pp. 174–177.

ICPR-2012-LiWBL #adaptation #algorithm #fault

Semi-supervised adaptive parzen Gentleboost algorithm for fault diagnosis (CL, ZW, SB, ZL), pp. 2290–2293.

ICPR-2012-SnellCK #identification

Texture and shape in fluorescence pattern identification for auto-immune disease diagnosis (VS, WJC, JK), pp. 3750–3753.

ICPR-2012-XuLCYTWCTW #classification #image #locality #performance

Efficient optic cup localization based on superpixel classification for glaucoma diagnosis in digital fundus images (YX, JL, JC, FY, NMT, DWKW, CYC, YCT, TYW), pp. 49–52.

KR-2012-GrastienHT #theory and practice

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).

SIGIR-2012-ZhaoC #automation #query

Automatic term mismatch diagnosis for selective query expansion (LZ, JC), pp. 515–524.

FSE-2012-DiGiuseppeJ #automation #fault #semantics

Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.

OSDI-2012-AttariyanCF #automation #named #performance

X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software (MA, MC, JF), pp. 307–320.

OSDI-2012-YuanPHLLTZS

Be Conservative: Enhancing Failure Diagnosis with Proactive Logging (DY, SP, PH, YL, MMJL, XT, YZ, SS), pp. 293–306.

ICST-2012-KheddamAP

An Extended LLRP Model for RFID System Test and Diagnosis (RK, OEKA, IP), pp. 529–538.

ECSA-2011-CasanovaSGA #architecture #fault #runtime

Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.

ASE-2011-StehleLSRM #geometry #using

Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.

CASE-2011-CabasinoGSSZ #fault #petri net #using

Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.

CASE-2011-LeonardoKKDS #monitoring #simulation

Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.

CASE-2011-MalkiM #approach #modelling

Boolean temporal model-based approach for the diagnosis of Discrete Event Systems (NM, MSM), pp. 175–180.

CASE-2011-SaddemTT #embedded

Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.

DAC-2011-Pomeranz #clustering #fault

Diagnosis of transition fault clusters (IP), pp. 429–434.

DATE-2011-YeHL #fault #multi #on the #using

On diagnosis of multiple faults using compacted responses (JY, YH, XL), pp. 679–684.

CSMR-2011-KohlKPDM #analysis #maintenance #multi #using

Using Multivariate Split Analysis for an Improved Maintenance of Automotive Diagnosis Functions (JK, AK, JPP, AD, SM), pp. 305–308.

ICPC-2011-WangSW #automation #fault

Capturing Expert Knowledge for Automated Configuration Fault Diagnosis (MW, XS, KW), pp. 205–208.

ICEIS-v1-2011-RamirezC #fault #process #using

Fault Diagnosis of Batch Processes Release using PCA Contribution Plots as Fault Signatures (AWR, JCL), pp. 223–228.

ICEIS-v2-2011-VaginE #reasoning

Reasoning in Intelligent Diagnosis Systems (VNV, APE), pp. 18–25.

CIKM-2011-LuLYYH #classification #modelling #parametricity

Coarse-to-fine classification via parametric and nonparametric models for computer-aided diagnosis (ML, LL, XY, SY, HH), pp. 2509–2512.

KDIR-2011-ArmengolP #case study #classification #information management #lazy evaluation #learning

Combining Two Lazy Learning Methods for Classification and Knowledge Discovery — A Case Study for Malignant Melanoma Diagnosis (EA, SP), pp. 200–207.

HPCA-2011-CarreteroVARMG #hardware #process #using

Hardware/software-based diagnosis of load-store queues using expandable activity logs (JC, XV, JA, TR, MM, AG), pp. 321–331.

LCTES-2011-NavabpourBF #debugging #testing #using

Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.

ICLP-J-2011-CominiTV #concurrent #constraints #source code

Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.

ICST-2011-Gonzalez-Sanchez #optimisation #runtime #testing

Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.

CASE-2010-CabasinoGS #fault #petri net #using

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.

CASE-2010-RoutrayRS #clustering #detection #fault #reduction

Data reduction and clustering techniques for fault detection and diagnosis in automotives (AR, AR, SS), pp. 326–331.

DAC-2010-LiFS #mining #scalability #specification #verification

Scalable specification mining for verification and diagnosis (WL, AF, SAS), pp. 755–760.

DAC-2010-XieDS

Post-silicon diagnosis of segments of failing speedpaths due to manufacturing variations (LX, AD, KKS), pp. 274–279.

DATE-2010-ElmW #named #self

BISD: Scan-based Built-In self-diagnosis (ME, HJW), pp. 1243–1248.

DATE-2010-HuangSM #fault #machine learning

Fault diagnosis of analog circuits based on machine learning (KH, HGDS, SM), pp. 1761–1766.

DATE-2010-KrishnanDBK

Block-level bayesian diagnosis of analogue electronic circuits (SK, KDD, RB, HGK), pp. 1767–1772.

DATE-2010-YeHL #fault #multi

Diagnosis of multiple arbitrary faults with mask and reinforcement effect (JY, YH, XL), pp. 885–890.

ICEIS-AIDSS-2010-LampertiZ #lazy evaluation

Diagnosis of Active Systems by Lazy Techniques (GL, MZ), pp. 171–180.

ICPR-2010-AkgulE #approach #automation #probability

A Probabilistic Information Fusion Approach to MR-based Automated Diagnosis of Dementia (CBA, AE), pp. 265–268.

ICPR-2010-OliverTLM #automation #segmentation #set #using

Automatic Diagnosis of Masses by Using Level set Segmentation and Shape Description (AO, AT, XL, JM), pp. 2528–2531.

ICPR-2010-SilveiraM #image #using

Boosting Alzheimer Disease Diagnosis Using PET Images (MS, JSM), pp. 2556–2559.

KR-2010-SiddiqiH #roadmap

New Advances in Sequential Diagnosis (SAS, JH).

KR-2010-SohrabiBM #revisited

Diagnosis as Planning Revisited (SS, JAB, SAM).

SEKE-2010-ChangK #architecture #modelling #process

A Model-based Business Process Diagnosis Method in Service Oriented Architecture (SHC, SDK), pp. 458–461.

SEKE-2010-ElamyFL #detection #multi

A Multiagent System for Automate Detection and Diagnosis of Active Tuberculosis on Chest Radiograph and CT Thorax (AHE, BHF, RL), pp. 495–498.

LOPSTR-2010-BacciC #first-order #functional #logic programming #source code

Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.

SAC-2010-Nakajima #automation #diagrams #feature model

Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.

ICSE-2010-SahooCA #automation #debugging #empirical

An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.

SPLC-2010-Nakajima #automation #diagrams #encoding #feature model

Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.

ASPLOS-2010-YuanMXTZP #fault #named #runtime

SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.

CASE-2009-ChouguleC #assembly #ontology

Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.

CASE-2009-DotoliFMU #fault #framework #online #petri net

On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.

CASE-2009-FanL #effectiveness #ranking

A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services (CMF, YPL), pp. 427–432.

CASE-2009-FranceschelliGS #distributed #fault #network

Decentralized fault diagnosis for sensor networks (MF, AG, CS), pp. 334–339.

CASE-2009-LyTBPV #fault #perspective

Fault diagnosis and failure prognosis for engineering systems: A global perspective (CL, KT, CSB, RP, GJV), pp. 108–115.

DAC-2009-SiegelMP #debugging #performance

Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.

DAC-2009-TamPB #automation #validation

Automated failure population creation for validating integrated circuit diagnosis methods (WCT, OP, RD(B), pp. 708–713.

DATE-2009-HolstW #algorithm

A diagnosis algorithm for extreme space compaction (SH, HJW), pp. 1355–1360.

DATE-2009-PomeranzR #fault

Selection of a fault model for fault diagnosis based on unique responses (IP, SMR), pp. 994–999.

DATE-2009-TangGCR #generative #multi

Improving compressed test pattern generation for multiple scan chain failure diagnosis (XT, RG, WTC, SMR), pp. 1000–1005.

DATE-2009-WangW #machine learning

Machine learning-based volume diagnosis (SW, WW), pp. 902–905.

VLDB-2009-BorisovBURS #database #named #network #problem

DIADS: A Problem Diagnosis Tool for Databases and Storage Area Networks (NB, SB, SU, RR, AS), pp. 1546–1549.

CSMR-2009-FrankeJLUHEK #assessment #metric #network #using

A Method for Choosing Software Assessment Measures Using Bayesian Networks and Diagnosis (UF, PJ, RL, JU, DH, ME, JK), pp. 241–246.

CSMR-2009-MarwedeRHH #automation #behaviour #correlation #distributed #scalability

Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation (NM, MR, AvH, WH), pp. 47–58.

HIMI-DIE-2009-UgaiA #analysis #network #social #tool support

Organization Diagnosis Tools Based on Social Network Analysis (TU, KA), pp. 181–189.

ICEIS-J-2009-SoonthornphisajT #self

A Self-tuning of Membership Functions for Medical Diagnosis (NS, PT), pp. 275–286.

KEOD-2009-SasakuraIY #design

A Design of Diagnosis System for Mental Disorder (MS, KI, SY), pp. 368–371.

CASE-2008-FerrariniBV #approach #automation #case study #fault

A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: A case study (LF, RB, CV), pp. 29–34.

DAC-2008-BastaniCWA #statistics

Statistical diagnosis of unmodeled systematic timing effects (PB, NC, LCW, MSA), pp. 355–360.

DAC-2008-TamPB #analysis #automation #layout #locality #precise #using

Precise failure localization using automated layout analysis of diagnosis candidates (WCT, OP, RD(B), pp. 367–372.

DAC-2008-YuB #fault #multi #using

Multiple defect diagnosis using no assumptions on failing pattern characteristics (XY, RD(B), pp. 361–366.

DATE-2008-ElmW #embedded

Scan Chain Organization for Embedded Diagnosis (ME, HJW), pp. 468–473.

DATE-2008-NeyGPVBG

A Design-for-Diagnosis Technique for SRAM Write Drivers (AN, PG, SP, AV, MB, VG), pp. 1480–1485.

FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.

SEFM-2008-BalakrishnanG #fault #named

PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes (GB, MKG), pp. 268–278.

ICEIS-AIDSS-2008-LampertiVZ #on the #similarity

On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.

ICPR-2008-SuzukiSZ #network

Supervised enhancement of lung nodules by use of a massive-training artificial neural network (MTANN) in computer-aided diagnosis (CAD) (KS, ZS, JZ), pp. 1–4.

SEKE-2008-Wotawa #modelling #slicing

Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.

SEKE-2008-ZhangH #approach #middleware #owl #pervasive

An OWL/SWRL Based Diagnosis Approach in a Pervasive Middleware (WZ, KMH), pp. 893–898.

SAC-2008-OliveiraMWS #analysis #locality

Brain registration and subtraction — improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit (LFdO, PMdAM, LWA, ACS), pp. 1390–1394.

SAC-2008-PiresTR #collaboration #internet

A UMLS interoperable solution to support collaborative diagnosis decision making over the internet (DFP, CACT, EESR), pp. 1400–1404.

SPLC-2008-WhiteSBTC #automation #fault #feature model #modelling #product line

Automated Diagnosis of Product-Line Configuration Errors in Feature Models (JW, DCS, DB, PT, ARC), pp. 225–234.

HPDC-2008-ShrinivasN #data mining #detection #grid #mining

Issues in applying data mining to grid job failure detection and diagnosis (LS, JFN), pp. 239–240.

ISSTA-2008-BaahPH #dependence #fault #graph #probability

The probabilistic program dependence graph and its application to fault diagnosis (GKB, AP, MJH), pp. 189–200.

CASE-2007-BasileCT #fault #online #using

Improving on-line fault diagnosis for discrete event systems using time (FB, PC, GDT), pp. 26–32.

CASE-2007-MoralesGM #effectiveness #fault #network #petri net

Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net (RAGM, JIG, PEM), pp. 357–362.

DATE-2007-Huang #learning

Dynamic learning based scan chain diagnosis (YH0), pp. 510–515.

DATE-2007-LaouamriA #framework #network #testing #using

Remote testing and diagnosis of System-on-Chips using network management frameworks (OL, CA), pp. 373–378.

DATE-2007-SanchezSSR #automation #effectiveness #generative #interactive #source code

Interactive presentation: An enhanced technique for the automatic generation of effective diagnosis-oriented test programs for processor (ES, MS, GS, MSR), pp. 1158–1163.

DATE-2007-SinanogluS #modelling

Diagnosis, modeling and tolerance of scan chain hold-time violations (OS, PS), pp. 516–521.

WCRE-2007-Zhu #framework #research

An Experimental Platform for Root Cause Diagnosis Research (QZ), pp. 293–296.

HCI-AS-2007-ZhangZCMM #automation #named

HOPE: Extensible System for Automatic & Periodic Diagnosis of Offshore Software Project (XZ, LZ, MC, SM, RM), pp. 807–815.

ICEIS-AIDSS-2007-MaidantchikSKMBAF #web

NEURALTB Web System: Support to the Smear Negative Pulmonary Tuberculosis Diagnosis (CM, JMdS, ALK, FCdQM, RTVB, PHSA, JBdOeSF), pp. 198–203.

ICLP-2007-FalaschiOPV #concurrent #constraints #declarative #source code

Declarative Diagnosis of Temporal Concurrent Constraint Programs (MF, CO, CP, FV), pp. 271–285.

ICLP-2007-PietrzakH #automation #fault #logic programming #source code

Automatic Binding-Related Error Diagnosis in Logic Programs (PP, MVH), pp. 333–347.

SAT-2007-AloulK #approach #deployment #satisfiability

Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach (FAA, NK), pp. 369–376.

TestCom-FATES-2007-GromovW #model checking #testing

Testing and Model-Checking Techniques for Diagnosis (MG, TACW), pp. 138–154.

CASE-2006-HuangCC #mobile #safety

Mobile Diagnosis based on RFID for Food Safety (HPH, CSC, TYC), pp. 357–362.

DAC-2006-ChenRPR #algorithm

A test pattern ordering algorithm for diagnosis with truncated fail data (GC, SMR, IP, JR), pp. 399–404.

DAC-2006-VrankenGGSH #detection #fault

Fault detection and diagnosis with parity trees for space compaction of test responses (HPEV, SKG, AG, JS, FH), pp. 1095–1098.

DATE-2006-BernardiSSSR #cost analysis #effectiveness

An effective technique for minimizing the cost of processor software-based diagnosis in SoCs (PB, ES, MS, GS, MSR), pp. 412–417.

DATE-2006-FeySVD #on the #satisfiability

On the relation between simulation-based and SAT-based diagnosis (GF, SS, AGV, RD), pp. 1139–1144.

DATE-2006-HuangG #fault

Diagnosis of defects on scan enable and clock trees (YH, KG), pp. 436–437.

DATE-2006-LinC #multi

Multiple-fault diagnosis based on single-fault activation and single-output observation (YCL, KTC), pp. 424–429.

DATE-2006-YangC #fault

Timing-reasoning-based delay fault diagnosis (KY, KTC), pp. 418–423.

ICEIS-AIDSS-2006-Fornells-HerreraRMB #approach #evolution

Decision Support System for Breast Cancer Diagnosis by a Meta-Learning Approach Based on Grammar Evolution (AFH, EGiR, EBiM, JMB), pp. 222–229.

ICEIS-AIDSS-2006-LampertiZ #incremental

Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.

ICPR-v3-2006-HuS #complexity

Regularity and Complexity of Human Electroencephalogram Dynamics: Applications to Diagnosis of Alzheimers Disease (ZH, PS), pp. 245–248.

ICPR-v3-2006-LernerV #classification #fuzzy #image #search-based #using

Image Classification for Genetic Diagnosis using Fuzzy ARTMAP (BL, BV), pp. 362–365.

SEKE-2006-LehmanW #convergence #problem #rule-based #simulation

A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation (CWL, MJW), pp. 57–60.

SAC-2006-FangFHT #analysis #geometry #image

Digital geometry image analysis for medical diagnosis (JF, SF, JH, MT), pp. 217–221.

SAC-2006-McLoughlinOBW #mobile #named

MEDIC: MobilE Diagnosis for Improved Care (EM, DO, MB, DCW), pp. 204–208.

PPoPP-2006-RothM #automation #online #performance #process

On-line automated performance diagnosis on thousands of processes (PCR, BPM), pp. 69–80.

ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.

CASE-2005-AbdelhameedD #debugging #logic #network #programmable #source code

Diagnosis and debugging of programmable logic controller control programs by neural networks (MMA, HD), pp. 313–318.

CASE-2005-NgYHD #energy #process

Diagnosis of sheet metal stamping processes based on thermal energy distribution (YMHN, MY, YH, RD), pp. 191–196.

DAC-2005-TopalogluO #approach #process

A DFT approach for diagnosis and process variation-aware structural test of thermometer coded current steering DACs (ROT, AO), pp. 851–856.

DATE-2005-SavioliCCF #approach #fault

Fault-Trajectory Approach for Fault Diagnosis on Analog Circuits (CES, CCC, JVC, ACdMF), pp. 174–175.

DATE-2005-WangWI #distributed #embedded #performance

A Fast Diagnosis Scheme for Distributed Small Embedded SRAMs (BW, YW, AI), pp. 852–857.

PODS-2005-AbiteboulAHM #datalog #exclamation

Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.

FoSSaCS-2005-BouyerCD #automaton #fault #using

Fault Diagnosis Using Timed Automata (PB, FC, DD), pp. 219–233.

PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering

TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.

MLDM-2005-SilvaJNP #geometry #learning #metric #using

Diagnosis of Lung Nodule Using Reinforcement Learning and Geometric Measures (ACS, VRdSJ, AdAN, ACdP), pp. 295–304.

MLDM-2005-SilvaPO #comparison

Comparison of FLDA, MLP and SVM in Diagnosis of Lung Nodule (ACS, ACdP, ACMdO), pp. 285–294.

SAC-2005-Lu #correctness #declarative

Use of correctness assertions in declarative diagnosis (LL), pp. 1404–1408.

TestCom-2005-PapCD #fault #on the

On FSM-Based Fault Diagnosis (ZP, GC, SD), pp. 159–174.

ASE-2004-FleureyTB #approach #automation #testing

From Testing to Diagnosis: An Automated Approach (FF, YLT, BB), pp. 306–309.

DAC-2004-WangMCA #learning #on the

On path-based learning and its applications in delay test and diagnosis (LCW, TMM, KTC, MSA), pp. 492–497.

DATE-v1-2004-PomeranzVRS #detection #fault

Z-Sets and Z-Detections: Circuit Characteristics that Simplify Fault Diagnosis (IP, SV, SMR, BS), pp. 68–75.

DATE-v2-2004-HuangCHTHH #analysis #fault #probability

Intermittent Scan Chain Fault Diagnosis Based on Signal Probability Analysis (YH, WTC, CJH, HYT, AH, YTH), pp. 1072–1077.

DATE-v2-2004-LeiningerGM #configuration management

Diagnosis of Scan-Chains by Use of a Configurable Signature Register and Error-Correcting Code (AL, MG, PM), pp. 1302–1309.

ICEIS-v2-2004-LampertiZ

Dynamic Diagnosis of Active Systems with Fragmented Observations (GL, MZ), pp. 249–261.

ICEIS-v2-2004-SilvaCSGN #multi #network #using

Multiple Organ Failure Diagnosis Using Adverse Events and Neural Networks (ÁMS, PC, MFS, LG, JN), pp. 401–408.

ICPR-v3-2004-DavidL #search-based #using

Signal Discrimination Using a Support Vector Machine for Genetic Syndrome Diagnosis (AD, BL), pp. 490–493.

ICPR-v4-2004-CorriganK

Diagnosis and Treatment of Film Tear in Degraded Archived Media (DC, ACK), pp. 779–782.

ICPR-v4-2004-DebiollesOA #network

Combined Use of Partial Least Squares Regression and Neural Network for Diagnosis Tasks (AD, LO, PA), pp. 573–576.

SAC-2004-SilvaCG #image #using

Diagnosis of lung nodule using Gini coefficient and skeletonization in computerized tomography images (ACS, PCPC, MG), pp. 243–248.

OSDI-2004-CohenCGKS #automation #correlation

Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control (IC, JSC, MG, TK, JS), pp. 231–244.

ASE-2003-MayerS #debugging #exception #source code

Extending Diagnosis to Debug Programs with Exceptions (WM, MS), pp. 240–244.

DAC-2003-KrsticWCLM #fault #modelling #statistics

Enhancing diagnosis resolution for delay defects based upon statistical timing and statistical fault models (AK, LCW, KTC, JJL, TMM), pp. 668–673.

DATE-2003-KrsticWCLA #fault #modelling #statistics

Delay Defect Diagnosis Based Upon Statistical Timing Models — The First Step (AK, LCW, KTC, JJL, MSA), pp. 10328–10335.

DATE-2003-LiuC #approach #fault #identification

A Partition-Based Approach for Identifying Failing Scan Cells in Scan-BIST with Applications to System-on-Chip Fault Diagnosis (CL, KC), pp. 10230–10237.

DATE-2003-PadmanabanT #fault

Non-Enumerative Path Delay Fault Diagnosis (SP, ST), pp. 10322–10327.

SIGMOD-2003-Aggarwal #data type #framework

A Framework for Change Diagnosis of Data Streams (CCA), pp. 575–586.

ICEIS-v2-2003-SalemNB #adaptation #hybrid

A Hybrid Case-Based Adaptation Model for Thyroid Cancer Diagnosis (ABMS, KAN, BEB), pp. 58–65.

SOSP-2003-MahajanSWA #internet

User-level internet path diagnosis (RM, NTS, DW, TEA), pp. 106–119.

SAT-2003-BjesseKDSZ #satisfiability

Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.

TestCom-2003-El-FakihPYB #fault #finite #state machine

Fault Diagnosis in Extended Finite State Machines (KEF, SP, NY, GvB), pp. 197–210.

DAC-2002-ChenD

Software-based diagnosis for processors (LC, SD), pp. 259–262.

DATE-2002-BayraktarogluO #fault

Gate Level Fault Diagnosis in Scan-Based BIST (IB, AO), pp. 376–381.

DATE-2002-BhuniaR #analysis #detection #fault #using

Fault Detection and Diagnosis Using Wavelet Based Transient Current Analysis (SB, KR), p. 1118.

DATE-2002-GuardianiMDSZXL #optimisation #testing

Analog IP Testing: Diagnosis and Optimization (CG, PM, LD, SS, SZ, WX, SL), pp. 192–196.

DATE-2002-LinLC #feedback #performance

An Efficient Test and Diagnosis Scheme for the Feedback Type of Analog Circuits with Minimal Added Circuits (JWL, CLL, JEC), p. 1119.

DATE-2002-LiuCG #identification

An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment (CL, KC, MG), pp. 382–386.

DATE-2002-LuchettaMP #comparison #fault

Critical Comparison among Some Analog Fault Diagnosis Procedures Based on Symbolic Techniques (AL, SM, MCP), p. 1105.

DATE-2002-Pateras #embedded

Embedded Diagnosis IP (SP), pp. 242–243.

DATE-2002-PomeranzRR #debugging #fault

Finding a Common Fault Response for Diagnosis during Silicon Debug (IP, JR, SMR), p. 1116.

DATE-2002-VenerisLAA #fault #incremental #multi

Incremental Diagnosis and Correction of Multiple Faults and Errors (AGV, JBL, MA, MSA), pp. 716–721.

ICPR-v1-2002-AblameykoKLPPPT #difference #image #segmentation

From Cell Image Segmentation to Differential Diagnosis of Thyroid Cancer (SA, VK, DL, OP, NP, MP, OT), pp. 763–766.

ICPR-v3-2002-LiY #clustering #normalisation

Normalized Sampling for Color Clustering in Medical Diagnosis (CHL, PCY), pp. 819–822.

KR-2002-Provan #distributed #embedded #framework #modelling

A Model-Based Diagnosis Framework for Distributed Embedded Systems (GMP), pp. 341–352.

LOPSTR-2002-AlpuenteCEFL #functional #source code

Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.

DATE-2001-BayraktarogluO

Diagnosis for scan-based BIST: reaching deep into the signatures (IB, AO), pp. 102–111.

DATE-2001-CherubalC #generative #parametricity #testing

Test generation based diagnosis of device parameters for analog circuits (SC, AC), pp. 596–602.

DATE-2001-LiW #fault #memory management

Memory fault diagnosis by syndrome compression (JFL, CWW), pp. 97–101.

SEKE-2001-AlonsoCGM #data mining #mining

Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain (FA, JPCV, ÁLG, CM), pp. 412–419.

DAC-2000-BayraktarogluO #fault

Improved fault diagnosis in scan-based BIST via superposition (IB, AO), pp. 55–58.

DAC-2000-PomeranzR #fault #on the

On diagnosis of pattern-dependent delay faults (IP, SMR), pp. 59–62.

DATE-2000-MetraFR #online #testing

On-Line Testing and Diagnosis of Bus Lines with respect to Intermediate Voltage Values (CM, MF, BR), p. 763.

ICEIS-2000-MilhoF #development #network

A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks (IM, ALNF), pp. 176–180.

ICPR-v4-2000-GuestFPD #aspect-oriented

Analyzing Constructional Aspects of Figure Completion for the Diagnosis of Visuospatial Neglect (RMG, MCF, JMP, ND), pp. 4316–4319.

CL-2000-GartnerSTDP #logic

Psychiatric Diagnosis from the Viewpoint of Computational Logic (JG, TS, AT, CVD, LMP), pp. 1362–1376.

DAC-1999-BoppanaMJFB #fault #multi

Multiple Error Diagnosis Based on Xlists (VB, RM, JJ, MF, PB), pp. 660–665.

DAC-1999-KocanS #configuration management #fault #hardware

Dynamic Fault Diagnosis on Reconfigurable Hardware (FK, DGS), pp. 691–696.

DATE-1999-CherubalC #fault #functional #parametricity #using

Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.

DATE-1999-WuGR #approach #fault #performance #reduction

A Fault List Reduction Approach for Efficient Bridge Fault Diagnosis (JW, GSG, EMR), pp. 780–781.

HCI-CCAD-1999-OzawaAFSY #adaptation #case study #education #implementation #process #realtime

An experimental study on implementing real-time estimator of human cognitive process into eye-sensing head mounted display for realizing adaptive CAI for teaching plant diagnosis knowledge (TO, YA, SF, HS, HY), pp. 1197–1200.

HCI-CCAD-1999-VirvouM99a #fault

Error diagnosis in an English tutor (MV, DM), pp. 657–661.

HCI-EI-1999-Ramadhan #automation

Active vs. Passive Systems for Automatic Program Diagnosis (HAR), pp. 1278–1282.

HCI-EI-1999-Ramadhan99a #feedback

Improving the Engineering of Immediate Feedback for Model-Tracing Based Program Diagnosis (HAR), pp. 1283–1287.

ICEIS-1999-FilipeFF #development #visual notation

GDOS-A Graphical Diagnosis-Oriented Expert System Development Tool (JF, ALNF, MF), pp. 211–218.

SAC-1999-LauberSW #assurance #online #probability #quality #safety

Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program (JL, CS, RW), pp. 25–30.

DAC-1998-HuangCCL #design #fault

Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.

ICPR-1998-KanazawaKNSOK #image

Computer-aided diagnosis for pulmonary nodules based on helical CT images (KK, YK, NN, HS, HO, RK), pp. 1683–1685.

KR-1998-Liberatore #on the #reasoning

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.

KR-1998-McIlraith

Explanatory Diagnosis: Conjecturing Actions to Explain Observations (SAM), pp. 167–179.

EDTC-1997-NarayananSKLB #fault

A fault diagnosis methodology for the UltraSPARCTM-I microprocessor (SN, RS, RPK, MEL, SBN), pp. 494–500.

EDTC-1997-SousaC

Improved diagnosis of realistic interconnect shorts (JTdS, PYKC), pp. 501–505.

ICSM-1997-HeSRC #black box #maintenance #testing

Software Black Box Mechanism: A Pragmatic Method for Software Crash Diagnosis and Usage Maintenance Testing (ZH, GS, MR, IC), pp. 142–149.

HCI-CC-1997-Angehrn #analysis #framework

An Agent-Centered Framework for the Analysis and Diagnosis of Organizational Groupware Platforms (AAA), pp. 289–292.

HCI-CC-1997-GorskaZ #flexibility

A Flexible Computer System for Ergonomic Diagnosis (EG, JMZ), pp. 679–682.

HCI-SEC-1997-FukushimaY #adaptation

Application of a Newly Developed Eye Sensing Head-Mounted-Display to a Mutual Adaptive CAI for Plant-Diagnosis (SF, HY), pp. 225–228.

CAiSE-1997-CarricoG #analysis

Facilitating Analysis and Diagnosis in Organisations (LC, NG), pp. 131–144.

DAC-1996-ChengTDRK #named #reliability

iCET: A Complete Chip-Level Thermal Reliability Diagnosis Tool for CMOS VLSI Chips (YKC, CCT, AD, ER, SMK), pp. 548–551.

DAC-1996-JohnsonCB #design #markov #metric #process #simulation

Application of a Markov Model to the Measurement, Simulation, and Diagnosis of an Iterative Design Process (EWJ, LAC, JBB), pp. 185–188.

DAC-1996-Park

A New Complete Diagnosis Patterns for Wiring Interconnects (SP), pp. 203–208.

DAC-1996-TengCRK #reliability

Hierarchical Electromigration Reliability Diagnosis for VLSI Interconnects (CCT, YKC, ER, SMK), pp. 752–757.

ICPR-1996-0002NSWOEM #algorithm #image

An algorithm for coronary calcification diagnosis based on helical CT images (YU, NN, HS, SW, HO, KE, NM), pp. 543–547.

ICPR-1996-KanazawaKN #image

Computer aided diagnosis system for lung cancer based on helical CT images (KK, MK, NN), pp. 381–385.

ICPR-1996-NewmanTBC #image #segmentation

A volumetric segmentation technique for diagnosis and surgical planning in lower torso CT images (TSN, NT, SLB, PLC), pp. 553–557.

KDD-1996-ProvanS #case study #data mining #mining

Data Mining and Model Simplicity: A Case Study in Diagnosis (GMP, MS), pp. 57–62.

SEKE-1995-TchounikineC #experience #fault #prototype

Fault diagnosis expert system for robots: a knowledge level prototyping experience (PT, CC), pp. 268–274.

SAC-1995-HalgamugeGG #fuzzy #network #problem #prototype

A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems (SKH, CG, MG), pp. 445–449.

SAC-1995-RitschelP #automation #information management

Automatic knowledge acquisition in technical diagnosis (WR, TP), pp. 232–236.

SAC-1995-RochaOWRSXLFAF

An expert system for diagnosis of acute myocardial infarction (ARR, KMdO, VW, ÁR, ADdS, AAX, NL, JWCSF, MA, MCF), pp. 96–100.

ILPS-1995-CominiLV #declarative #revisited

Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.

DAC-1994-KuehlmannCSL #fault #verification

Error Diagnosis for Transistor-Level Verification (AK, DIC, AS, DPL), pp. 218–224.

DAC-1994-PomeranzR94a #fault #on the

On Improving Fault Diagnosis for Synchronous Sequential Circuits (IP, SMR), pp. 504–509.

EDAC-1994-AhmedCC #approach #fault #modelling #optimisation #using

A Model-based Approach to Analog Fault Diagnosis using Techniques from Optimisation (SA, PYKC, PC), p. 665.

EDAC-1994-BoniCFMO #fault #modelling #physics

Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.

EDAC-1994-DumasGLP #effectiveness #fault

Effectiveness of a Variable Sampling Time Strategy for Delay Fault Diagnosis (DD, PG, CL, SP), pp. 518–523.

AdaEurope-1994-Brunet #knowledge-based

A Knowledge-Based System for Diagnosis in Veterinary Medicine (GB), pp. 282–287.

AdaEurope-1994-CiceriM #realtime

Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control (FC, LM), pp. 288–301.

ILPS-1994-BondP #declarative #fault

Declarative Error Diagnosis as Consistency-Based Diagnosis (GWB, BP), p. 673.

DAC-1993-ChungWH #design #fault #logic

Diagnosis and Correction of Logic Design Errors in Digital Circuits (PYC, YMW, INH), pp. 503–508.

KBSE-1993-MiS #approach #named #process

Articulation: An Integrated Approach to the Diagnosis, Replanning, and Rescheduling of Software Process Failures (PM, WS), p. 14.

HCI-ACS-1993-BrinkmanS #analysis #fault

Analysis and Support of Fault Diagnosis Strategies (JAB, TWvdS), pp. 115–120.

HCI-ACS-1993-SonntagS #fault #maintenance #optimisation #process

Strategies and Training for Maintenance Personnel: Optimizing Fault Diagnosis Activities (KS, NS), pp. 90–95.

HCI-ACS-1993-ZimolongK #interactive #maintenance

Interactive Support System for Maintenance and Repair: Diagnosis Strategies (BZ, UK), pp. 86–89.

HCI-SHI-1993-RetzH #development

Development of a Processflow Manager for an IC-Diagnosis System (HR, AH), pp. 730–735.

DAC-1992-ChakravartyL #algorithm #fault #monitoring

Algorithms for Current Monitor Based Diagnosis of Bridging and Leakage Faults (SC, ML), pp. 353–356.

DAC-1992-GirardLP #approach #novel

A Novel Approach to Delay-Fault Diagnosis (PG, CL, SP), pp. 357–360.

KR-1992-FreitagF #independence #problem

Focusing on Independent Diagnosis Problems (HF, GF), pp. 521–531.

KR-1992-FriedrichN #modelling

Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems (GF, WN), pp. 489–498.

KR-1992-Konolige #reasoning #using

Using Default and Causal Reasoning in Diagnosis (KK), pp. 509–520.

KR-1992-NgM #abduction #empirical #evaluation #recognition

Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation (HTN, RJM), pp. 499–508.

ML-1992-SmythM #detection #fault #novel

Detecting Novel Classes with Applications to Fault Diagnosis (PS, JM), pp. 416–425.

DAC-1991-PitchumaniMR #fault #simulation

A System for Fault Diagnosis and Simulation of VHDL Descriptions (VP, PM, NR), pp. 144–150.

CAV-1991-Rasse #communication #fault #finite

Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.

CLP-1990-ShmueliT90a #logic #source code

Logical Diagnosis of LDL Programs (OS, ST), pp. 112–129.

DAC-1989-LiawTL #named #verification

VVDS: A Verification/Diagnosis System for VHDL (HTL, KTT, CSL), pp. 435–440.

ML-1989-BirnbaumCK

Issues in the Justification-Based Diagnosis of Planning Failures (LB, GC, BK), pp. 194–196.

ML-1989-FriedrichN #algorithm #induction #learning #using

Using Domain Knowledge to Improve Inductive Learning Algorithms for Diagnosis (GF, WN), pp. 75–77.

DAC-1987-ConcinaL #design

Integrating Design Information for IC Diagnosis (SEC, GSL), pp. 251–257.

DAC-1987-McDermottS #network #paradigm

Switch Directed Dynamic Causal Networks — a Paradigm for Electronic System Diagnosis (RMM, DS), pp. 258–264.

HCI-CE-1987-YoonH #fault

A Deep-Reasoning Aid for Deep-Reasoning Fault Diagnosis (WCY, JMH), pp. 297–304.

ESEC-1987-Conradi #documentation #experience #fault #fortran #source code #verification

Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs (RC), pp. 263–275.

SLP-1987-CoxP87 #abduction

General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.

DAC-1983-Tendolkar

Diagnosis of TCM failures in the IBM 3081 Processor complex (NNT), pp. 196–200.

SCC-1982-BurkeF #fault

A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.

SCC-1982-JohnsonR #fault #semantics

Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.

POPL-1982-Shapiro #algorithm

Algorithmic Program Diagnosis (EYS), pp. 299–308.

DAC-1981-HsuSB #fault #testing

Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.

DAC-1980-AbramoviciB #analysis #fault

Fault diagnosis based on effect-cause analysis: An introduction (MA, MAB), pp. 69–76.

DAC-1979-Cha #fault #multi #network

Multiple fault diagnosis in combinational networks (CWC), pp. 149–155.

DAC-1978-CaseS #fault #logic #simulation

SALOGS-IV-A program to perform logic simulation and fault diagnosis (GRC, JDS), pp. 392–397.

DAC-1978-HsuSZ #testing

Selective controllability: A proposal for testing and diagnosis (FCH, PS, LMZ), pp. 110–116.

DAC-1978-MalekB #fault #functional #simulation

Functional simulation and fault diagnosis (MM, AKB), pp. 340–346.

DAC-1976-Zobniw #multi #realtime #using

Multi-defect real time diagnosis using a single pin probe (LMZ), pp. 179–185.

DAC-1975-Zobniw #realtime #using

Real time diagnosis using single pin probe (LMZ), pp. 268–285.

SOSP-1973-Walther #multi

Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control (WW), pp. 38–44.

DAC-1971-KlaytonBL #detection #fault #memory management

Fault detection and diagnosis of memory system faults (ARK, WAB, AIL), pp. 269–277.

DAC-1971-VishnubhotlaC #analysis #approach

A path analysis approach to the diagnosis of combinational circuits (SRV, YHC), pp. 222–230.

DAC-1970-BottorffSV #approach #automation #fault #memory management #problem #testing

An automatic system approach to the problem of memory circuit testing & fault diagnosis (PSB, MES, FJV), pp. 95–99.

DAC-1970-PatchZ #logic #realtime

Real time diagnosis of logic assemblies (FDP, LMZ), pp. 108–115.