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. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Real-Time Systems, 50(5-6):736-773, 2014. [doi]

Authors

Kai Lampka

This author has not been identified. Look up 'Kai Lampka' in Google

Georgia Giannopoulou

This author has not been identified. Look up 'Georgia Giannopoulou' in Google

Rodolfo Pellizzoni

This author has not been identified. Look up 'Rodolfo Pellizzoni' in Google

Zheng Wu

This author has not been identified. Look up 'Zheng Wu' in Google

Nikolay Stoimenov

This author has not been identified. Look up 'Nikolay Stoimenov' in Google