A Type System for Safe Intermittent Computing.

Milijana Surbatovich Naomi Spargo Limin Jia Brandon Lucia

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

genetic algorithm
databases
case study
image segmentation
high level
high quality
cooperative
search algorithm
pattern recognition