Parallel Model-Based Diagnosis on Multi-Core Computers.
Dietmar JannachThomas SchmitzKostyantyn M. ShchekotykhinPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- model based diagnosis
- consistency based diagnosis
- diagnostic reasoning
- model based reasoning
- discrete event systems
- fault localization
- dynamic systems
- constraint programming
- physical systems
- digital circuits
- repair actions
- computer systems
- failure diagnosis
- fault models
- shared memory
- distributed systems
- diagnostic systems
- fault model
- case based reasoning
- hardware designs
- search algorithm