WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.
Ding YeYu SuYulei SuiJingling XuePublished in: ISSRE (2014)
Keyphrases
- limited memory
- internal memory
- spatial information
- spatio temporal
- spatial data
- neural network
- computational power
- case study
- spatial and temporal
- real time
- memory space
- spatial correlation
- situation calculus
- spatial relationships
- inference rules
- spatial relations
- spatial objects
- spatial reasoning
- memory usage
- spatial databases
- computing power
- memory requirements
- machine learning
- resource consumption
- spatial data mining
- low memory
- spatial locality
- data streams