Program Regularization in Memory Consistency Verification.
Yunji ChenLei LiTianshi ChenLing LiLei WangXiaoxue FengWeiwu HuPublished in: IEEE Trans. Parallel Distributed Syst. (2012)
Keyphrases
- symbolic execution
- memory requirements
- hardware designs
- neural network
- face recognition
- static analysis
- parameter selection
- memory usage
- constraint networks
- face verification
- program execution
- regularization method
- data sets
- machine learning
- formal verification
- maintaining consistency
- database systems
- test cases
- memory management
- global consistency
- consistency checking
- regularization term
- signature verification
- memory space
- main memory
- prior information
- computational power
- database
- computer programs