C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Exploiting Intel TSX for fault-tolerant execution in safety-critical systems.
Florian Haas
Sebastian Weis
Stefan Metzlaff
Theo Ungerer
Published in:
DFT (2014)
Keyphrases
</>
safety critical
fault tolerant
fault tolerance
distributed systems
safety analysis
nuclear power plant
formal methods
embedded systems
regulatory requirements
load balancing
low cost
agent architecture
support systems
knowledge based systems
adaptive systems
machine learning
high assurance
metadata