Managing Checkpoints for Parallel ProgramsParallel processing on dynamic resources with CARMIProviding resource management services to parallel applications