A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
From MaRDI portal
(Redirected from Publication:488240)
Recommendations
- An extensible framework for multicore response time analysis
- A framework for memory contention analysis in multi-core platforms
- Timing analysis of concurrent programs running on shared cache multi-cores
- Static analysis of multi-core TDMA resource arbitration delays
- Memory-centric scheduling for multicore hard real-time systems
Cites work
- scientific article; zbMATH DE number 177824 (Why is no real title available?)
- Formal Methods for the Design of Real-Time Systems
- Lectures on Concurrency and Petri Nets
- Memory-centric scheduling for multicore hard real-time systems
- Network calculus. A theory of deterministic queueing systems for the Internet
Cited in
(10)- Formal Analysis of Memory Contention in a Multiprocessor System
- Memory-centric scheduling for multicore hard real-time systems
- A framework for memory contention analysis in multi-core platforms
- Cache-aware compositional analysis of real-time multicore virtualization platforms
- Real-time application mapping for many-cores using a limited migrative model
- An efficient CCM KRISHNA for high contention environment and its performance comparison with WDL
- Schedulability analysis for multi-core systems accounting for resource stress and sensitivity
- Worst-case execution time analysis for many-core architectures with NoC
- Static analysis of multi-core TDMA resource arbitration delays
- An extensible framework for multicore response time analysis
This page was built for publication: A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488240)
