Parallel model-based diagnosis on multi-core computers
DOI10.1613/JAIR.5001zbMATH Open1352.68222OpenAlexW2338672156MaRDI QIDQ2800959FDOQ2800959
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
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Cited In (5)
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Sequential model-based diagnosis by systematic search
- Memory-limited model-based diagnosis
- Parallel process diagnosis based on qualitative models
- Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model
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)