Login / Signup
Týr: A Dependent Type System for Spatial Memory Safety in LLVM.
Vítor Bujés Ubatuba De Araújo
Álvaro Freitas Moreira
Rodrigo Machado
Published in:
Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
</>
spatial information
spatial data
spatio temporal
neural network
spatial locality
multiscale
space time
data sets
spatial constraints
low memory
website
genetic algorithm
machine learning
spatial and temporal
spatial temporal
spatial data mining
coal mining