Massiv parallele Programmierung mit dem Parallaxis-Modell

Häftad, Tyska, 1990

AvThomas Bräunl

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1990-07-24
Mått170 x 242 x 11 mm
Vikt326 g
FormatHäftad
SpråkTyska
SerieInformatik-Fachberichte
Antal sidor168
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540528531

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Hårdvara inom Data och IT
Teknik: allmänt inom Naturvetenskap och teknik
Referensverk och tvärvetenskap inom Samhälle och politik

1. Einleitung.- 2. Anforderungen und Ziele.- 3. Parallele Programmierung.- 3.1 Parallele Rechnerarchitekturen.- 3.2 Parallele Operationen.- 3.3 Parallelverarbeitung in bestehenden Programmiersprachen.- 4. Sprachkonzepte.- 4.1 Datenelemente und Deklarationen.- 4.2 Spezifikation der parallelen Verbindungsstruktur.- 4.3 Paralleler Datenaustausch.- 4.4 Parallele Verarbeitung.- 4.5 Prozeduren und Funktionen.- 5. Spezifikation der Rechnerarchitektur.- 5.1 Das parallele Maschinenmodell.- 5.2 Spezifikationskonstrukte der Netzwerkstruktur.- 5.3 Definitions- und Wertebereiche von Transfer-Funktionen.- 5.4 Strukturierte Transfer-Funktionen.- 5.5 Komplexe Verbindungsstrukturen.- 5.6 Semantische Prüfung von Topologien.- 5.7 Erweiterungen der Spezifikation.- 6. Konzepte der Parallelverarbeitung.- 6.1 Paralleler Anweisungsblock.- 6.2 Kollektiver Datenaustausch.- 6.3 Mehrstufiger Datenaustausch.- 6.4 Datenreduktion.- 6.5 Parallelverarbeitung am Beispiel einer Ring-Topologie.- 6.6 Propagate Splitting.- 7. Kommunikationskonzepte.- 7.1 Datenaustausch zwischen Prozessoren im Netzwerk.- 7.2 Datenübermittlung von und zur zentralen Steuerung.- 7.3 Ein-/Ausgabe-Operationen des Steuerrechners.- 8. Parallele Semantik.- 8.1 Das Modell der Parallelverarbeitung.- 8.2 Darstellung einer formalen parallelen Semantik.- 8.3 Beweis-Regeln.- 8.4 Bestimmung von Vorbedingungen.- 9. Datenstrukturen und Datentypen.- 9.1 Deklaration von Variablen.- 9.2 Konstanten.- 9.3 Erweitertes Datentypkonzept.- 9.4 Vordefinierte Einheiten.- 9.5 Definition von neuen Einheiten-Systemen.- 9.6 Regeln beim Rechnen mit Einheiten.- 9.7 Verwandte Arbeiten.- 10. Implementierung des Parallaxis-Systems.- 10.1 Definition der Schnittstelle.- 10.2 Definition der parallelen Zwischensprache.- 10.3 Der Compiler.- 10.4 Der Simulator.-10.5 Graphische Darstellung der Netzwerk-Topologie.- 10.6 Debugging-Hilfen.- 11. Systolische Programmierung mit Parallaxis.- 11.1 Parallele Matrix-Multiplikation.- 11.2 Beziehung zwischen systolischen Arrays und dem Parallaxis-Modell.- 12. Anwendungen des parallelen Modells.- 12.1 Parallele Bilderzeugung.- 12.2 Parallele Bildverarbeitung.- 12.3 Implementierung von Neuronalen Netzen.- 12.4 Realisierung schneller kinematischer Systeme in der Robotik.- 13. Einbindung in parallele Rechnerarchitekturen ..- 13.1 Anpassung an eine Parallel-Architektur.- 13.2 Geeignete Rechnerarchitekturen.- 13.3 Theoretische Leistungswerte.- 14. Analyse der Konzepte im Vergleich mit verwandten Arbeiten.- 14.1 Connection Machine Lisp.- 14.2 *Lisp.- 14.3 Concurrent Prolog, Parlog und Guarded Horn Clauses.- 14.4 Modula-P, Concurrent Pascal und Ada.- 14.5 Occam.- 14.6 Vector C und PASM Parallel C.- 14.7 Refined C und Refined Fortran.- 14.8 C*.- 15. Ausblick.- A. Syntax der Programmiersprache Parallaxis.- B. Syntax der Zwischensprache PARZ.- C. Programme.- C. 1 Bestimmen des größten Elements einer Matrix.- C.1.1 Lösungsstrategie.- C.1.2 Parallaxis Programm.- C.1.3 PARZ Programm.- C.1.4 Ausführung.- C.2 Parallele Bildrotation durch rekursive Verschiebungen.- C.3 Parallele Primzahlenerzeugung.- C.4 Linear-Paralleles Sortieren.- D. Literatur.

Mer från samma författare

Robot Adventures in Python and C

Thomas Bräunl, Thomas Braunl

Häftad

829 kr

Mobile Robot Programming

Thomas Bräunl, Thomas Braunl

Inbunden

1 029 kr

Del 9431

Image and Video Technology

Thomas Bräunl, Brendan McCane, Mariano Rivera, Xinguo Yu, Thomas Braunl

Häftad

709 kr

Autonome Mobile Systeme 1994

Paul Levi, Thomas Bräunl

Häftad

729 kr

Autonome Mobile Systeme 1997

Paul Levi, Thomas Bräunl, Norbert Oswald

Häftad

709 kr

Embedded Robotics

Thomas Bräunl, Thomas Braunl

Häftad

759 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl, H. J. Schneider

Häftad

729 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad

729 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad

729 kr

Computer Architecture

W. Händler

Häftad

1 409 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad

729 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad

729 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel, H. -H Nagel, H. -H. Nagel

Häftad

729 kr

Modelle für Rechensysteme

P.P. Spies, P. P. Spies

Häftad

1 409 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad

1 409 kr

Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren

R. Gnatz, K. Samelson, Rupert Gnatz

Häftad

709 kr

Du kanske också är intresserad av

On the Shape of Mathematical Arguments

Antonetta J.M. van Gasteren, Antonetta J. M. Van Gasteren

Häftad

689 kr

Termination Proofs for Logic Programs

Lutz Plümer

Häftad

709 kr

Del 1432

Recursion Theory Week

Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks

Häftad

479 kr

Alcohol Problem Intervention in the Workplace

Paul M. Roman, Paul M. Roman

Inbunden

1 289 kr

Museum

Michael S. Sharpiro, Michael S. Shapiro

Inbunden

1 109 kr

Matrix Perturbation Theory

G. W. Stewart, Ji-guang Sun, Austin) Stewart, G. W. (The University of Texas, Ji-guang (Computer Center of the Chinese Academy of Sciences) Sun, Ji-Guang Sun, G.W. Stewart, Ji-guang Sun

Inbunden

1 849 kr