Pages that link to "Item:Q1595892"
From MaRDI portal
The following pages link to Analysis of checkpointing for real-time systems (Q1595892):
Displaying 9 items.
- Fault-tolerant and real-time scheduling for mixed-criticality systems (Q2251417) (← links)
- Optimal checkpoint placement on real-time tasks with harmonic periods (Q2637266) (← links)
- Checkpoint management with double modular redundancy based on the probability of task completion (Q2637273) (← links)
- Probabilistic optimisation of checkpoint intervals for real-time multi-tasks (Q2858026) (← links)
- The checkpoint global optimization algorithm based on the mixed particle swarm optimization (Q3462847) (← links)
- (Q4738790) (← links)
- Real-Time Model Checking on Secondary Storage (Q5423883) (← links)
- The dynamic checking of complex real time system (Q5492511) (← links)
- Checking scheduling-induced violations of control safety properties (Q6103165) (← links)