2006
Sand, M.: "Patternbasierte Verifikation objektorientierter Modelle - Methodik, Semantik und Verfahren"
2004
Gossens, S.: "Sichtgraphen: Ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen"
Kreische, D.: "Geschäftsprozessmodellierung mit der Unified Modeling Language (UML)"
2001
Dalibor, S.: "Erstellung von Testplänen für verteilte Systeme durch stochastische Modellierung"
Tschäche, O.: "Simulationsbasierte Bewertung fehlertoleranter Festkommarecheneinheiten"
VDI Verlag, Reihe 20: Rechnerunterstützte Verfahren, ISBN 3-18-334520-X
2000
Buchacker, K.: "Definition und Auswertung erweiterter Fehlerbäume für die Zuverlässigkeitsanalyse technischer Systeme"
Balbach, F.: "Analyse von Hardwarefehlern in Vermittlungseinheiten digitaler Netze"
Grillenbeck, R.: "Didaktik und Methodik der Theoretischen Informatik, Motivation und computerunterstütztes Lernen"
1999
Allmaier, S.: "Parallele Lösungen für die stochastische Modellierung"
1998
Sieh, V.: "Effiziente Erstellung und Auswertung von Rechnermodellen zur detaillierten Zuverlässigkeitsanalyse"
Steffen, M.: "Polarized Higher-Order Subtyping"
1997
Hein, A.: "Conjoint Simulation - A Modeling Framework for Combined Performance and Dependability Analysis of Computer Systems"
1996
Altmann, J.: "A Practically Relevant Approach to System-Level Diagnosis"
Güthoff, J.: "Eine VHDL-basierte Simulations- und Experimentierumgebung zur Bewertung von Fehlertoleranzverfahren"
1994
Böhm, A.: "Algorithmenbasierte Fehlertoleranz: Fehlererkennende Algorithmen in speziellen Laufzeitumgebungen"
Grygier, A.: "Stabiler Speicher in speichergekoppelten Multiprozessorsystemen"
Hönig, J.: "Robuste Verfahren zur Zustandssicherung und Wiederanlauf in Multiprozessorsystemen"
Stanischewski, F.: "Das spezialisierte Echtzeitprozessorkonzept FASTCHART"
Waedt, K.: "Fehlervermeidende Codegenerierung für verteilte, responsive Systeme"
1993
Günther, W.: "ATTEMPTO: Eine modulare Betriebssystemerweiterung für Fehlertoleranz"
Knirsch, R.: "Wechselwirkungen zwischen parallelen Algorithmen und Rechnerarchitektur"
Philipp, T.: " Typisierung und Modularisierung von Prolog für die Verwirklichung großer Softwareprojekte"
1992
Hildebrand, U.: "Konzeption, Bewertung und Realisierung einer dynamischen Netzwerkkomponente für speichergekoppelte Multiprozessorsysteme."
Michel, E.: "Fehlererkennung und Monitoring mit Watchdog-Prozessoren in Multiprozessorsystemen"
Tribius, T.: "Ein programmiersprachlicher Ansatz zur Entwicklung von explizit-fehlertoleranten Programmen auf Parallelrechnern"
1991
Brehm, J.: "Parallele Lösung von dünn besetzten linearen Gleichungssystemen auf unterschiedlichen Multiprozessor-Architekturen"
Eck, R.: "Spezialisierte Prozessorarchitekturen für Prolog"
Horton, G.: "Ein zeitparalleles Lösungsverfahren für die Navier-Stokes-Gleichungen"
1990
Lehmann-Emilius, L.: "Rekonfiguration und Rückwärtsfehlerbehebung für Multiprozessoren mit begrenzter Nachbarschaft"
1989
Höpfl, F.: "Kombinatorische Suchverfahren und ihre Parallelisierung auf Multiprozessorsystemen"
1988
Feitosa, R.: "Speicherstrukturen von speichergekoppelten Multiprozessoren"
1987
Zimmermann, K.H.: "Pipeline-Automaten"
1986
Albert, B.: "Eine modulare Mikroarchitekturbeschreibung: MIKRO"
Moritzen, K.: "Softwarehilfsmittel zur Programmierung von Multiprozessoren mit begrenzten Nachbarschaften - ein Beitrag zur Konfigurationsverwaltung"
1985
Rathke, M.: "Parallelisieren ordnungserhaltender Programmsysteme für hierarchische Multiprozessorsysteme"
Vasconcelos, A.J.: "Berechnung nichstationärer Vorgänge in Drehstromnetzen mit Raumzeigerkomponenten auf einem Multiprozessor"
1983
Volkert, J.: "Multiplikative Abstandsfunktion und deren Anwendung in der Bildverarbeitung"
1982
Mähle, E. "Fehlertolerantes Verhalten in Multiprozessoren, Untersuchungen zur Diagnose und Rekonfiguration"
1979
Gardill, R.: "SKOP - Syntaxnotation als Kontrollstruktur für Programmiersprachen"
Luft, A.L.: "Zur ingenieurwissenschaftlichen Theorie von Rechensystemen"
1978
Hoffmann, W.: "Warteschlangenmodelle für die Parallelverarbeitung"
1977
Wichmann, H. :"Entwicklung und Bewertung von Algorithmen für ein mikroprogrammiertes Parallel- und Assoziativkonzept auf Mikroprogramm- und Benutzerebene"
Diese Liste erhebt keinen Anspruch auf Vollständigkeit
|
