Brief announcement: program regularization in verifying memory consistency.
Lei LiTianshi ChenYunji ChenLing LiCheng QianWeiwu HuPublished in: SPAA (2011)
Keyphrases
- memory space
- memory requirements
- main memory
- computer programs
- maintaining consistency
- memory size
- model checking
- prior information
- image restoration
- data dependent
- operating system
- parameter selection
- query processing
- limited memory
- blind deconvolution
- consistency checking
- regularization method
- data structure
- low memory
- neural network