Wissenschaftliche LiteraturImplementierung

Katia Gladitz

Shared-Memory-Implementierung der Gamma-Operation auf Multimengen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Der angenehme, von deklarativen Sprachen her bekannte Programmierstil wird beim Gamma-Modell, das das einer chemischen Reaktion zugrundeliegende nichtdeterministische (Berechnungs)-Modell auf Multimengen (Bags) modelliert, mit der Möglichkeit von (massiv) parallelen Implementierungen verknüpft. Der entscheidende…

Ruggero Costantini

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

Abd E. Elnakhal

Lokale Rechnernetze für die industrielle Automation

Forschungsergebnisse zur Informatik

Das Buch befasst sich mit verkürzten Kommunikationsarchitekturen mit ISO-Protokollen auf der Basis von MAP-Netzen (Manufacturing Automation Protocol). Das Werk ist aus Forschungsarbeiten des Autors hervorgegangen, deren Schwerpunkt auf die Implementierungen solcher Architekturen ausgerichtet war. Erst dadurch war…

Martin Härtig

Objektorientierte Integration von autonomen Datenhaltungssystemen

Studien zur Datenbankforschung

In vielen Einsatzbereichen der Informatik müssen Anwendungen heute Daten aus mehreren eigenständigen Datenbasen bearbeiten und verknüpfen. Da hierbei meist verschiedenste Datenhaltungssysteme - von Dateisystemen über konventionelle bis hin zu fortgeschrittenen objektorientierten Datenbanksystemen - im Spiel sind,…

Uwe Langer

Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Forschungsergebnisse zur Informatik

Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind entwurfsbegleitende quantitative Leistungsanalysen meist zu spät in den Entwurfsprozess einbezogen und unvollständig oder auch…

Felix Ulmer

Entwurf von Algorithmen zur Berechnung Liovillescher Lösungen von linearen gewöhnlichen Differentialgleichungen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Die Computer-Algebra ist das Teilgebiet der Informatik, welches sich mit dem Entwurf, der Analyse und der Implementierung von algebraischen Algorithmen befaßt. Bei einem algebraischen Algorithmus werden im Rechner darstellbare, abstrakte mathematische Datentypen symbolisch manipuliert, um ohne Verlust an…