scholarly journals Verifying message-passing programs with dependent behavioural types

2019 ◽  
Author(s):  
Alceste Scalas ◽  
Nobuko Yoshida ◽  
Elias Benussi
Keyword(s):  
Message Passing ◽  
Behavioural Types ◽  
Message Passing Programs

scholarly journals MEMPHA: Model of Exascale Message-Passing Programs on Heterogeneous Architectures

2020 ◽  
Vol 31 (11) ◽  
pp. 2570-2581
Author(s):  
Sina Zangbari Koohi ◽  
Nor Asilah Wati Abdul Hamid ◽  
Mohamed Othman ◽  
Gafurjan Ibragimov
Keyword(s):  
Message Passing ◽  
Heterogeneous Architectures ◽  
Message Passing Programs

A scalable debugger for massively parallel message-passing programs

1994 ◽  
Vol 2 (2) ◽  
pp. 50-56 ◽  
Author(s):  
S. Sistare ◽  
D. Allen ◽  
R. Bowker ◽  
K. Jourdenais ◽  
J. Simons ◽  
...  
Keyword(s):  
Message Passing ◽  
Massively Parallel ◽  
Message Passing Programs

Deadlock-Free Incremental Replay of Message-Passing Programs

2001 ◽  
Vol 61 (5) ◽  
pp. 667-678 ◽  
Author(s):  
Franco Zambonelli ◽  
Robert H.B. Netzer
Keyword(s):  
Message Passing ◽  
Message Passing Programs
Sign in / Sign up

Export Citation Format

Share Document