Compiler-Assisted Type-Safe Checkpointing.

Jan-Patrick Lehr Alexander Hück Moritz Fischer Christian H. Bischof

Published in: ISC Workshops (2020)

Keyphrases

distributed databases
information retrieval
general purpose
main memory databases
artificial intelligence
multiscale
programming language
distributed systems
data management
low overhead
distributed memory machines