A Write-Verification Method for Non-Volatile Memory.
Yiping ZhangCanyan ZhuLijun ZhangZiou WangPublished in: ICICDT (2019)
Keyphrases
- verification method
- main memory
- temporal logic
- model checking
- data storage
- hard disk
- database management systems
- flash memory
- low memory
- read write
- memory usage
- computational power
- memory space
- index structure
- memory size
- data sets
- disk drives
- real time
- buffer pool
- memory requirements
- data structure
- computer vision
- real world
- computing power
- file system
- working memory
- multiscale
- database systems
- information systems
- machine learning