Verifying Multi-core Schedulability with Data Decision Diagrams
Lecture notes in computer science2016pp. 45–61
Citations Over Time
Related Papers
- → A Unified WCET analysis framework for multicore platforms(2014)50 cited
- → Load balancing strategy for multicore systems(2015)4 cited
- → 2017 IEEE 11th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)(2017)4 cited
- → Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms(2020)2 cited
- Behavioral Application-dependent superscolor core modeling(2013)