Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der...

Dieses Lehrbuch gibt eine Einfuhrung in das Gebiet der parallelen Programmierung und richtet sich vor allem an Studenten der Informatik im Hauptstudium. Nach den Grundlagen folgen die Gebiete der "konventionellen" asynchronen parallelen Programmierung und der synchronen "massiv parallelen" oder daten-parallelen Programmierung mit tausend oder mehr Prozessoren. Den Abschluss bilden weitere parallele Modelle, die nicht einem dieser beiden Gebiete zugeordnet werden konnen, die automatische Parallelisierung und Vektorisierung sowie Leistungsbetrachtungen. Das Buch entstand aus dem Skript zur...

Dieses Lehr- und Arbeitsbuch fuhrt in den modernen Entwurf groer Chips ein. Ein groer, leistungsfahiger RISC-Prozessor wird in einer Hardware-Beschreibungssprache (HDL) spezifiziert, hierarchisch entwickelt und schlielich als Gattermodell dem Halbleiterhersteller zur Fertigung ubergeben. Das Ergebnis ist ein Semi-Custom-Prozessor mit uber 100.000 Bruttogattern und einer Rechenleistung von bis zu 40 MIPS. Das Buch mit Diskette fuhrt auch ausfuhrlich in die HDL VERILOG ein.

von C. Gordon Bell Es ist mir cine Freudc und Ehre, das Vorwort flir dieses richtungwcisendc Buch zu schreiben. Die Autoren sind Uber die bekannten Bcitrage von Thomas zum Calculus und Samuelson zur Wirtschaft weit hinausgegangcn. Sic haben ein Standardwcrk fUr Rcchncr architcktur und -entwurf geschaffen. Zum Nutzen der lnfonllatik ermutigc ich die Ycricger, die vielen BUcher zu diesem Thema zurlickzuziehen, damit schnell cine neue Generation von lnformatikern und Systemingcnieuren herangebildet werden kann. Dieses Buch bcab sichtigt nicht, die komplcxen und fehlerhaften Mikroprozessoren der...