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 条
  • [31] Speculative Parallelization of Partial Reduction Variables
    Han, Liang
    Liu, Wei
    Tuck, James M.
    CGO 2010: THE EIGHTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2010, : 141 - +
  • [32] Speculative parallelization of partially parallel loops
    Dang, FH
    Rauchwerger, L
    LANGUAGES, COMPILERS, AND RUN-TIME SYSTEMS FOR SCALABLE COMPUTERS, 2000, 1915 : 285 - 299
  • [33] Speculative parallelization of multipath radiosity algorithm
    Trias, A.
    Puiggali, J.
    Castro, F.
    Jove, T.
    Sbert, M.
    Marzo, J. L.
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2009, 41 (04): : 89 - 95
  • [34] Speculative parallelization eliminating the overhead of failure
    Lujan, Mikel
    Gustafson, Phyllis
    Paleczny, Michael
    Vick, Christopher A.
    HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2007, 4782 : 460 - +
  • [35] Prospect: A Compiler Framework for Speculative Parallelization
    Suesskraut, Martin
    Knauth, Thomas
    Weigert, Stefan
    Schiffel, Ute
    Meinhold, Martin
    Fetzer, Christof
    CGO 2010: THE EIGHTH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2010, : 131 - +
  • [36] Speculative Parallelization of Sequential Loops on Multicores
    Tian, Chen
    Feng, Min
    Nagarajan, Vijay
    Gupta, Rajiv
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2009, 37 (05) : 508 - 535
  • [37] A compiler cost model for speculative parallelization
    Dou, Jialin
    Cintra, Marcelo
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2007, 4 (02) : 12
  • [38] Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification
    Jakse, Raphael
    Falcone, Ylies
    Mehaut, Jean-Francois
    Pouget, Kevin
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 182 - 193
  • [39] Removing architectural bottlenecks to the scalability of speculative parallelization
    Prvulovic, M
    Garzarán, MJ
    Rauchwerger, L
    Torrellas, J
    28TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, PROCEEDINGS, 2001, : 204 - 215
  • [40] Perspective: A Sensible Approach to Speculative Automatic Parallelization
    Apostolakis, Sotiris
    Xu, Ziyang
    Chan, Greg
    Campanoni, Simone
    August, David I.
    TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV), 2020, : 351 - 367
12345