Parallel model-based diagnosis on multi-core computers
From MaRDI portal
Publication:2800959
Recommendations
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)