Login / Signup
Verifying and Synthesizing Constant-Resource Implementations with Types.
Van Chan Ngo
Mario Dehesa-Azuara
Matthew Fredrikson
Jan Hoffmann
Published in:
IEEE Symposium on Security and Privacy (2017)
Keyphrases
</>
high level
data sets
databases
artificial intelligence
image processing
image segmentation
three dimensional
objective function
data streams
preprocessing
resource allocation
model checking