✦ LIBER ✦

Generation of parallel programs from nonprocedural specifications

✍ Scribed by S. P. Gorlach

Publisher: Springer US
Year: 1990
Tongue: English
Weight: 836 KB
Volume: 26
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01068221

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating parallel programs from skelet

Generating parallel programs from skeleton based specifications

✍ P.J. Parsons; F.A. Rabhi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Formal set definition system as a tool o

Formal set definition system as a tool of nonprocedural parallel programming

✍ R. M. Nuriev 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 597 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

Refinement and Development of Programs f

Refinement and Development of Programs from Relational Specifications

✍ Wolfram Kahl 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 357 KB

These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.

Automatic model generation for performan

Automatic model generation for performance estimation of parallel programs

✍ Hermann Mierendorff; Helmut Schwamborn 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 165 KB

A hybrid method for performance modeling of parallel programs is considered where the runtime of large sequential segments is estimated statically and the parallel program structure is evaluated by simulation. The present paper describes a way to generate a model of a given program automatically fro

Automatic generation of parallel program

Automatic generation of parallel programs for mimd computer systems

✍ V. A. Kostenko 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 546 KB