𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Verification of Parallel Message-Passing Processes

✍ Scribed by Stein Krogdahl; Olav Lysne

Book ID
105845171
Publisher
Springer
Year
2002
Tongue
English
Weight
205 KB
Volume
13
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Parallel implementation of DNAml program
Parallel implementation of DNAml program on message-passing architectures
✍ C Ceron; J Dopazo; E.L Zapata; J.M Carazo; O Trelles πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 361 KB

We present a new computing approach for the parallelization on message-passing computer architectures of the DNAml algorithm, one of the most powerful tools available for constructing phylogenetic trees from DNA sequences. An analysis of the data dependencies of the method gave little chances to dev

Message passing and shared address space
Message passing and shared address space parallelism on an SMP cluster
✍ Hongzhang Shan; Jaswinder P. Singh; Leonid Oliker; Rupak Biswas πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 307 KB

Currently, message passing (MP) and shared address space (SAS) are the two leading parallel programming paradigms. MP has been standardized with MPI, and is the more common and mature approach; however, code development can be extremely difficult, especially for irregularly structured computations.

Trace reduction for performance improvem
Trace reduction for performance improvement assessment of message passing parallel programs
✍ Fumihiko Ino; Yuki Kanbe; Masao Okita; Kenichi Hagihara πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 794 KB

## Abstract This paper proposes a trace reduction method for assessing the improvability of the performance of message passing parallel programs. This assessment is based on a what‐if prediction approach that forecasts future program performance, for example, the execution time if the target progra