A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
Metadata only
Date
2014-10-16Type
- Journal Article
Citations
Cited 15 times in
Web of Science
Cited null times in
Scopus
ETH Bibliography
yes
Altmetrics
Publication status
publishedJournal / series
Real-time SystemsVolume
Pages / Article No.
Publisher
SpringerSubject
Multicore systems; Worst-case response time analysis; Resource contention; Real-time simulation; Timed model checking; Real-time performance analysis; Predictable execution modelOrganisational unit
03429 - Thiele, Lothar / Thiele, Lothar
Notes
Published online 16 October 2014.More
Show all metadata
Citations
Cited 15 times in
Web of Science
Cited null times in
Scopus
ETH Bibliography
yes
Altmetrics