May-happen-in-parallel analysis with returned futures

被引：0
|
作者：
Albert, Elvira [1 ]
Genaim, Samir [1 ]
Gordillo, Pablo [1 ]
机构：
[1] Complutense University of Madrid (UCM), Madrid, Spain
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2017年 / 10482 LNCS卷
关键词：
Number:; S2013/ICE-3006; TIN2015-69175-C4-2-R; Acronym:; MINECO; Sponsor: Ministerio de Economía y Competitividad;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
C++ (programming language)
引用
收藏
页码：42 / 58
相关论文
共 50 条
  • [1] May-Happen-in-Parallel Analysis with Returned Futures
    Albert, Elvira
    Genaim, Samir
    Gordillo, Pablo
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 42 - 58
  • [2] May-Happen-in-Parallel Analysis with Static Vector Clocks
    Zhou, Qing
    Li, Lian
    Wang, Lei
    Xue, Jingling
    Feng, Xiaobing
    PROCEEDINGS OF THE 2018 INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO'18), 2018, : 228 - 240
  • [3] May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects
    Flores-Montoya, Antonio E.
    Albert, Elvira
    Genaim, Samir
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, FMOODS/FORTE 2013, 2013, 7892 : 273 - 288
  • [4] May-Happen-in-Parallel Analysis for Actor-Based Concurrency
    Albert, Elvira
    Flores-Montoya, Antonio
    Genaim, Samir
    Martin-Martin, Enrique
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (02)
  • [5] May-Happen-in-Parallel Analysis of X10 Programs
    Agarwal, Shivali
    Barik, Rajkishore
    Sarkar, Vivek
    Shyamasundar, Rudrapatna K.
    PROCEEDINGS OF THE 2007 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING PPOPP'07, 2007, : 183 - 193
  • [6] Region-Based May-Happen-in-Parallel Analysis for C Programs
    Di, Peng
    Sui, Yulei
    Ye, Ding
    Xue, Jingling
    2015 44TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP), 2015, : 889 - 898
  • [7] Making It Practical and Effective: Fast and Precise May-Happen-in-Parallel Analysis
    Chen, Congming
    Huo, Wei
    Feng, Xiaobing
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT'12), 2012, : 469 - 470
  • [8] May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
    Albert, Elvira
    Genaim, Samir
    Gordillo, Pablo
    STATIC ANALYSIS (SAS 2015), 2015, 9291 : 72 - 89
  • [9] May-Happen-in-Parallel Analysis based on Segment Graphs for Safe ESL Models
    Chen, Weiwei
    Han, Xu
    Doemer, Rainer
    2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [10] May-Happen-in-Parallel Analysis of ESL Models using UPPAAL Model Checking
    Chang, Che-Wei
    Domer, Rainer
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1567 - 1570
12345