Login / Signup
Verifying and Synthesizing Constant-Resource Implementations with Types.
Van Chan Ngo
Mario Dehesa-Azuara
Matthew Fredrikson
Jan Hoffmann
Published in:
CoRR (2018)
Keyphrases
</>
real time
social networks
hidden markov models
website
image sequences
video sequences
resource allocation
resource constraints