1. {n. d.}. intel pstate CPU Performance Scaling Driver. https://www.kernel.org/doc/html/v4.12/admin-guide/pm/intel_pstate.html. {n. d.}. intel pstate CPU Performance Scaling Driver. https://www.kernel.org/doc/html/v4.12/admin-guide/pm/intel_pstate.html.
2. {n. d.}. Resilience Prototype. https://hpdc-gitlab.eeecs.qub.ac.uk/kdichev/data-flow-driven-rollback. {n. d.}. Resilience Prototype. https://hpdc-gitlab.eeecs.qub.ac.uk/kdichev/data-flow-driven-rollback.
3. Message logging: pessimistic, optimistic, causal, and optimal