Titel: Garantiert richtige Ergebnisse auf Rechenanlagen
Sprache: Deutsch
Autor/Autorin: Rump, Siegfried M.
Erscheinungsdatum: 1988
Quellenangabe: Informationsverarbeitung in Lehre und Forschung : wissenschaftliches Forum 1988, München
Zusammenfassung (deutsch): Jeder einzelnde der [im Beitrag] zusammengestellten Aspekte (...) bringt einen deutlichen Sicherheitsgewinn, die fünf Punkte zusammengenommen heben die so erstellte Software auf einen neuen Qualitätsstandard. Die Programmierwerkzeuge CALCULUS und ABACUS erlauben die prägnante Formulierung von Algorithmen. Diese Algorithmen können als ausführbare Spezifikation für Produktionsprogramme dienen und leisten bei der täglichen Entwicklungsarbeit unschätzbare Dienste. Darüber hinaus wird durch die mächtigen Operationen eine nachfolgende Vektorisierung oder Parallelisierung der Algorithmen wesentlich unterstützt: Wird ein Algorithmus zunächst in einer herkömmlichen Programmiersprache implementiert und nachher durch einen automatisch vektorisierenden oder parallelisierenden Compiler übersetzt, muß der Compiler die inhärente mathematische Struktur aus den Programmstrukturen wieder herausfiltern, was häufig sehr schwierig oder kaum möglich ist. Duch die mathematische Schreibweise und die mächtigen Operatoren entfällt das Auseinanderdividieren und Zusammenfügen der Strukturen, eine Vektorisierung oder Parallelisierung kann den Anweisungen unmittelbar entnommen werden. (...)
URI: http://tubdok.tub.tuhh.de/handle/11420/360
URN: urn:nbn:de:gbv:830-tubdok-4319
DOI: 10.15480/882.358
Institut: Zuverlässiges Rechnen E-19
Reliable Computing E-19
Dokumenttyp: InProceedings (Aufsatz / Paper einer Konferenz etc.)
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
S0001119.pdf446,76 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.