Search Sciweavers | Sciweavers

20

IFL
2004
Springer

131views Formal Methods» more IFL 2004»

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations

14 years 1 months ago

The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...

Alfredo Cristóbal-Salas, Andrey Chernykh, E...

claim paper

Read More »

27

click to vote

PVM
2005
Springer

126views Distributed And Parallel Com...» more PVM 2005»

A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids

14 years 1 months ago

Download icps.u-strasbg.fr

Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...

Stéphane Genaud, Choopan Rattanapoka

claim paper

Read More »

28

click to vote

CCECE
2006
IEEE

199views Electrical And Computer Engi...» more CCECE 2006»

A Formal CSP Framework for Message-Passing HPC Programming

14 years 1 months ago

Download www.uoguelph.ca

To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...

John D. Carter, William B. Gardner

claim paper

Read More »

8

click to vote

DATE
2008
IEEE

86views Hardware» more DATE 2008»

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads

14 years 2 months ago