Efficient and Deterministic Scheduling for Parallel State Machine Replication.
Odorico Machado MendizabalRuda S. T. De MouraFernando Luís DottiFernando PedonePublished in: IPDPS (2017)
Keyphrases
- state machine
- fault tolerant
- state machines
- finite state machines
- scheduling problem
- scheduling algorithm
- parallel implementation
- batch processing machines
- multiprocessor systems
- parallel execution
- parallel architectures
- massively parallel
- parallel machines
- database
- model checking
- building blocks
- information systems
- genetic algorithm