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 条
  • [31] A data-flow language for business process models
    Bruno, Giorgio
    CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, 2014, 16 : 128 - 137
  • [32] The Impact of the SIMD Width on Control-Flow and Memory Divergence
    Schaub, Thomas
    Moll, Simon
    Karrenberg, Ralf
    Hack, Sebastian
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2014, 11 (04)
  • [33] Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
    Feist, Josselin
    Mounier, Laurent
    Potet, Marie-Laure
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 76 - 81
  • [34] Incorporating speculative execution into scheduling of control-flow intensive behavioral descriptions
    Lakshminarayana, G
    Raghunathan, A
    Jha, NK
    1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 108 - 113
  • [35] Execution semantics to integrate control flow and data flow
    Ibrahim, B
    Randriamparany, H
    COMPUTERS AND THEIR APPLICATIONS, 2001, : 40 - 43
  • [36] A PROCESS-ORIENTED MODEL FOR EFFICIENT EXECUTION OF DATA-FLOW PROGRAMS
    BIC, L
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1990, 8 (01) : 42 - 51
  • [37] CONTROL OF PARALLELISM IN THE MANCHESTER DATA-FLOW MACHINE
    RUGGIERO, CA
    SARGEANT, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 1 - 15
  • [38] Load control mechanism for data-flow machines
    Takesue, Masaru
    Systems and Computers in Japan, 1988, 19 (10) : 55 - 69
  • [39] AN ON-CHIP SMART MEMORY FOR A DATA-FLOW CPU
    UVIEGHARA, GA
    NAKAGOME, Y
    JEONG, DK
    HODGES, DA
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (01) : 84 - 94
  • [40] PARALLELISM CONTROL SCHEME IN A DATA-FLOW ARCHITECTURE
    KUSAKABE, S
    HOSHIDE, T
    TANIGUCHI, R
    AMAMIYA, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 743 - 748
12345