Login / Signup

Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel.

Libin XuYuebin BaiKun ChengLingyu GeDanning NieLijun ZhangWenjia Liu
Published in: HPCC/SmartCity/DSS (2016)
Keyphrases
  • fault tolerant
  • fault tolerance
  • distributed systems
  • state machine
  • high availability
  • load balancing
  • interconnection networks
  • mobile agent system
  • database