Symbolic cache analysis for real-time systems

被引：0
|
作者：
Blieberger, Johann [1 ]
Fahringer, Thomas [2 ]
Scholz, Bernhard [2 ]
机构：
[1] Dept. of Computer-Aided Automation, Technical University of Vienna, Treitlstr. 1, A-1040 Vienna, Austria
[2] Inst. Software Technol. Parallel S., University of Vienna, Liechtensteinstr. 22, A-1090 Vienna, Austria
来源：
Real-Time Systems | 2000年 / 18卷 / 02期
关键词：
D O I：
10.1023/a:1008193114940
中图分类号：
学科分类号：
摘要：
Real time systems
引用
下载
收藏
页码：181 / 215
相关论文
共 50 条
  • [1] Symbolic cache analysis for real-time systems
    Blieberger, J
    Fahringer, T
    Scholz, B
    REAL-TIME SYSTEMS, 2000, 18 (2-3) : 181 - 215
  • [2] Symbolic Cache Analysis for Real-Time Systems
    Johann Blieberger
    Thomas Fahringer
    Bernhard Scholz
    Real-Time Systems, 2000, 18 : 181 - 215
  • [3] Symbolic schedulability analysis of real-time systems
    Kwak, HH
    Lee, I
    Philippou, A
    Choi, JY
    Sokolsky, O
    19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 409 - 418
  • [4] A Stack Cache for Real-Time Systems
    Schoeberl, Martin
    Nielsen, Carsten
    2016 IEEE 19TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2016), 2016, : 150 - 157
  • [5] The use of cache memory in real-time systems
    Milligan, MKJ
    Cragon, HG
    CONTROL ENGINEERING PRACTICE, 1996, 4 (10) : 1435 - 1442
  • [6] Minimizing Cache Usage for Real-time Systems
    Sun, Binqi
    Kloda, Tomasz
    Garcia, Sergio Arribas
    Gracioli, Giovani
    Caccamo, Marco
    PROCEEDINGS OF 31ST INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2023, 2023, : 200 - 211
  • [7] Integrated Instruction Cache Analysis and Locking in Multitasking Real-time Systems
    Ding, Huping
    Liang, Yun
    Mitra, Tulika
    2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
  • [8] SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS
    HENZINGER, TA
    NICOLLIN, X
    SIFAKIS, J
    YOVINE, S
    INFORMATION AND COMPUTATION, 1994, 111 (02) : 193 - 244
  • [9] Symbolic simulation of real-time concurrent systems
    Wang, F
    Huang, GD
    Yu, F
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
  • [10] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
12345