Vorwort
xiii
Danksagungen
Die Publikation dieses Buches unter einer Open Access-Lizenz wurde durch die Förderung des Sonderforschungsbereichs (SFB) 876 zur Verfügbarkeit von Information
durch Analyse unter Ressourcenbeschränkung (siehe https://sfb876.tu-dortmund.de)
von der Deutschen Forschungsgemeinschaft (DFG) ermöglicht.
Die aktuelle Auflage wurde v.a. von Herrn Michael Engel und Herrn Heiko Falk
zur Korrektur gelesen. Michael Engel war während der Durchführung von Kursen
immer wieder eine große Hilfe, so auch bei der Erstellung der youtube-Videos.
In das Buch sind Ergebnisse aus verschiedenen geförderten Projekten eingeflossen. Ich bedanke mich deshalb v.a. bei der Deutschen Forschungsgemeinschaft
(DFG) für die Finanzierung des Sonderforschungsbereichs SFB 876, des Projekts
Ma 943/10 (FEHLER) sowie älterer Projekte. Die Europäische Kommission hat
die Projekte MORE, Artist2, ArtistDesign, Hipeac(2), PREDATOR, MNEMEE und
MADNESS gefördert. Diese Projekte boten eine ausgezeichnete Basis für die Arbeiten an der dritten und vierten Auflage dieses Buches. Die Fa. Synopsys ® Inc. stellte
für Forschungsarbeiten den Virtualizer ™ zur Verfügung.
Ich bedanke mich ferner bei den Kollegen R. Dömer, D. Gajski, N. Dutt (UC
Irvine), A. B. Kahng, R. Gupta (UC San Diego), W. Kluge, R. von Hanxleden (U.
Kiel), P. Buchholz, M. Engel, H. Krumm, O. Spinczyk (TU Dortmund), W. Müller,
F. Rammig (U. Paderborn), W. Rosenstiel (U. Tübingen), L. Thiele (ETH Zürich),
R. Wilhelm (U. des Saarlandes), G. C. Buttazzo (U. Pisa), H. Kopetz (TU Wien), J.
P. Hayes (U. Michigan) und H. Takada (U. Nagoya) für Diskussionen und Beiträge,
die in das Buch eingeflossen sind. Für Korrekturen und Beiträge bedanke ich mich bei
meinen Doktoranden sowie bei David Hec, Thomas Wiederkehr, Thorsten Wilmer
und Henning Garu. Selbstverständlich ist der Autor für alle verbleibenden Fehler
selbst verantwortlich.
Dieses Buch ist mit dem L A T E X-Satzsystem und der TeXnicCenter-Benutzerschnittstelle entstanden. Graphische Darstellungen wurden teilweise mit GNU Octave, mit einer Varianten des xfig-Editors sowie mit PowerPoint ® erzeugt. Zur Darstellung von Programmcode wurde der Font Inconsolata zi4(varl,varqu) benutzt, der
von Raph Levien, Kirill Tkachev, Michael Sharpe und mirabilos entworfen wurde.
Ich danke allen Autoren für die Bereitstellung der Software.
Mein Dank gilt auch an alle, zu deren Lasten die Arbeitszeit für diese deutsche
Übersetzung ging.
xiii
Danksagungen
Die Publikation dieses Buches unter einer Open Access-Lizenz wurde durch die Förderung des Sonderforschungsbereichs (SFB) 876 zur Verfügbarkeit von Information
durch Analyse unter Ressourcenbeschränkung (siehe https://sfb876.tu-dortmund.de)
von der Deutschen Forschungsgemeinschaft (DFG) ermöglicht.
Die aktuelle Auflage wurde v.a. von Herrn Michael Engel und Herrn Heiko Falk
zur Korrektur gelesen. Michael Engel war während der Durchführung von Kursen
immer wieder eine große Hilfe, so auch bei der Erstellung der youtube-Videos.
In das Buch sind Ergebnisse aus verschiedenen geförderten Projekten eingeflossen. Ich bedanke mich deshalb v.a. bei der Deutschen Forschungsgemeinschaft
(DFG) für die Finanzierung des Sonderforschungsbereichs SFB 876, des Projekts
Ma 943/10 (FEHLER) sowie älterer Projekte. Die Europäische Kommission hat
die Projekte MORE, Artist2, ArtistDesign, Hipeac(2), PREDATOR, MNEMEE und
MADNESS gefördert. Diese Projekte boten eine ausgezeichnete Basis für die Arbeiten an der dritten und vierten Auflage dieses Buches. Die Fa. Synopsys ® Inc. stellte
für Forschungsarbeiten den Virtualizer ™ zur Verfügung.
Ich bedanke mich ferner bei den Kollegen R. Dömer, D. Gajski, N. Dutt (UC
Irvine), A. B. Kahng, R. Gupta (UC San Diego), W. Kluge, R. von Hanxleden (U.
Kiel), P. Buchholz, M. Engel, H. Krumm, O. Spinczyk (TU Dortmund), W. Müller,
F. Rammig (U. Paderborn), W. Rosenstiel (U. Tübingen), L. Thiele (ETH Zürich),
R. Wilhelm (U. des Saarlandes), G. C. Buttazzo (U. Pisa), H. Kopetz (TU Wien), J.
P. Hayes (U. Michigan) und H. Takada (U. Nagoya) für Diskussionen und Beiträge,
die in das Buch eingeflossen sind. Für Korrekturen und Beiträge bedanke ich mich bei
meinen Doktoranden sowie bei David Hec, Thomas Wiederkehr, Thorsten Wilmer
und Henning Garu. Selbstverständlich ist der Autor für alle verbleibenden Fehler
selbst verantwortlich.
Dieses Buch ist mit dem L A T E X-Satzsystem und der TeXnicCenter-Benutzerschnittstelle entstanden. Graphische Darstellungen wurden teilweise mit GNU Octave, mit einer Varianten des xfig-Editors sowie mit PowerPoint ® erzeugt. Zur Darstellung von Programmcode wurde der Font Inconsolata zi4(varl,varqu) benutzt, der
von Raph Levien, Kirill Tkachev, Michael Sharpe und mirabilos entworfen wurde.
Ich danke allen Autoren für die Bereitstellung der Software.
Mein Dank gilt auch an alle, zu deren Lasten die Arbeitszeit für diese deutsche
Übersetzung ging.