Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness.
Lin ZhangZifan WangFanxin KongPublished in: ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
- real time systems
- distributed systems
- optimal strategy
- real time
- embedded systems
- dynamic programming
- real time database systems
- timing constraints
- distributed databases
- fault tolerance
- mission critical
- real time embedded
- main memory databases
- contract algorithms
- object oriented programming language
- failure recovery
- low overhead
- database systems