Fault Tolerant High Performance Solver for Linear Equation Systems.

Marcello Artioli Daniela Loreti Anna Ciampolini

Published in: SRDS (2019)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
linear systems
high assurance
high availability
computer systems
learning systems
interconnection networks
formal methods
state machine