共 50 条
- [1] Static probabilistic timing analysis for real-time systems using random replacement caches [J]. Real-Time Systems, 2015, 51 : 77 - 123
- [3] On using locking caches in embedded real-time systems [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 150 - 159
- [5] Data caches in multitasking hard real-time systems [J]. RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2003, : 154 - 165
- [8] Specification Theories for Probabilistic and Real-Time Systems [J]. FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
- [9] Deductive verification of probabilistic real-time systems [J]. 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2004, : 622 - 627
- [10] Probabilistic analysis of real-time dependable systems [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 306 - 313