Scheler, Fabian:
Atomic Basic Blocks: Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2011.
- 171 Seiten.
Stichwörter:
Echtzeitsystemarchitektur; Atomic Basic Blocks; ABB; Real-Time Systems Compiler; RTSC; zeitgesteuerte Systeme; ereignisgesteuerte Systeme; Real-Time Systems Architecture; Atomic Basic Blocks; Real-Time Systems Compiler; Time-triggered; Event-triggered
(BibTeX)
Stellwag, Philippe:
Design Patterns of Parallel Control Systems
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2011.
- 169 Seiten.
Stichwörter:
pCtrl, Nonblocking Coordination, Synchronization, Real-Time Systems, Control Systems
(BibTeX)
Lohmann, Daniel:
Aspect-Awareness in the Development of Configurable System Software
.
Erlangen, Friedrich-Alexander Universität Erlangen-Nürnberg, Diss., 2009.
- 260 Seiten.
Stichwörter:
AOP, Aspect-oriented Programming, SPL, Software Product Lines, OS, Operating Systems, AspectC++, Embedded Systems, CiAO
(BibTeX)
Wawersich, Christian Walter Alois:
KESO: Konstruktiver Speicherschutz für Eingebettete Systeme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2009.
- 179 Seiten. (BibTeX)
Felser, Meik:
Dynamische Adaption in heterogenen und verteilten eingebetteten Systemen
.
Erlangen, Friedrich-Alexander Universität Erlangen-Nürnberg, Diss., 2008.
- 143 Seiten.
Stichwörter:
Anpassung; Mikrocontroller; dynamisches Binden; Fernwartung
(BibTeX)
Gilani, Wasif:
A Family-Based Dynamic Aspect Weaver
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2007 (BibTeX)
Frieß, Wolfgang:
Integration von konfigurierbaren Softwaremodulen in eingebettete Systeme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2007 (BibTeX)
Kapitza, Rüdiger:
Providing Decentralised Adaptive Services
.
Erlangen, FAU Erlangen-Nürnberg, Diss., 2007
(Providing Decentralised Adaptive Services Bd. 40, Nr. 7).
- 200 Seiten. (BibTeX)
Kubica, Stefan:
Variantenmanagement modelbasierter Funktionssoftware mit Software-Produktlinien
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2007 (BibTeX)
Weißel, Andreas:
Operating System Services for Task-Specific Power Management
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2006 (BibTeX)
Essafi, Lassaad:
Performance Analysis of Time Dependent Priorities and Application - To Differentiated Services and Call Centers
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2006 (BibTeX)
Barner, Jörg:
A Lightweight Formal Method for the Prediction of Non-Functional System Properties
.
Erlangen, Friedrich-Alexander-Universität, Diss., 2005
(Arbeitsberichte des Instituts für Informatik Bd. 38, Nr. 4).
- 177 Seiten. ISSN 1611-4205
Stichwörter:
Formale Methode; Modellbildung; Leistungsbewertung; Software-Engineering
(BibTeX)
Schnitzer, Bernd:
Sicherheitsbewertung verteilter komponentenbasierter Programme
.
Erlangen, Friedrich-Alexander-Universität, Diss., 2005
(Arbeitsberichte des Instituts für Informatik Bd. 38, Nr. 2).
- 204 Seiten. ISSN 1611-4205 (BibTeX)
Schnitzer, Bernd:
Sicherheitsbewertung verteilter komponentenbasierter Programmsysteme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2005 (BibTeX)
Rastofer, Uwe:
Modeling Component-Based Embedded Real-Time Systems
.
Erlangen, Friedrich-Alexander-Universität, Diss., 2004
(Arbeitsberichte des Instituts für Informatik Bd. 37, Nr. 5).
- 204 Seiten. ISSN 1611-4205
Stichwörter:
Eingebettetes Echtzeitsystem; Komponenten; Metamodellierung
(BibTeX)
Dressler, Falko:
Monitoring of Multicast Networks for Time-Synchronous Communication
.
Erlangen, FAU, Diss., 2003
(Arbeitsberichte des Instituts für Informatik Bd. 36, Nr. 4).
- 239 Seiten. ISSN 1611-4205
Stichwörter:
Quality of Service,
(BibTeX)
Golm, Michael:
The Structure of a Type-Safe Operating System
.
Erlangen, Friedrich-Alexander-Universität, Diss., 2003
(Arbeitsberichte des Instituts für Informatik Bd. 36, Nr. 6).
- 172 Seiten. ISSN 1611-4205 (BibTeX)
Becker, Ulrich:
Verteilung von objektorientierten Anwendungen auf der Basis des Entwurfs-Modells
.
Erlangen, Friedrich-Alexander-Universität, Diss., 2003
(Arbeitsberichte des Instituts für Informatik Bd. 36, Nr. 7).
- 175 Seiten. ISSN 1611-4205 (BibTeX)
Golm, Michael:
The Structure of a Type-Safe Operating System
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2002 (BibTeX)
Meier, Erich:
Administrative Skalierbarkeit verteilter Systeme
.
Erlangen, Universität Erlangen-Nürnberg, Diss., 2001 (BibTeX)
Schröder, Michael:
Automatische Objekt- und Threadverteilung in einer virtuellen Maschine
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2001 (BibTeX)
Geier, Martin :
Fragmentierte Objekte für die Implementierung mobiler Agenten
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2001 (BibTeX)
Steckermeier, Martin :
Virtuelle, private Rechner - Eine Software-Architektur für verteilte Systeme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2001 (BibTeX)
Greiner, Stefan:
Modellierung und Analyse von Betriebssystemen mittels erweiterter Warteschlangentechniken und Petrinetzen
.
Erlangen, Universität Erlangen-Nürnberg, Diss., 2000.
- 130 Seiten. (BibTeX)
Herold, Helmut:
MOSEL: An universal language for modeling, computer, communication, and manufacturing systems
.
Erlangen, Universität Erlangen-Nürnberg, Diss., 2000.
- 218 Seiten. (BibTeX)
Reitzner, Stephan:
Koordinierung in nebenläufigen, objektorientierten Systemen
.
Erlangen, Friedrich-Alexander Universität, Diss., 1999
(Arbeitsberichte des IMMD Bd. 32, Nr. 06).
- 118 Seiten. ISSN 0344-3515 (BibTeX)
Riechmann, Thomas:
Sicherheit in verteilten, objektorientierten Systemen
.
Erlangen, Friedrich-Alexander Universität, Diss., 1999
(Arbeitsberichte des IMMD Bd. 32, Nr. 05).
- 146 Seiten. ISSN 0344-3515 (BibTeX)
Koppe, Christoph:
Systemintegration des User-Level-Scheduling: Betriebssystemdienste zur Unterstützung der parallelen Programmierung
.
Erlangen, Friedrich-Alexander Universität, Diss., 1999
(Arbeitsberichte des IMMD Bd. 32, Nr. 04).
- 137 Seiten. ISSN 0344-3515 (BibTeX)
Bellosa, Frank:
Three Dimensions of Scheduling
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1999 (BibTeX)
Hahn, Thomas:
Anwendung und Parallelisierung von Verfahren zur Leistungsoptimierung von Rechensystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1998 (BibTeX)
Kardel, Frank:
Archivierung von hierarchisch organisierten Dateistrukturen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1996 (BibTeX)
Stukenbrock, Wolfgang:
Das Konzept einer Maschinenkontrollschicht für Betriebssysteme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1996 (BibTeX)
Rüth, Armin:
Einsatzmöglichkeiten von Fuzzy-Strategien in Betriebssystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1996 (BibTeX)
Jarschel, Werner:
Analytische und simulative Leistungsbewertung des photolitographischen Prozesses mit Petri-Netzen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1995 (BibTeX)
Heite, Reinhard:
Geschützte Objektreferenzen und dynamische Typisierung in verteilten heterogenen Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1995 (BibTeX)
Husemann, Dirk:
Multimedia Data Streams in Distributed Object-Oriented Operating Systems
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1995 (BibTeX)
Eirich, Thomas:
Persistenzkonzepte für verteilte Objektsysteme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1995 (BibTeX)
Turowski, Stefan:
Struktur und Verteilung von Programmpaketen in heterogenen Netzwerken
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1995 (BibTeX)
Hauck, Franz:
Typen, Klassen und Vererbung in verteilten objektorientierten Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1994 (BibTeX)
Rotzoll, Babette:
Dynamischer Multiprogramm-Betrieb von MIMD Parallelrechnersystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1993 (BibTeX)
Dobler, Gabriele:
Einsatz des ISO-Transaktionsdienstes zur Echtzeitkommunikation in verteilten Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1993 (BibTeX)
Fäustle, Michael:
Beschreibung der Verteilung in objektorientierten Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1992 (BibTeX)
Monge, Raúl:
Kommunikation in verteilten, objektbasierten Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1992 (BibTeX)
Kleinöder, Jürgen:
Objekt- und Speicherverwaltung in einer offenen, objektorientierten Betriebssystemarchitektur
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1992 (BibTeX)
de Meer, Hermann:
Transiente Leistungsbewertung und Optimierung rekonfigurierbarer fehlertoleranter Rechensysteme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1992 (BibTeX)
Jung, Hermann:
Leistungsbewertung UNIX-basierter Betriebssysteme für Multiprozessoren mit globalem Speicher
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1991 (BibTeX)
Zeis, Georg:
Methoden zur Steigerung der Wiederverwendbarkeit von Softwarekomponenten in der Fertigungsautomatisierung
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1991 (BibTeX)
Kramer, Martin:
Software-implementierte Fehlertoleranzmechanismen für objektorientierte, verteilte Systeme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1991 (BibTeX)
Hofmann, Wilhelm:
Die Koordinierung in Betriebssystemen für Multiprozessoren
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1990 (BibTeX)
Fleischmann, Georg:
Leistungsbewertung paralleler Programme für MIMD-Architekturen: Modellbildung und mathematische Analyse
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1990 (BibTeX)
Schlenk, Peter:
Struktur und Verhalten in verteilten Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1990 (BibTeX)
Hergenröder, Gerhard:
ALLOC-Ein wissensbasierter Ansatz zur Lösung des Allokationsproblems von Tasks in verteilten Realzeitsystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1989 (BibTeX)
Kummer, Robert:
Untersuchung von Sicherungsmaßnahmen für verteilte Systeme unter Verwendung eines geeigneten Betriebssystemmodells
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1989 (BibTeX)
Neumeier, Iris:
Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1988 (BibTeX)
Kaiserswerth, Matthias:
Der Fernaufruf als Betriebssystemdienst
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1987 (BibTeX)
Schaub, Jutta:
Spezifikation graphisch interaktiver Benutzerschnittstellen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1987 (BibTeX)
Bathelt, Peter:
Der Dominoeffekt in der Fehlerbehandlung von Prozeßsystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1986 (BibTeX)
Schröder-Preikschat, Wolfgang:
Eine Familie UNIX-ähnlicher Betriebssysteme - Anwendung von Prozessen und des Nachrichtenübermittlungskonzeptes beim strukturierten Betriebssystementwurf
.
Berlin, Germany, Technische Universität Berlin, Diss., 1986.
- 216 Seiten. (BibTeX)
Hellmold, Kurt-Ulrich:
Zur Simulation von zeitdiskreten Systemen auf GPSS-FORTRAN Basis
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1985 (BibTeX)
Hoppe, Beate:
Deterministisches Zuordnen vielfach durchlaufener Aufgabensysteme in Multiprozessorsystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1984 (BibTeX)
Fleischmann, Albert:
Ein Konzept zur Darstellung und Realisierung von verteilten Prozeßautomatisierungssystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1984 (BibTeX)
Akyildiz, Ian Fuat:
Leistungsanalyse von Multiprozessorsystemen mit Prozeßkommunikation
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1984 (BibTeX)
Winkelmann, Klaus Michael:
Prozeßkoordinierung durch Verwendung von Fortsetzungsbedingungen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1984 (BibTeX)
Weber, Karl:
Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1983 (BibTeX)
Mackert, Lothar:
Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1983 (BibTeX)
Woitok, Rainer:
Die Systemimplementierungssprache ALICE
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1982 (BibTeX)
Wittmann, Andreas:
Ein Mechanismus für die Synchronisation paralleler Prozesse
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1981 (BibTeX)
Linster, Claus-Uwe:
SYMPOS/UNIX - Ein Betriebssystem für homogene Polyprozessorsysteme
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1981 (BibTeX)
Wurm, Franz Xaver:
Auftragssystem für eine Mehrprozessanlage
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1980 (BibTeX)
Wunderatsch, Hartmut:
Deterministisches Zuordnen in heterogenen Prozessorsystemen mit Pseudoboole Methoden
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1979 (BibTeX)
Wendler, Klaus-Dietrich:
Betriebssystemaspekte in hierarchisch modularen Polyprozessorsystemen - Modellierungsansätze und Koordinierungsmechanismen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1978 (BibTeX)
Elzer, Peter:
Strukturierte Beschreibung von Prozeßsystemen
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1978 (BibTeX)
Keramidis, Sawwas:
Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung
.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 1977 (BibTeX)
