PARALLEL AND DISTRIBUTED DERIVATIONS IN THE SINGLE-PUSHOUT APPROACH

被引:16
|
作者
EHRIG, H
LOWE, M
机构
[1] FR 6-1, Technische Universität Berlin, Franklinstrasse 28/29
关键词
D O I
10.1016/0304-3975(93)90066-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Parallel and distributed derivations are introduced and studied in the single-pushout approach, which models rewriting by pushout constructions in appropriate categories of partial morphisms. We present a categorical framework for this approach in an axiomatic way. Models of this categorical framework are among others: graphs, hypergraphs, relational structures, and algebraic specifications with suitable partial morphisms. Several new results concerning parallelism and distributed parallelism are presented which are even new in the example categories.
引用
收藏
页码:123 / 143
页数:21
相关论文
共 50 条
  • [42] Soft computing approach to performance analysis of parallel and distributed programs
    Truong, HL
    Fahringer, T
    EURO-PAR 2005 PARALLEL PROCESSING, PROCEEDINGS, 2005, 3648 : 50 - 60
  • [43] A fresh approach to evaluate performance in distributed parallel genetic algorithms
    Harada, Tomohiro
    Alba, Enrique
    Luque, Gabriel
    APPLIED SOFT COMPUTING, 2022, 119
  • [44] A Distributed-Memory Parallel Approach for Volume Rendering with Shadows
    Mathai, Manish
    Larsen, Matthew
    Childs, Hank
    2023 IEEE 13TH SYMPOSIUM ON LARGE DATA ANALYSIS AND VISUALIZATION, LDAV, 2023, : 22 - 31
  • [45] COGNITIVE-DEVELOPMENT - A PARALLEL DISTRIBUTED-PROCESSING APPROACH
    MCCLELLAND, JL
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1992, 27 (3-4) : 2 - 2
  • [46] DESIGN FOR MUTLIPLE INDUSTRIES: A PDP (PARALLEL DISTRIBUTED PROCESSING) APPROACH
    Fukuda, Shuichi
    PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2013, VOL 12, 2014,
  • [47] Pattern mining for large distributed dataset: A parallel approach (PMLDD)
    Pal, Amrit
    Kumar, Manish
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2018, 12 (11): : 5287 - 5303
  • [48] A formal specification-based approach to distributed parallel programming
    Chiang, CC
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 197 - 205
  • [49] A layered approach to parallel computing for spatially distributed hydrological modeling
    Liu, Junzhi
    Zhu, A-Xing
    Liu, Yongbo
    Zhu, Tongxin
    Qin, Cheng-Zhi
    ENVIRONMENTAL MODELLING & SOFTWARE, 2014, 51 : 221 - 227
  • [50] A New Parallel and Distributed Approach for Large Scale Images Retrieval
    Belarbi, Mohammed Amin
    Mahmoudi, Sidi Ahmed
    Mahmoudi, Said
    Belalem, Ghalem
    CLOUD COMPUTING AND BIG DATA: TECHNOLOGIES, APPLICATIONS AND SECURITY, 2019, 49 : 185 - 201