Search results for "diagnostics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	John C. McEachen, John Zachary	A Novel Approach to Accentuating Anomalous Events in Complex Network Systems.	HICSS	2005	DBLP DOI BibTeX RDF	network diagnostics, Intrusion detection, statistical mechanics
16	Andrei V. Gribok, Aleksey M. Urmanov, J. Wesley Hines	Uncertainty Analysis of Memory Based Sensor Validation Techniques.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	sensor validation, fault diagnostics, uncertainty, regularization, kernel regression
16	Robyn R. Lutz, Ines Carmen Mikulski	Empirical Analysis of Safety-Critical Anomalies During Operations.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software and system safety, diagnostics, product metrics, maintenance process
16	Giles Hooker	Diagnosing extrapolation: tree-based density estimation.	KDD	2004	DBLP DOI BibTeX RDF	trees-based models, clustering, visualization, interpretation, density estimation, diagnostics, modeling methodologies, extrapolation, CART, C4.5
16	Giles Hooker	Discovering additive structure in black box functions.	KDD	2004	DBLP DOI BibTeX RDF	draphical models, functional ANOVA, visualization, feature selection, interpretation, diagnostics, additive models
16	Jin-Fu Li 0001, Ruey-Shing Tzeng, Cheng-Wen Wu	Testing and Diagnosis Methodologies for Embedded Content Addressable Memories.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	march test algorithm, memory diagnostics, BIST, memory testing, CAM
16	Chih-Wea Wang, Kuo-Liang Cheng, Jih-Nung Lee, Yung-Fa Chou, Chih-Tsun Huang, Cheng-Wen Wu, Frank Huang, Hong-Tzer Yang	Fault Pattern Oriented Defect Diagnosis for Memories.	ITC	2003	DBLP DOI BibTeX RDF	failure analysis (FA), fault pattern, memory diagnostics, memory testing, bitmap, semiconductor memory
16	Susan L. Mabry, Timothy Etters, Troy Schneringer, Naomi Edwards, Caleb R. Hug	Addressing the complexity of patient monitoring with multiagents and modular logic.	AAMAS	2003	DBLP DOI BibTeX RDF	fuzzy logic, monitoring, diagnostics, multiagents
16	O. Barana, G. Manduchi	Application of Neural Networks for the Measurement of Electronic Temperature in Nuclear Fusion Experiments.	Neural Comput. Appl.	2002	DBLP DOI BibTeX RDF	Fitting procedures, Langmuir probes, Plasma diagnostics, Neural networks
16	Maisaa Khalil, Chantal Robach, Franc Novak	Diagnosis Strategies for Hardware or Software Systems.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	diagnostic strategies, diagnostic tools, system level diagnostics, testability, fault location
16	Andreas Zeller, Ralf Hildebrandt	Simplifying and Isolating Failure-Inducing Input.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	tracing, diagnostics, testing tools, Automated debugging, combinatorial testing, debugging aids
16	Li Chen, Sujit Dey	Software-based diagnosis for processors.	DAC	2002	DBLP DOI BibTeX RDF	microprocessor, self-test, instruction, diagnostics
16	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
16	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
16	Jan Gustafsson	Eliminating annotations by automatic flow analysis of real-time programs.	RTCSA	2000	DBLP DOI BibTeX RDF	automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths
16	Henrik Theiling	Extracting safe and precise control flow from binaries.	RTCSA	2000	DBLP DOI BibTeX RDF	safe precise control flow extraction, binary executables, instruction sequence clustering, branch targets, block boundaries, safety-critical real-time systems, graph approximation, entry points, instruction blocks, instruction routines, real-time systems, uncertainties, sequences, safety-critical software, program diagnostics, control flow graph, program control structures, static program analysis, flow graphs, bottom-up approach
16	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
16	Jacob Savir	Salvaging test windows in BIST diagnostic.	VTS	1997	DBLP DOI BibTeX RDF	test window, STUMPS architecture, BIST diagnostics, signature measurement, built-in self test
16	Manoj Sachdev	SeparateIDDQ testing of signal and bias paths in CMOS ICs for defect diagnosis.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	junction leakage current, diagnostics, deep sub-micron, I DDQ testing, subthreshold leakage current
16	Gerald A. Sullivan	A Knowledge-Based Control Architecture with Interactive Reasoning Functions.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	interactive reasoning, knowledge-based systems, interactive systems, process control, Diagnostics, temporal representation, knowledge-based control
16	Günter Haring, Gabriele Kotsis, Sabine Musil	InHouse - A User-Oriented Monitoring Approach.	PDP	1996	DBLP DOI BibTeX RDF	InHouse, user oriented monitoring approach, parallel processing systems visualization, performance figures, user oriented approach, a priori filtering, direct manipulative selection, graphical hierarchical representation, textual rule based selection, Real Life Metaphors, parallel processing systems monitoring, parallel programming, software tools, visual programming, teaching, program diagnostics, visualization displays
16	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
16	Roberto Fiutem, Ettore Merlo, Giuliano Antoniol, Paolo Tonella	Understanding the architecture of software systems.	WPC	1996	DBLP DOI BibTeX RDF	high level structure, hierarchical architectural model, abstract view, user interface, software architecture, reverse engineering, reverse engineering, software maintenance, software maintenance, software tools, systems analysis, visual programming, program understanding, software visualization, data visualisation, programmers, program diagnostics, software environment, software understanding
16	Thomas Kunz	Evaluating process clusters to support automatic program understanding.	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, distributed debugging, program development, quantitative evaluation, application design, prototypical tools
16	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization.	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
16	Loren Larsen, Mary Jean Harrold	Slicing Object-Oriented Software.	ICSE	1996	DBLP BibTeX RDF	class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
16	Matthew B. Dwyer, Lori A. Clarke	A Flexible Architecture for Building Data Flow Analyzers.	ICSE	1996	DBLP BibTeX RDF	combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture
16	Brian Mitchell, Steven J. Zeil	A Reliability Model Combining Representative and Directed Testing.	ICSE	1996	DBLP BibTeX RDF	fault revelation, interfailure time, post-mortem debugged fault analysis, reliability estimate updating, representative testing, software quality, software reliability, fault detection, program testing, statistics, program debugging, functional testing, program diagnostics, structural testing, random processes, order statistics, reliability model, quantification, random variable, failure rates, directed testing
16	Gail C. Murphy, David Notkin, Erica S.-C. Lan	An Empirical Study of Static Call Graph Extractors.	ICSE	1996	DBLP BibTeX RDF	C call graphs, CIA, cflow, extraction tools, gee, mapmaker, mk-functmap, rigiparse, static call graph extractors, understanding task, optimization, software engineers, compilers, graph theory, software tools, program understanding, program compilers, mosaic, software systems, program diagnostics, quantitative analysis, qualitative analysis, Field, software engineering tools, false negatives
16	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
16	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs.	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
16	Ioannis K. Konstantopoulos, Panos J. Antsaklis	Controllers with diagnostic capabilities. A neural network implementation.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Integration of controls and diagnostics, feedforward multilayer neural networks, four-parameter controller, failure diagnosis
16	Lee W. Campbell, Aaron F. Bobick	Recognition of Human Body Motion Using Phase Space Constraints.	ICCV	1995	DBLP DOI BibTeX RDF	phase space methods, human body motion recognition, phase space constraints, human body movements, body-centered coordinates, joint angles, Cartesian tracking data, movement representation, torso location, torso attitude, new movement learning, ground truth data, constraint searching, unsegmented data, fundamental classical ballet steps, dancers, unsegmented motion stream, computer vision, testing, tracking, motion estimation, training, image recognition, image representation, search problems, diagnostics, humanities, biomechanics, subspaces, constraint theory, space curves
16	Stephen Fickas, Martin S. Feather	Requirements monitoring in dynamic environments.	RE	1995	DBLP DOI BibTeX RDF	running system, nonscientific enterprise applications, commercial systems, formal specification, program verification, systems analysis, dynamic environments, program diagnostics, performance tuning, systems maintenance, requirements monitoring
16	Frank Mueller 0001, David B. Whalley	Fast instruction cache analysis via static cache simulation.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	instruction cache analysis, static cache simulation, cache configuration, instruction reference, cache hit, counter incrementation, code execution frequency, local state information updating, frequency counters, program exit, virtual machines, cache storage, program diagnostics, dynamic simulation, cache miss
16	Sekhar R. Sarukkai, Jerry C. Yan, Melisa Schmidt	Automated instrumentation and monitoring of data movement in parallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	data-structure alignments, inter-processor data-structure interactions, compiler front end tools, tracking data-structure movements, NAS benchmarks, parallel programming, parallel programs, data structures, message passing, data flow analysis, software performance evaluation, program diagnostics, performance tools, message passing programs, inter-processor communications, data movement
16	Doug Kimelman, Pradeep Mittal, Edith Schonberg, Peter F. Sweeney, Ko-Yang Wang, Dror Zernik	Visualizing the execution of High Performance Fortran (HPF) programs.	IPPS	1995	DBLP DOI BibTeX RDF	High Performance Fortran programs, data placement programming model, performance visualization systems, high level views, HPF program behavior, communication activity, array distribution, data placement program tuning, parallel programming, FORTRAN, visual programming, software performance evaluation, programming model, parallel languages, data distribution, program diagnostics
16	Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie	The "Annai" environment for portable distributed parallel programming.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results
16	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
16	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS (2)	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
16	Kuei Yu Wang, Dan C. Marinescu	Correlation of the paging activity of individual node programs in the SPMD execution mode.	HICSS (1)	1995	DBLP DOI BibTeX RDF	paging activity, individual node programs, SPMD execution mode, parallel program monitoring, scheduling, scheduling, parallel programming, parallel programs, program diagnostics, paged storage
16	Erika Nyáry, Harry M. Sneed	Software maintenance offloading at the Union Bank of Switzerland.	ICSM	1995	DBLP DOI BibTeX RDF	software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe
16	Rajiv Gupta 0001, Mary Lou Soffa	Priority based data flow testing.	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
16	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
16	Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta	An independent software-modification method.	ICSM	1995	DBLP DOI BibTeX RDF	independent software modification method, independent software-modification method, specification changes, functional enhancements, program slicing techniques, non modified parts, modified parts, software maintenance, regression testing, automatic programming, program diagnostics, program modification
16	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs.	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
16	Kai Li 0001, Jeffrey F. Naughton, James S. Plank	Low-Latency, Concurrent Checkpointing for Parallel Programs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	low latency concurrent checkpointing, programrestarting, overall checkpointing time, interruption time, overlapping operations, parallel programming, parallel programs, metrics, fault tolerant computing, efficiency, software reliability, shared-memory multiprocessors, system recovery, program diagnostics, overhead, backward error recovery, copy-on-write, faulttolerance
16	David M. Nicol, Albert G. Greenberg, Boris D. Lubachevsky	Massively Parallel Algorithms for Trace-Driven Cache Simulations.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	massively parallel algorithms, trace-driven cache simulations, least-recently-used policy, EREW parallel model, algorithm timings, reference-based line replacement policies, least-frequently-used policy, random replacement policy, space overhead, SIMD implementation, parallel algorithms, computational complexity, parallel architectures, trace, buffer storage, program diagnostics, simulation algorithm, MasPar MP-1
16	Eva Ma, Dennis G. Shea	E-Kernel: An Embedding Kernel on the IBM Victor V256 Multiprocessor for Program Mapping and Network Reconfiguration.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	E-kernel, embedding kernel, IBM victor V256 multiprocessor, program mapping, message-passing partitionable multiprocessor, new network topology, 2D mesh network, task graph topologies, communication network topology, real-time systems, parallel programming, graph theory, message passing, multiprocessing systems, parallel system, task graph, program diagnostics, communication model, asymptotically optimal, reconfigured network, network reconfiguration
16	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
16	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
16	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
16	William E. Howden, Bruce Wieand	QDA-A Method for Systematic Informal Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	QDA, systematic informal program analysis, program properties, Quick Defect Analysis, comments analysis, abstract program model, hypothesis-driven method, operational flight program, formal specification, formal verification, specification, program verification, program verification, programming theory, program debugging, program diagnostics, program validity, code reading
16	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
16	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
16	Mark G. Karpovsky, Saeed M. Chaudhry	Design of Self-Diagnostic Boards by Multiple Signature Analysis.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	self-diagnostic boards, multiple signature analysis, multiple error-correcting codes, faulty chips, faulty boards, logic testing, error correction codes, Reed-Solomon codes, diagnostics, test responses, multiprocessor environment
16	Arif Ghafoor, Theodore R. Bashkow	A Study of Odd Graphs as Fault-Tolerant Interconnection Networks.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	odd graphs, fault-tolerant interconnection networks, binary n-cube, flip-trees, self-routing algorithms, maximal fault tolerance, partitioning property, self-diagnostics, parallel architectures, fault tolerant computing, mesh, resilience, persistence, ring, star, chordal ring, Hadamard matrices
16	Richard W. Selby, Victor R. Basili	Analyzing Error-Prone System Structure.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	error-prone system structure, data interaction, prediction environment, nonparametric analysis of variance model, software metrics, error analysis, software systems, program diagnostics, empirical analysis, clustering technique, data bindings
16	Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski	IPS-2: The Second Generation of a Parallel Program Measurement System.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
16	S.-C. Chu, James R. Armstrong	t-TDA-Diagnosable Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	testable diagnosis array, TDA, system-level fault diagnosis, diagnostics device, testing graph, fault tolerant computing, logic testing, fault location, diagnosability
16	Jacob Savir	The Bidirectional Double Latch (BDDL).	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	shift register latch, shift register failure diagnostics, Design for testability, hardware overhead, LSSD
16	Kang G. Shin, Yann-Hang Lee	Error Detection Process - Model, Design, and Its Impact on Computer Performance.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	unreliable results, Computation loss, latent errors/faults, recovery methods, error detection, diagnostics
12	Henrik Järleblad, Luke Stagner, Mirko Salewski, J. Eriksson, M. Nocente, Bertil Schmidt, M. Rud Larsen	A framework for synthetic diagnostics using energetic-particle orbits in tokamaks.	Comput. Phys. Commun.	2024	DBLP DOI BibTeX RDF
12	S. Gurusubramani, B. Latha	Enhancing cardiac diagnostics through semantic-driven image synthesis: a hybrid GAN approach.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
12	Priti Bansal, Nipun Harjai, Mohammad Saif, Saahil Hussain Mugloo, Preeti Kaur	Utilization of big data classification models in digitally enhanced optical coherence tomography for medical diagnostics.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
12	Vijay R. Tripathi, Manish N. Tibdewal, Ravi Mishra	A survey on Motion Artifact Correction in Magnetic Resonance Imaging for Improved Diagnostics.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Stepan Savchuk, Petro Dvulit, Vladyslav Kerker, Daniel Michalski, Anna Michalska	Python Software Tool for Diagnostics of the Global Navigation Satellite System Station (PS-NETM)-Reviewing the New Global Navigation Satellite System Time Series Analysis Tool.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Peng Chen, Yuhao Wu, Chaojun Xu, Yaqiang Jin, Chengning Zhou	Markov Modeling of Signal Condition Transitions for Bearing Diagnostics Under External Interference Conditions.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
12	Zoey Bigelow, Luis Fernando Velásquez-García	Autonomous, Additively Manufactured, Multi-Langmuir Probe for CubeSat Plasma Diagnostics.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
12	Ana Arboleya, Jaime Laviada, Yuri Álvarez López, Guillermo Álvarez Narciandi, Fernando Las-Heras, Cyril Luxey, Diane Titz, Aimeric Bisognin	Freehand System for Probe-Fed Antenna Diagnostics by Means of Amplitude-Only Acquisitions.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
12	Garam Hahn, Woojin Song, Yong-Seok Lee, Young-Do Joo, Ji-Gwang Hwang	Wideband Diagnostics for Online Measurement of Temporal Information of Beams in a Storage Ring.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
12	Chih-Hsuan Chen, Chia-Ru Chung, Hsuan-Yu Yang, Shih-Ching Yeh, Eric Hsiao-Kuang Wu, Hsin-Jung Ting	Virtual-Reality-Based Supermarket for Intellectual Disability Classification, Diagnostics, and Assessment.	IEEE Trans. Learn. Technol.	2024	DBLP DOI BibTeX RDF
12	Walid El-Shafai, Ibrahim Abd El-Fattah, Taha E. Taha	Deep learning-based hair removal for improved diagnostics of skin diseases.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Giovanni Floreale, Piero Baraldi, Xuefei Lu, Paolo Rossetti, Enrico Zio	Sensitivity analysis by differential importance measure for unsupervised fault diagnostics.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
12	Bernhard Ganter	Cost-aware sequential diagnostics.	Ann. Math. Artif. Intell.	2024	DBLP DOI BibTeX RDF
12	Muhammad Atta Othman Ahmed, Yasser AbdelSatar, Eed M. Darwish, Elnomery Allam Zanaty	Synergistic integration of Multi-View Brain Networks and advanced machine learning techniques for auditory disorders diagnostics.	Brain Informatics	2024	DBLP DOI BibTeX RDF
12	Alex Leal Mota, Manoel Santos-Neto, Milton Miranda Neto, Jeremias Leão, Vera L. D. Tomazella, Francisco Louzada 0001	Weighted Lindley regression model with varying precision: estimation, modeling and its diagnostics.	Commun. Stat. Simul. Comput.	2024	DBLP DOI BibTeX RDF
12	Yury A Barbitoff, Mikhail O. Ushakov, Tatyana E. Lazareva, Yulia A Nasykhova, Andrey S. Glotov, Alexander V. Predeus	Bioinformatics of germline variant discovery for rare disease diagnostics: current approaches and remaining challenges.	Briefings Bioinform.	2024	DBLP DOI BibTeX RDF
12	Indrajeet Haldar	The plebeian Graph Library: A WebGL based network visualisation and diagnostics package.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
12	Sandro Carrara, Junrui Chen, Kapil Bhardwaj, Ata Golparvar, Gian Luca Barbruni	In-Memory Sensing and Computing for Cancer Diagnostics: A Perspective Paper.	IEEE Trans. Biomed. Circuits Syst.	2024	DBLP DOI BibTeX RDF
12	Nevena Rankovic, Dragica Rankovic, Mirjana Ivanovic, Igor Lukic	Explainable data mining model for hyperinsulinemia diagnostics.	Connect. Sci.	2024	DBLP DOI BibTeX RDF
12	Ankur Verma, Seog-Chan Oh, Jorge Arinez 0001, Soundar R. T. Kumara	Hierarchical energy signatures using machine learning for operational visibility and diagnostics in automotive manufacturing.	CoRR	2024	DBLP DOI BibTeX RDF
12	YiQiu Guo, Yuchen Yang, Ya Zhang 0002, Yu Wang, Yanfeng Wang	DictLLM: Harnessing Key-Value Data Structures with Large Language Models for Enhanced Medical Diagnostics.	CoRR	2024	DBLP DOI BibTeX RDF
12	Norman Zerbe, Lars Ole Schwen, Christian Geißler, Katja Wiesemann, Tom Bisson, Peter Boor, Rita Carvalho, Michael Franz, Christoph Jansen, Tim-Rasmus Kiehl, Björn Lindequist, Nora Charlotte Pohlan, Sarah Schmell, Klaus Strohmenger, Falk Zakrzewski, Markus Plass, Michael Takla, Tobias Küster, André Homeyer, Peter Hufnagl	Joining Forces for Pathology Diagnostics with AI Assistance: The EMPAIA Initiative.	CoRR	2024	DBLP DOI BibTeX RDF
12	Matthew T. Hansen, Jason A. Dittmann	Single Transit Detection In Kepler With Machine Learning And Onboard Spacecraft Diagnostics.	CoRR	2024	DBLP DOI BibTeX RDF
12	Mikayel Samvelyan, Davide Paglieri, Minqi Jiang, Jack Parker-Holder, Tim Rocktäschel	Multi-Agent Diagnostics for Robustness via Illuminated Diversity.	CoRR	2024	DBLP DOI BibTeX RDF
12	Ammar A. Siddiqui, Santosh Tirunagari, Tehseen Zia, David Windridge	VALD-MD: Visual Attribution via Latent Diffusion for Medical Diagnostics.	CoRR	2024	DBLP DOI BibTeX RDF
12	José Bobes-Bascarán, Eduardo Mosqueira-Rey, Ángel Fernández-Leal, Elena Hernández-Pereira, David Alonso-Ríos, Vicente Moret-Bonillo, Israel Figueirido-Arnoso, Yolanda Vidal-Ínsua	Evaluating Explanatory Capabilities of Machine Learning Models in Medical Diagnostics: A Human-in-the-Loop Approach.	CoRR	2024	DBLP DOI BibTeX RDF
12	Peng Liu, Jonas Golde, Joseph Morgenstern, Sebastian Bodenstedt, Chenpan Li, Yujia Hu, Zhaoyu Chen, Edmund Koch, Marcus Neudert, Stefanie Speidel	Non-rigid point cloud registration for middle ear diagnostics with endoscopic optical coherence tomography.	Int. J. Comput. Assist. Radiol. Surg.	2024	DBLP DOI BibTeX RDF
12	Áron Hölgyesi, Zsombor Zrubka, László Gulácsi, Petra Baji, Tamás Haidegger, Miklós Kozlovszky, Miklós Weszl, Levente Kovács, Márta Péntek	Robot-assisted surgery and artificial intelligence-based tumour diagnostics: social preferences with a representative cross-sectional survey.	BMC Medical Informatics Decis. Mak.	2024	DBLP DOI BibTeX RDF
12	Muhammad Adnan Hasnain, Hassaan Malik, Muhammad Mujtaba Asad, Fahad Sherwani	Deep learning architectures in dental diagnostics: a systematic comparison of techniques for accurate prediction of dental disease through x-ray imaging.	Int. J. Intell. Comput. Cybern.	2024	DBLP DOI BibTeX RDF
12	Xuechao Wang, Junqing Huang, Marianna Chatzakou, Sven Nõmm, Elli Valla, Kadri Medijainen, Pille Taba, Aaro Toomela, Michael V. Ruzhansky	Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson's disease.	Biomed. Signal Process. Control.	2024	DBLP DOI BibTeX RDF
12	Dylan Powell, Aiden Hannah	The dichotomy of diagnostics: exploring the value for consumers, clinicians and care pathways.	npj Digit. Medicine	2024	DBLP DOI BibTeX RDF
12	Fatemeh Yaghoobizadeh, Mohammad Roayaei Ardakani, Mohammad Mehdi Ranjbar, Mohammad Khosravi, Hamid Galehdari	Development of a potent recombinant scFv antibody against the SARS-CoV-2 by in-depth bioinformatics study: Paving the way for vaccine/diagnostics development.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
12	Jan Kijonka, Petr Vávra, Marek Penhaker, Daniele Bibbo, Petr Kudrna, Jan Kubícek	Present results and methods of vectorcardiographic diagnostics of ischemic heart disease.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
12	Igor Shardakov, Aleksey Shestakov, Irina Glot, Georgii Gusev, Valery Epin, Roman Tsvetkov	Piezoceramics Actuator with Attached Mass for Active Vibration Diagnostics of Reinforced Concrete Structures.	Sensors	2024	DBLP DOI BibTeX RDF
12	András Darányi, János Abonyi	Fault Diagnostics Based on the Analysis of Probability Distributions Estimated Using a Particle Filter.	Sensors	2024	DBLP DOI BibTeX RDF
12	Zequan Zhao, Yajun Mi, Hafeez Ur Rehman, Enqi Sun, Xia Cao, Ning Wang	From Body Monitoring to Biomolecular Sensing: Current Progress and Future Perspectives of Triboelectric Nanogenerators in Point-of-Care Diagnostics.	Sensors	2024	DBLP DOI BibTeX RDF
12	Damiano Fasani, Luca Barbieri, Andrea Villa, Daniele Palladini, Roberto Malgesini, Giovanni D'Avanzo, Giacomo Buccella, Paolo Gadia	Diagnostics of Internal Defects in Composite Overhead Insulators Using an Optic E-Field Sensor.	Sensors	2024	DBLP DOI BibTeX RDF
12	Luis Rodriguez-Cobo, Luis Reyes-González, José Francisco Algorri, Sara Díez-del-Valle Garzón, Roberto García-García, José Miguel López-Higuera, Adolfo Cobo	Non-Contact Thermal and Acoustic Sensors with Embedded Artificial Intelligence for Point-of-Care Diagnostics.	Sensors	2024	DBLP DOI BibTeX RDF