Login / Signup
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.
Liyi Li
Arunkumar Bhattar
Le Chang
Mingwei Zhu
Aravind Machiry
Published in:
CoRR (2023)
Keyphrases
</>
spatio temporal
spatial data
spatial information
memory requirements
spatial and temporal
data driven
data mining
neural network
spatial databases
incremental learning
spatial temporal
spatial reasoning
computing power
data structure
main memory
spatial relations
memory size
partitioning algorithm