✦ LIBER ✦

The specification of data parallel algorithms

✍ Scribed by Michael D. Rice; Stephen B. Seidman; Pearl Y. Wang

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 208 KB
Volume: 8
Category: Article
ISSN: 0743-7315
DOI: 10.1016/0743-7315(90)90094-6

No coin nor oath required. For personal study only.

✦ Synopsis

Several algorithms that illustrate fundamental data parallel operations and the implementation of virtual topologies in terms of hypercuhe operations are given. A geometric induction principle is developed and used for proving the correctness of these algorithms. The algorithms show how an elementary SIMD language can he used to formally specify and verify data parallel algorithms. o 1990Academic PUSS, IX.

📜 SIMILAR VOLUMES

On the Scalability of Data-Parallel Deco

On the Scalability of Data-Parallel Decomposition Algorithms for Stochastic Programs

✍ R.J. Qi; S.A. Zenios 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 461 KB

Data Parallel Program Visualizations fro

Data Parallel Program Visualizations from Formal Specifications

✍ M.V. Lapolla; J.L. Sharnowski; B.H.C. Cheng; K. Anderson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 678 KB

Data parallel evaluation of univariate p

Data parallel evaluation of univariate polynomials by the Knuth-Eve algorithm

✍ R.E. Overill; S. Wilson 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 797 KB

The performance of the Knuth-Eve algorithm for data parallel evaluation of univariate polynomials of degree 8, 16 and 32 has been systematically compared with that of the classical Newton-Homer algorithm using three vector processors and three processor arrays. Significant performance improvements h

Behaviour specification of parallel acti

Behaviour specification of parallel active objects

✍ Tom Holvoet; Thilo Kielmann 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 484 KB

Parallel algorithms for querying data on

Parallel algorithms for querying data on two-dimensional electrophoresis gels

✍ D.J. Potter 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 621 KB

This paper describes some parallel processing algorithms for the analysis of twodimensional electrophoresis images. One of the largest processor arrays in the world. CLIP4, at University College London, was used in the research. The paper concentrates on algorithms using CLIP4 for querying the data

A parallel distributed data CPHF algorit

A parallel distributed data CPHF algorithm for analytic Hessians

✍ Yuri Alexeev; Michael W. Schmidt; Theresa L. Windus; Mark S. Gordon 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

## Abstract One of the most commonly used means to characterize potential energy surfaces of reactions and chemical systems is the Hessian calculation, whose analytic evaluation is computationally and memory demanding. A new scalable distributed data analytic Hessian algorithm is presented. Feature