A SCALABLE DEBUGGER FOR MASSIVELY-PARALLEL MESSAGE-PASSING PROGRAMS

被引:8
|
作者
SISTARE, S
ALLEN, D
BOWKER, R
JOURDENAIS, K
SIMONS, J
TITLE, R
机构
来源
关键词
D O I
10.1109/88.311572
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
[No abstract available]
引用
收藏
页码:50 / 56
页数:7
相关论文
共 50 条
  • [41] PARALLEL POLYGON RENDERING FOR MESSAGE-PASSING ARCHITECTURES
    CROCKETT, TW
    ORLOFF, T
    IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1994, 2 (02): : 17 - 28
  • [42] FastMPJ: a scalable and efficient Java message-passing library
    Roberto R. Expósito
    Sabela Ramos
    Guillermo L. Taboada
    Juan Touriño
    Ramón Doallo
    Cluster Computing, 2014, 17 : 1031 - 1050
  • [43] Static single assignment form for message-passing programs
    Chakrabarti, DR
    Banerjee, P
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2001, 29 (02) : 139 - 184
  • [44] Race analysis of traces of asynchronous message-passing programs
    Tai, KC
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 261 - 268
  • [45] A Framework for Proving Correctness of Adjoint Message-Passing Programs
    Naumann, Uwe
    Hascoeat, Laurent
    hill, Chris
    Hovland, Paul
    Riehme, Jan
    Utke, Jean
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2008, 5205 : 316 - +
  • [46] Analyzing message-passing programs through visual slicing
    Shanmuganathan, GSR
    Zhang, K
    Wong, E
    Qi, Y
    ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, 2005, : 341 - 346
  • [47] Detecting unaffected race conditions in message-passing programs
    Park, MY
    Jun, YK
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2004, 3241 : 268 - 276
  • [48] Static Single Assignment Form for Message-Passing Programs
    Dhruva R. Chakrabarti
    Prithviraj Banerjee
    International Journal of Parallel Programming, 2001, 29 : 139 - 184
  • [49] Deadlock prevention in incremental replay of message-passing programs
    Zambonelli, F
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 1999, 1593 : 593 - 602
  • [50] Verifying Message-Passing Programs with Dependent Behavioural Types
    Scalas, Alceste
    Yoshida, Nobuko
    Benussi, Elias
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 502 - 516