𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

✍ Scribed by J. Dingel

Book ID
105845180
Publisher
Springer
Year
2002
Tongue
English
Weight
527 KB
Volume
14
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Managing distributed shared arrays in a
Managing distributed shared arrays in a bulk-synchronous parallel programming environment
✍ Christoph W. Kessler πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 280 KB

## Abstract NestStep is a parallel programming language for the BSP (bulk‐hronous parallel) programming model. In this article we describe the concept of distributed shared arrays in NestStep and its implementation on top of MPI. In particular, we present a novel method for runtime scheduling of ir

A parallel branch-and-bound algorithm fo
A parallel branch-and-bound algorithm for integer linear programming and its implementation on a distributed multiprocessor
✍ Atsuko Ikegami; Katsuhiro Aoyagi; Hajime Iizuka πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 830 KB

## Abstract This paper describes a parallel branch‐and‐bound algorithm for general integer linear programming problems and its implementation on a distributed memory multiprocessor nCUBE2. With a branch‐and‐bound algorithm, the amount of computation on each search tree node varies, and in general,