Power-Temperature Stability and Safety Analysis for Multiprocessor Systems.

Ganapati Bhat Suat Gumussoy Ümit Y. Ogras

Published in: CoRR (2018)

Keyphrases

multiprocessor systems
safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
access patterns
distributed memory
multithreading
artificial intelligence
frequent patterns
computational power