Login / Signup
Error Correlation Prediction in Lockstep Processors for Safety-Critical Systems.
Emre Ozer
Balaji Venu
Xabier Iturbe
Shidhartha Das
Spyros Lyberis
John Biggs
Peter Harrod
John Penton
Published in:
MICRO (2018)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
agent architecture
embedded systems
support systems
knowledge based systems
learning systems
regulatory requirements
information systems
intelligent systems
distributed systems
data warehouse
cooperative
reinforcement learning