Login / Signup

Power-Temperature Stability and Safety Analysis for Multiprocessor Systems.

Ganapati BhatSuat GumussoyÜmit Y. Ogras
Published in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
  • multiprocessor systems
  • safety analysis
  • control system
  • nuclear power plant
  • safety critical
  • access patterns
  • fault model
  • multithreading
  • symbolic model checking
  • distributed memory
  • data mining
  • multi agent systems