Speculative program parallelization with scalable and decentralized runtime verification

被引：5
|
作者：
Sukumaran-Rajam, Aravind [1 ]
Caamaño, Juan Manuel Martinez [1 ]
Wolff, Willy [1 ]
Jimborean, Alexandra [2 ]
Clauss, Philippe [1 ]
机构：
[1] INRIA, Team CAMUS, ICube Lab, CNRS, University of Strasbourg, France
[2] Department of Information Technology, Uppsala University, Sweden
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8734卷
关键词：
Verification;
D O I：
10.1007/978-3-319-11164-3_11
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：124 / 139
相关论文
共 50 条
  • [21] Fastpath Speculative Parallelization
    Spear, Michael F.
    Kelsey, Kirk
    Bai, Tongxin
    Dalessandro, Luke
    Scott, Michael L.
    Ding, Chen
    Wu, Peng
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2010, 5898 : 338 - +
  • [22] Speculative Parallelization on GPGPUs
    Feng, Min
    Gupta, Rajiv
    Bhuyan, Laximi N.
    ACM SIGPLAN NOTICES, 2012, 47 (08) : 293 - 294
  • [23] Decentralized runtime verification of message sequences in message-based systems
    Samadi, Mahboubeh
    Ghassemi, Fatemeh
    Khosravi, Ramtin
    ACTA INFORMATICA, 2023, 60 (02) : 145 - 178
  • [24] Decentralized runtime verification of message sequences in message-based systems
    Mahboubeh Samadi
    Fatemeh Ghassemi
    Ramtin Khosravi
    Acta Informatica, 2023, 60 : 145 - 178
  • [25] Master/Slave Speculative Parallelization
    Zilles, C
    Sohi, G
    35TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO-35), PROCEEDINGS, 2002, : 85 - 96
  • [26] Exploiting postdominance for speculative parallelization
    Agarwal, Mayank
    Malik, Kshitiz
    Woley, Kevin M.
    Stone, Sam S.
    Frank, Matthew I.
    THIRTEENTH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE, PROCEEDINGS, 2007, : 295 - +
  • [27] Moody Scheduling for Speculative Parallelization
    Estebanez, Alvaro
    Llanos, Diego R.
    Orden, David
    Palop, Belen
    EURO-PAR 2015: PARALLEL PROCESSING, 2015, 9233 : 135 - 146
  • [28] IMPROVING THE PERFORMANCE OF RUNTIME PARALLELIZATION
    LEUNG, ST
    ZAHORJAN, J
    SIGPLAN NOTICES, 1993, 28 (07): : 83 - 91
  • [29] Program demultiplexing: Data-flow based speculative parallelization of methods in sequential programs
    Balakrishnan, Saisanthosh
    Sohi, Gurindar S.
    33RD INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHTIECTURE, PROCEEDINGS, 2006, : 302 - 313
  • [30] Speculative Parallelization of Sequential Loops on Multicores
    Chen Tian
    Min Feng
    Vijay Nagarajan
    Rajiv Gupta
    International Journal of Parallel Programming, 2009, 37 : 508 - 535
12345