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 条
  • [21] Symbolic model checking for discrete real-time systems
    Xiangyu Luo
    Lijun Wu
    Qingliang Chen
    Haibo Li
    Lixiao Zheng
    Zuxi Chen
    Science China Information Sciences, 2018, 61
  • [22] Real-Time GPU Computing: Cache or No Cache?
    Huangfu, Yijie
    Zhang, Wei
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC), 2015, : 182 - 189
  • [23] Symbolic model checking for discrete real-time systems
    Luo, Xiangyu
    Wu, Lijun
    Chen, Qingliang
    Li, Haibo
    Zheng, Lixiao
    Chen, Zuxi
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
  • [24] Symbolic model checking for discrete real-time systems
    Xiangyu LUO
    Lijun WU
    Qingliang CHEN
    Haibo LI
    Lixiao ZHENG
    Zuxi CHEN
    Science China(Information Sciences), 2018, 61 (05) : 203 - 225
  • [25] Schedulability analysis and symbolic verification method for heterogeneous multicore real-time systems
    Wang W.
    Liao Z.
    Guo D.
    Zhang H.
    Tian C.
    Tong J.
    Wang, Wei (wwang@tongji.edu.cn), 2017, Totem Publishers Ltd (13) : 785 - 795
  • [26] Scalable precision cache analysis for real-time software
    Staschulat, Jan
    Ernst, Rolf
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2007, 6 (04) : 25
  • [27] A small and effective data cache for real-time multitasking systems
    Segarra, Juan
    Rodrigues, Clemente
    Gran, Ruben
    Aparicio, Luis C.
    Vinals, Victor
    2012 IEEE 18TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2012, : 45 - 54
  • [28] An Algorithm for Deciding Minimal Cache Sizes in Real-Time Systems
    Marti Campoy, Antonio
    Rodriguez-Ballester, Francisco
    Tamura, Eugenio
    Ors, Rafael
    GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2011, : 1163 - 1169
  • [29] Efficient and Precise Cache Behavior Prediction for Real-Time Systems
    Christian Ferdinand
    Reinhard Wilhelm
    Real-Time Systems, 1999, 17 : 131 - 181
  • [30] Efficient Cache Designs for Probabilistically Analysable Real-Time Systems
    Kosmidis, Leonidas
    Abella, Jaume
    Quinones, Eduardo
    Cazorla, Francisco J.
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (12) : 2998 - 3011
12345