Login / Signup

A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.

Kai LampkaGeorgia GiannopoulouRodolfo PellizzoniZheng WuNikolay Stoimenov
Published in: Real Time Syst. (2014)
Keyphrases
  • computing power
  • distributed systems
  • statistical analysis
  • data analysis
  • formal methods
  • real time
  • neural network
  • artificial intelligence
  • memory space
  • high end