http://dl.gi.de/handle/20.500.12116/38321 Einschlägige Dissertationen 2026-07-23T08:22:42Z http://dl.gi.de/handle/20.500.12116/38332 ALLOC - ein wissensbasierter Ansatz zur Lösung des Allokationsproblems von Tasks in verteilten Realzeitsystemen Hergenroeder, Gerhard Das Allokationsproblem wird dadurch gelöst, daß die Strategien von Spezialisten im Rechner modelliert werden. Das Expertenwissen zur Lösung des Allokationsproblems wird analysiert, bewertet und als Wissensbasis des Expertensystems ALLOC modelliert. Für die Modellbildung werden Phasen, Regelmengen und Regeln verwendet. 1989-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38331 Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme Andres, Christian Das Verfahren vereint die Beschreibung von Parallelität und dem kompositionellen Ansatz. Mit einem Interpreter werden Spezifikationsmodelle ausführbar und stellen einen Prototypen des zu entwerfenden Systems dar. 1989-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38330 Eine Programmierumgebung für verteiltes PEARL Kragl, Gudrun Der Anwender wird in der Spezifikationsphase (PASS) und der Programmierung unterstützt. Für die graphischen Teile steht ein Zeichenprogramm zur Verfügung. Durch die nichtgraphischen Teile wird der Nutzer mit Masken geführt. Mittels Programmsynthese wird aus der Spezifikation automatisch PEARL-Code erzeugt. 1986-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38327 Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme Lindstedt, Werner Die Arbeit stellt ein Konzept vor, Laufzeitprogramme für algorithmische Probleme, wie Konkatenation von Zeichenketten, Multiplikation von Matrizen und Gleitpunktarithmetik portabel zu erstellen. Die ergänzt damit anlagenunabhängige Echtzeit-Übersetzungssysteme, die bisher nur Compiler, generierte Codegeneratoren und graphische Treiber und Pakete für Standard-E/A enthalten. 1981-01-01T00:00:00Z