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 条
  • [41] A speculative approach to parallelization in particle swarm optimization
    Gardner, Matthew
    McNabb, Andrew
    Seppi, Kevin
    SWARM INTELLIGENCE, 2012, 6 (02) : 77 - 116
  • [42] A speculative approach to parallelization in particle swarm optimization
    Matthew Gardner
    Andrew McNabb
    Kevin Seppi
    Swarm Intelligence, 2012, 6 : 77 - 116
  • [43] Principles of speculative run-time parallelization
    Patel, D
    Rauchwerger, L
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 1999, 1656 : 323 - 337
  • [44] Distributed Speculative Parallelization using Checkpoint Restart
    Ghoshal, Devarshi
    Ramkumar, Sreesudhan R.
    Chauhan, Arun
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS), 2011, 4 : 422 - 431
  • [45] Smart Markers in Smart Contracts: Enabling Multiway Branching and Merging in Blockchain for Decentralized Runtime Verification
    Geng, Tieming
    Njilla, Laurent
    Huang, Chin-Tser
    2021 IEEE CONFERENCE ON DEPENDABLE AND SECURE COMPUTING (DSC), 2021,
  • [46] Transparent runtime parallelization of the R scripting language
    Li, Jiangtian
    Ma, Xiaosong
    Yoginath, Srikanth
    Kora, Guruprasad
    Samatova, Nagiza F.
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2011, 71 (02) : 157 - 168
  • [47] Enhanced Speculative Parallelization Via Incremental Recovery
    Tian, Chen
    Lin, Changhui
    Feng, Min
    Gupta, Rajiv
    ACM SIGPLAN NOTICES, 2011, 46 (08) : 189 - 199
  • [48] Runtime Verification for HyperLTL
    Bonakdarpour, Borzoo
    Finkbeiner, Bernd
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 41 - 45
  • [49] Sambamba: A Runtime System for Online Adaptive Parallelization
    Streit, Kevin
    Hammacher, Clemens
    Zeller, Andreas
    Hack, Sebastian
    COMPILER CONSTRUCTION, CC 2012, 2012, 7210 : 240 - 243
  • [50] Runtime parallelization of the finite element code PERMAS
    Ast, M
    Jerez, T
    Labarta, J
    Manz, H
    Perez, A
    Schulz, U
    Sole, J
    INTERNATIONAL JOURNAL OF SUPERCOMPUTER APPLICATIONS AND HIGH PERFORMANCE COMPUTING, 1997, 11 (04): : 328 - 335
12345