Toward static timing analysis of parallel software

被引：0
|
作者：
Gustavsson, Andreas [1 ]
Gustafsson, Jan [1 ]
Lisper, Björn [1 ]
机构：
[1] School of Innovation Design and Engineering, Mälardalen University, Sweden
来源：
OpenAccess Series in Informatics | 2012年 / 23卷
关键词：
Abstract interpretations - BCET - Hardware platform - Multi-core processor - Parallel software - Parallelism - Static timing analysis - WCET;
D O I：
12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：38 / 47
相关论文
共 50 条
  • [1] Static timing analysis of embedded software
    Malik, S
    Martonosi, R
    Li, YTS
    [J]. DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 147 - 152
  • [2] Timing and power measurement in static software analysis
    Wolf, F
    Kruse, J
    Ernst, R
    [J]. MICROELECTRONICS JOURNAL, 2002, 33 (1-2) : 91 - 100
  • [3] Retargetable static timing analysis for embedded software
    Chen, KY
    Malik, S
    August, DI
    [J]. ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2001, : 39 - 44
  • [4] Evolutionary Testing for Timing Analysis of Parallel Embedded Software
    Aziz, Muhammad Waqar
    Shah, Syed Abdul Baqi
    [J]. INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2019, 16 (03) : 415 - 423
  • [5] Timing Analysis of Parallel Software Using Abstract Execution
    Gustavsson, Andreas
    Gustafsson, Jan
    Lisper, Bjoern
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 59 - 77
  • [6] Toward stochastic design for digital circuits - Statistical static timing analysis
    Tsukiyama, S
    [J]. ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 762 - 767
  • [7] Slack in static timing analysis
    Vygen, Jens
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (09) : 1876 - 1885
  • [8] Simulation acceleration for dynamic timing analysis with static timing analysis
    Ma, Lin
    Shen, Haihua
    Hu, Weiwu
    [J]. TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 1419 - +
  • [9] A software tool for the timing analysis of embedded software
    Luculli, G
    Sangiovanni-Vincentelli, A
    [J]. MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 754 - 757
  • [10] Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs
    Al-Johany, Norah Abdullah
    Sharaf, Sanaa Abdullah
    Eassa, Fathy Elbouraey
    Alnanih, Reem Abdulaziz
    [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 79 (02): : 3139 - 3173
12345