An event structure model for dataflow computing

被引：0
|
作者：
Virbitskaite, IB [1 ]
机构：
[1] Russian Acad Sci, Inst Informat Syst, Siberian Div, Novosibirsk 630090, Russia
来源：
COMPUTERS AND ARTIFICIAL INTELLIGENCE | 1999年 / 18卷 / 01期
关键词：
dataflow computing; token colouring; 'true' concurrency; event structures;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The intention of the paper is to provide 'true' concurrency semantics to dynamic dataflow computing. To this end, we study the behaviour of coloured dataflow networks comparatively, incorporating such concepts as firing sequences, data dependence graphs, partial orders and event structures. The coincidence of the above semantic notions up to an isomorphism is established. In particular, the classes of well-formed coloured dataflow networks and prime event structures are examined.
引用
收藏
页码：73 / 93
页数：21
相关论文
共 23 条
  • [1] Event Structure Spans for Nondeterministic Dataflow
    Saunders-Evans, Lucy
    Winskel, Glynn
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (03) : 109 - 129
  • [2] Programmable dataflow computing on PCA
    Imlig, N
    Shiozawa, T
    Konishi, R
    Oguri, K
    Nagami, K
    Ito, H
    Inamori, M
    Nakada, H
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (12): : 2409 - 2416
  • [3] The Case for Polymorphic Registers in Dataflow Computing
    Ciobanu, Catalin Bogdan
    Gaydadjiev, Georgi
    Pilato, Christian
    Sciuto, Donatella
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2018, 46 (06) : 1185 - 1219
  • [4] The Case for Polymorphic Registers in Dataflow Computing
    Cătălin Bogdan Ciobanu
    Georgi Gaydadjiev
    Christian Pilato
    Donatella Sciuto
    International Journal of Parallel Programming, 2018, 46 : 1185 - 1219
  • [5] On communication efficient dataflow computing in software defined networking enabled cloud
    Li, Yuepeng
    Zeng, Deze
    Zheng, Long
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2021, 33 (07):
  • [6] A dataflow runtime environment and static scheduler for edge, fog and in-situ computing
    Carvalho, Caio B. G.
    Ferreira, Victor C.
    Franca, Felipe M. G.
    Bentes, Cristiana B.
    Mencagli, Gabriele
    Alves, Tiago A. O.
    Sena, Alexandre C.
    Marzulo, Leandro A. J.
    INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2019, 10 (03) : 235 - 247
  • [7] LOW-POWER HETEROGENEOUS COMPUTING VIA ADAPTIVE EXECUTION OF DATAFLOW ACTORS
    Boutellier, Jani
    Bhattacharyya, Shuvra S.
    2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), 2017,
  • [8] A software cache autotuning strategy for dataflow computing with UPC plus plus DepSpawn
    Fraguela, Basilio B.
    Andrade, Diego
    COMPUTATIONAL AND MATHEMATICAL METHODS, 2021, 3 (06)
  • [9] ADD: Accelerator Design and Deploy - A tool for FPGA high-performance dataflow computing
    Penha, Jeronimo C.
    Silva, Lucas B.
    Silva, Jansen M.
    Coelho, Kristtopher K.
    Baranda, Hector P.
    Nacif, Jose Augusto M.
    Ferreira, Ricardo S.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 31 (18):
  • [10] High-performance dataflow computing in hybrid memory systems with UPC++ DepSpawn
    Basilio B. Fraguela
    Diego Andrade
    The Journal of Supercomputing, 2021, 77 : 7676 - 7689
123