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 条
  • [1] Adding control-flow to a visual data-flow representation
    Dearman, D
    Cox, A
    Fisher, M
    13TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2005, : 297 - 306
  • [2] Data-Flow vs Control-Flow for Extreme Level Computing
    Evripidou, Paraskevas
    Kyriacou, Costas
    2013 DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM), 2014, : 9 - 13
  • [3] Ordered Scheduling in Control-Flow Distributed Transactional Memory
    Poudel, Pavan
    Rai, Shishir
    Guragain, Swapnil
    Sharma, Gokarna
    DISTRIBUTED COMPUTING AND INTELLIGENT TECHNOLOGY, ICDCIT 2023, 2023, 13776 : 67 - 83
  • [4] Ordered scheduling in control-flow distributed transactional memory
    Poudel, Pavan
    Rai, Shishir
    Guragain, Swapnil
    THEORETICAL COMPUTER SCIENCE, 2024, 993
  • [5] Control-flow semantics for assembly-level data-flow graphs
    Kahl, Wolfram
    Anand, Christopher K.
    Carette, Jacques
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 147 - 160
  • [6] A NONBLOCKING TRANSACTION DATA-FLOW GRAPH-BASED PROTOCOL FOR REPLICATED DATABASES
    REDDY, PK
    BHALLA, S
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (05) : 829 - 834
  • [7] Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey
    Dssouli, Rachida
    Khoumsi, Ahmed
    Elqortobi, Mounia
    Bentahar, Jamal
    ADVANCES IN COMPUTERS, VOL 107, 2017, 107 : 95 - 155
  • [8] SOFTWARE-VALIDATION .1. CONTROL-FLOW AND DATA-FLOW ANALYSIS
    CARRE, BA
    MICROPROCESSORS AND MICROSYSTEMS, 1980, 4 (10) : 395 - 406
  • [9] Bridging the Gap between Data-flow and Control-flow Analysis for Anomaly Detection
    Li, Peng
    Park, Hyundo
    Gao, Debin
    Fu, Jianming
    24TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2008, : 392 - +
  • [10] TUGEN: An automatic test suite generator integrating data-flow and control-flow methods
    Wang, JG
    Hao, RB
    Wu, JP
    ICC 98 - 1998 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS VOLS 1-3, 1998, : 286 - 290
12345