Functional Memory Faults: A Formal Notation and a Taxonomy.
Ad J. van de GoorZaid Al-ArsPublished in: VTS (2000)
Keyphrases
- visual languages
- fault detection
- memory usage
- memory size
- computing power
- functional analysis
- low memory
- formal methods
- fault diagnosis
- formal model
- data sets
- mathematical theory
- root cause
- memory space
- computational power
- memory requirements
- main memory
- information systems
- artificial intelligence
- neural network
- model based diagnosis
- formal specification
- operating system
- image segmentation
- knowledge base
- genetic algorithm
- data mining
- fault detection and diagnosis
- real time