共 50 条
- [21] Timing analysis for preemptive multi-tasking real-time systems with caches [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1034 - 1039
- [23] Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems [J]. 2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
- [24] Specification and analysis of real-time systems using Real-Time Maude [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
- [25] Leakage Energy Reduction for Hard Real-Time Caches [J]. 2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
- [26] On predictability and optimization of multiprogrammed caches for real-time applications [J]. 1977 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE, 1997, : 17 - 25
- [27] Dynamic Reconfiguration of Two-Level Caches in Soft Real-Time Embedded Systems [J]. 2009 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2009, : 145 - 150
- [29] Towards Verifying Safety Properties of Real-Time Probabilistic Systems [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 1 - 15
- [30] Formal probabilistic refinement verification of embedded real-time systems [J]. WSTFES 2003: IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED SYSTEMS, PROCEEDINGS, 2003, : 79 - 82