Login / Signup
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.
Kai Lampka
Georgia Giannopoulou
Rodolfo Pellizzoni
Zheng Wu
Nikolay 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