Fast and Generalized Polynomial Time Memory Consistency Verification
Amitabha RoyStephan ZeissetCharles J. FleckensteinJohn C. HuangPublished in: CoRR (2006)
Keyphrases
- computational complexity
- special case
- model checking
- approximation algorithms
- memory requirements
- formal verification
- memory size
- memory management
- consistency checking
- limited memory
- memory space
- computing power
- global constraints
- low memory
- global consistency
- constraint networks
- maintaining consistency
- real time
- temporal logic
- data access
- database systems
- neural network