Message-passing model for highly concurrent computation

被引：0
|
作者：
Martin, A.J.
机构：
来源：
Conference on Hypercube Concurrent Computers and Applications | 1988年
关键词：
D O I：
10.1145/62297.62360
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] MULTICOMPUTERS - MESSAGE-PASSING CONCURRENT COMPUTERS
    ATHAS, WC
    SEITZ, CL
    COMPUTER, 1988, 21 (08) : 9 - 24
  • [2] COMPUTATION ON PARALLEL MESSAGE-PASSING COMPUTERS
    PETERSEN, J
    PHYSICA SCRIPTA, 1991, T38 : 33 - 33
  • [3] Structural testing for message-passing concurrent programs: an extended test model
    Souza, Paulo S. L.
    Souza, Simone R. S.
    Zaluska, Ed
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2014, 26 (01): : 21 - 50
  • [4] Relaxed barrier synchronization for the BSP model of computation on message-passing architectures
    Kim, JS
    Ha, S
    Jhon, CS
    INFORMATION PROCESSING LETTERS, 1998, 66 (05) : 247 - 253
  • [5] From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
    Vidal, German
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, 2024, 14485 : 103 - 123
  • [6] Verifying concurrent message-passing C programs with recursive calls
    Chaki, S
    Clarke, E
    Kidd, N
    Reps, T
    Touili, T
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 334 - 349
  • [7] Near Data Computation for Message-passing Chip-multiprocessors
    Li, Yanhua
    Zhang, Youhui
    Song, Kunpeng
    Wang, Haibin
    Zheng, Weiming
    PROCEEDINGS OF 2016 IEEE 18TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS; IEEE 14TH INTERNATIONAL CONFERENCE ON SMART CITY; IEEE 2ND INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2016, : 703 - 710
  • [8] The logic of message-passing
    Cockett, J. R. B.
    Pastro, Craig
    SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (08) : 498 - 533
  • [9] Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
    Vidal, German
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2022, 2022, 13273 : 188 - 207
  • [10] An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
    Vidal, German
    39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1132 - 1139
12345