Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
124 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diplomarbeit
- Bibliographic citation
-
Schriften zur Informatik und angewandten Mathematik ; Bericht Nr. 147
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
RWTH
- (when)
-
1990
- Creator
-
Bönnen, Joachim
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:07 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bönnen, Joachim
- RWTH
Time of origin
- 1990
Other Objects (12)
Entwicklung und Verifikation eines Scanner-Generators mit dem Gypsy verifikation environment
Operationale Semantik paralleler logischer Sprachen unter Einschluss zeitlicher Aspekte
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Numerische Simulation der Zweiphasenströmung Gas-Flüssigkeitstropfen im Sprühraum
Algorithmen zur diskreten Optimierung
Beitrag zur numerischen Simulation des Momenten-Rotationsverhaltens von geschweissten und geschraubten Stützen-Riegel-Verbindungen unter monotonen und zyklischen Belastungen
Grammatiken mit Attributschema und zweistufige Auswertung attributierter Grammatiken
Implementierung von Standardprozeduren für BCPL auf einer TR 440
Zu den theoretischen Grundlagen und der Implementierung eines Scannergenerators
Entwicklung und Verifikation eines Scanner-Generators mit dem Gypsy verifikation environment
Operationale Semantik paralleler logischer Sprachen unter Einschluss zeitlicher Aspekte
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Numerische Simulation der Zweiphasenströmung Gas-Flüssigkeitstropfen im Sprühraum
Algorithmen zur diskreten Optimierung
Beitrag zur numerischen Simulation des Momenten-Rotationsverhaltens von geschweissten und geschraubten Stützen-Riegel-Verbindungen unter monotonen und zyklischen Belastungen
Grammatiken mit Attributschema und zweistufige Auswertung attributierter Grammatiken
Implementierung von Standardprozeduren für BCPL auf einer TR 440
Zu den theoretischen Grundlagen und der Implementierung eines Scannergenerators
Entwicklung und Verifikation eines Scanner-Generators mit dem Gypsy verifikation environment
Operationale Semantik paralleler logischer Sprachen unter Einschluss zeitlicher Aspekte
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Numerische Simulation der Zweiphasenströmung Gas-Flüssigkeitstropfen im Sprühraum
Algorithmen zur diskreten Optimierung
Beitrag zur numerischen Simulation des Momenten-Rotationsverhaltens von geschweissten und geschraubten Stützen-Riegel-Verbindungen unter monotonen und zyklischen Belastungen
Grammatiken mit Attributschema und zweistufige Auswertung attributierter Grammatiken
Implementierung von Standardprozeduren für BCPL auf einer TR 440