Transaction execution models in partially replicated transactional memory: The case for data-flow and control-flow

被引:0
|
作者
Palmieri, Roberto [1 ]
Peluso, Sebastiano [2 ]
Ravindran, Binoy [3 ]
机构
[1] Virginia Tech, 453 Durham Hall, Blacksburg,VA,24061, United States
[2] Virginia Tech, 452 Durham Hall, Blacksburg,VA,24061, United States
[3] Virginia Tech, 459 Durham Hall, Blacksburg,VA,24061, United States
来源
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015年 / 8913卷
关键词
Number:; CNS-1116190; Acronym:; NSF; Sponsor: National Science Foundation; CNS-1217385;
D O I
10.1007/978-3-319-14720-8_16
中图分类号
学科分类号
摘要
引用
收藏
页码:341 / 366
相关论文
共 50 条
  • [41] Toward a Formal Semantics for Control-Flow Process Models
    Bi, Henry H.
    Nolt, John
    JOURNAL OF DATABASE MANAGEMENT, 2012, 23 (02) : 72 - 97
  • [42] Snake: Control Flow Distributed Software Transactional Memory
    Saad, Mohamed M.
    Ravindran, Binoy
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, 2011, 6976 : 238 - 252
  • [43] TOWARDS A COMPLETE HIERARCHY OF COMPOSITIONAL DATA-FLOW MODELS
    JONSSON, B
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 204 - 225
  • [45] CCDA: Correcting Control-flow and Data Errors Automatically
    Maghsoudloo, Mohammad
    Khoshavi, Navid
    Zarandi, Hamid R.
    15TH CSI INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND DIGITAL SYSTEMS (CADS 2010), 2010, : 99 - 104
  • [46] Data Flow Execution Models - a Third Opinion
    Sarkar, Vivek
    2019 IEEE 26TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS (HIPC), 2019, : 1 - 1
  • [47] An execution model for the seamless integration of control flow and data flow
    Ibrahim, B
    Randriamparany, F
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 402 - 404
  • [48] Analyzing Data-Flow Implementations for Distributed Execution of Inter-Organizational Processes
    Koepke, Julius
    Franceschetti, Marco
    Eder, Johann
    19TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2017), 2017, : 502 - 510
  • [49] An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution
    Troost, Laura
    Winkelmann, Hendrik
    Kuchen, Herbert
    International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings, 2024, : 39 - 50
  • [50] GraphCL: A Framework for Execution of Data-Flow Graphs on Multi-Device Platforms
    Moren, Konrad
    Goehringer, Diana
    30TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP 2022), 2022, : 116 - 121