Parallel model-based diagnosis on multi-core computers

DOI10.1613/JAIR.5001MaRDI QIDQ2800959zbMATH OpenOpenAlexFDO

Authors Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin

Publication date 19 April 2016

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.5001

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Parallel process diagnosis based on qualitative models
• Bayesian model-based diagnosis
• Diagnosing multiple faults
• scientific article; zbMATH DE number 1168533
• Model-based diagnosis by the artificial intelligence community: the DX approach

Cited in

(6)

• Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
• Memory-limited model-based diagnosis
• Parallel process diagnosis based on qualitative models
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Sequential model-based diagnosis by systematic search
• Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs

This page was built for publication: Parallel model-based diagnosis on multi-core computers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2800959)