Cache-aware compositional analysis of real-time multicore virtualization platforms
From MaRDI portal
Publication:892995
Recommendations
- Timing analysis of concurrent programs running on shared cache multi-cores
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
- Scalable and precise refinement of cache timing analysis via path-sensitive verification
- Isolation scheduling on multicores: model and scheduling approaches
- Cache-conscious offline real-time task scheduling for multi-core processors
Cites work
Cited in
(7)- Joint task assignment and cache partitioning with cache locking for WCET minimization on MPSoC
- Instruction cache locking for multi-task real-time embedded systems
- Cache-aware compositional analysis of real-time multicore virtualization platforms
- Virtually timed ambients: a calculus of nested virtualization
- scientific article; zbMATH DE number 2017350 (Why is no real title available?)
- Cache related pre-emption delays in hierarchical scheduling
- Fast Two-Level Address Translation for Virtualized Systems
This page was built for publication: Cache-aware compositional analysis of real-time multicore virtualization platforms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892995)