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 条
  • [21] GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments
    Morbitzer, Mathias
    Kopf, Benedikt
    Zieris, Philipp
    2023 IEEE 16TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, CLOUD, 2023, : 547 - 553
  • [22] DATA-FLOW ANALYZER ALLOCATES MEMORY EFFICIENTLY
    BOETTCHER, CB
    MELLEMA, DJ
    ELECTRONIC DESIGN, 1980, 28 (24) : 275 - 281
  • [23] Out-Of-Order Execution of Synchronous Data-Flow Networks
    Baudisch, Daniel
    Brandt, Jens
    Schneider, Klaus
    2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 168 - 175
  • [24] ANALYSIS OF PARALLELISM IN AUTONOMOUS EXECUTION OF DATA-FLOW PROGRAM NETS
    GE, QW
    WATANABE, T
    ONAGA, K
    IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (10): : 3008 - 3017
  • [25] EXECUTION TERMINATION AND COMPUTATION DETERMINACY OF DATA-FLOW PROGRAM NETS
    GE, QW
    WATANABE, T
    ONAGA, K
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1991, 328 (01): : 123 - 141
  • [26] DATA-FLOW BASED EXECUTION MECHANISMS OF PARALLEL AND CONCURRENT PROLOG
    ITO, N
    SHIMIZU, H
    KISHI, M
    KUNO, E
    ROKUSAWA, K
    NEW GENERATION COMPUTING, 1985, 3 (01) : 15 - 41
  • [27] A DATA-FLOW PROLOG EXECUTION MODEL AND ITS ARCHITECTURAL SUPPORT
    ZHANG, K
    THOMAS, R
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 33 (02): : 119 - 130
  • [28] Retiming synchronous data-flow graphs to reduce execution time
    O'Neil, TW
    Sha, EHM
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2001, 49 (10) : 2397 - 2407
  • [29] A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
    Schuh, Matheus
    Maiza, Claire
    Goossens, Joel
    Raymond, Pascal
    de Dinechin, Benoit Dupont
    2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2020, : 283 - 295
  • [30] Access Control and Information Flow in Transactional Memory
    Cohen, Ariel
    van der Meyden, Ron
    Zuck, Lenore D.
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 316 - +
12345