Sign in

Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems.

Zhuanhao WuMarat BekmyrzaNachiket KapreHiren Patel
Published in: DATE (2023)
Keyphrases
  • safety critical
  • safety analysis
  • formal methods
  • embedded systems
  • support systems
  • fault tolerant
  • agent architecture
  • nuclear power plant
  • adaptive systems
  • management system
  • knowledge acquisition