DejaVu: Transparent User-Level Checkpointing, Migration, and Recovery for Distributed Systems | IEEE Conference Publication | IEEE Xplore