Login / Signup
Certified concurrent abstraction layers.
Ronghui Gu
Zhong Shao
Jieung Kim
Xiongnan (Newman) Wu
Jérémie Koenig
Vilhelm Sjöberg
Hao Chen
David Costanzo
Tahina Ramananandro
Published in:
PLDI (2018)
Keyphrases
</>
concurrent processes
high level
multi layer
data abstraction
search algorithm
genetic algorithm
search engine
image processing
multiscale
probabilistic model
concurrent execution
concurrent programming
hybrid automata