Verification of Embedded Memory Systems using Efficient Memory Modeling.
Malay K. GanaiAarti GuptaPranav AsharPublished in: DATE (2005)
Keyphrases
- limited memory
- computing power
- main memory
- memory size
- state information
- memory space
- memory requirements
- distributed systems
- embedded systems
- low memory
- neural network
- random access
- memory usage
- face verification
- computationally efficient
- knowledge based systems
- computer systems
- expert systems
- data structure
- bayesian networks
- information retrieval