Hallo alle zusammen, entschuldigt die Verspätung. Ich habe gerade das Material samt Übungsblatt auf die Webseite der Vorlesung gestellt. Benutzername und Passwort wie für die Vorlesungsfolien. In der zip-Datei befinden sich auch Informationen zu den Abgabemodalitäten. Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Dass etwas zu den Praxisübungen drankommen würde, war doch abzusehen ... Der wechselseitige Ausschluss war in Aufg. 5 nicht garantiert (das haben auch die meisten gemerkt). Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Hallo *, ich soll euch von Tobias Schubert ausrichten, dass er die Folien noch überarbeitet. Sie werden zusammen mit dem Übungsblatt in den nächsten Tagen auf der Vorlesungswebseite bereitstehen. Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Hier sind die Daten für den VHDL-Kurs: Zeit: * Freitag, 04.03.2011, 9:00 - 16:30 Uhr inklusive 1 Stunde Mittagspause sowie 2x 15-Minuten-Pause * Samstag, 05.03.2011, 9:00 - 16:30 Uhr inklusive 1 Stunde Mittagspause sowie 2x 15-Minuten-Pause Ort: Gebäude 101, SR 00-010/014 Dozent: Dr. Tobias Schubert, Lehrstuhl für Rechnerarchitektur.
Forum: Systeme 1 WS 2010/2011

Hallo yoshi, bei Schwierigkeiten mit der Prüfungsanmeldung musst Du Dich ans Prüfungsamt wenden. Wir vom Lehrstuhl haben keine Möglichkeit, in die Anmeldeprozedur einzugreifen und deshalb auch keine Ahnung, wenn etwas schiefgeht. Die Zulassung von unserer Seite erfolgt erst, nachdem ihr euch für die Prüfung angemeldet habt; wir erhalten vom Prüfungsamt die Liste der Leute, die sich für die
Forum: Systeme 1 WS 2010/2011

Hi *, wir haben keine Noten für das Testat gemacht, weil es (1) nur Studienleistung ist, d. h. im Wesentlichen geht es um Bestehen/nicht Bestehen und (2) die Bonuspunkte mittels der Formel, die bei den Prüfungsbedingungen steht, ausgerechnet werden kann ... ((Zahl der Punkte im Testat) - 25)/50 * 5 % = Prozentsatz der Bonuspunkte bei der Klausur. Beispiel: Student X hat 50 Punkte
Forum: Systeme 1 WS 2010/2011

Hallo *, die Planungen für den VHDL-Kurs für die ESE-Studierenden sehen im Moment wie folgt aus: Vorlesung: Freitag, 04. März 2011 und Samstag, 05. März 2011 jeweils ganztags (= 6 Stunden pro Tag) Dozent: Dr. Tobias Schubert Übungen: Ein Übungszettel wird im Anschluss an die Vorlesung ausgegeben und muss bis zum 31.03. bearbeitet werden. Bewertung:
Forum: Systeme 1 WS 2010/2011

Hallo *, wir sind dabei, den VHDL-Kurs zu organisieren. Ich kann euch hoffentlich bis nächste Woche mehr sagen. Aufgrund diverser Prüfungen ist die Planung leider alles andere als einfach ... Gruß Ralf.
Forum: Systeme 1 WS 2010/2011

Hallo *, es genügt, die Deadlocks zu markieren, die erreichbar sind. Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Hallo *, die Praxisübungen sind relevant, aber ihr braucht keine Man-Pages auswendig lernen - das wäre auch relativ sinnlos, schließlich sind die Dinger genau dafür da, dass man nachschlagen kann ... Wie man einen symbolischen Link oder einen Hardlink anlegt, solltet ihr aber beispielsweise wissen. Manus Antwort trifft es also ganz gut ... Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Chuck Norris (und damit auch Manu) hat recht; ein Deadlock liegt immer in einer solchen Ecke vor, in der man weder nach rechts noch nach oben weiterlaufen kann, ohne in einen verbotenen Bereich zu kommen, in dem eine Ressource doppelt verwendet wird. Zu markieren ist die Ecke. Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Die annotierten Folien für Kap. 2.7 stehen jetzt auf der Webseite der Vorlesung. Die (nicht annotierten) fürs Scheduling kommen gleich ... Sorry, hab's vor den Ferien verpennt ... Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Hallo *, wie bereits in der letzten Vorlesung angekündigt wurde, fällt die Vorlesung am Freitag, 07.01.2011 aus. Sollten wir mit dem Stoff deswegen nicht durchkommen (was ich nicht glaube), dann wird es einen Nachholtermin geben ;-) Der Übungsbetrieb ist davon zunächst nicht betroffen, allerdings steht es den Tutoren, die an diesem Freitag ihre Übungsgruppe hätten, frei, sie auf die folgen
Forum: Systeme 1 WS 2010/2011

Hallo *, das Testat findet am Freitag, 21. Januar 2011 von 8:15-10:00 Uhr statt. Relevant dafür ist der Stoff aus Vorlesung + Übung (!) bis zur Weihnachtspause - also alle Übungszettel, die vor dem 23.12. ausgegeben werden. Als Räume sind die Hörsäle 101-00..026 und 101-00..036 reserviert. Die Verteilung der Leute auf die beiden Räume werden wir rechtzeitig hier angeben. Gruß, Ralf.
Forum: Systeme 1 WS 2010/2011

Hallo alle zusammen, die Noten für die Klausur Rechnerarchitektur sind eingetragen. Ihr solltet sie auf üblichem Wege abrufen können. Klausureinsicht ist nächste Woche, Dienstag 30.09.2008 von 14:00 - 15:00 Uhr s.t. im Raum 51-00..022 (Lehrstuhlbesprechungsraum, zwischen Hardwarepool und Fachschaft). Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

Unsere Definition sollte stimmen, wenn man (negative) Zweierkomplementzahlen zulässt. Ließe man das Vorzeichenbit nicht stehen, könnte es sonst passieren, dass durch das Shiften aus einer negativen Zahl eine positive wird (oder umgekehrt). Dadurch ginge die Eigenschaft verloren, dass (unter gewissen Voraussetzungen) der arith. Linksshift einer Multiplikation mit 2 entspricht. Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

Es kann sein, dass zu Fiduccia-Mattheyses etwas drankommt, aber wenn, dann eher eine Verständnisfrage. Falls doch eine Rechenaufgabe drankommt, werden müssen wir euch das Gleichgewichtskriterium angeben. Wie die Kosten zu berechnen sind, solltet ihr schon hinkriegen (Kosten der Netze, die den Schnitt kreuzen nach der Vertauschung, minus die Kosten vor der Vertauschung ...). Das ist im Prinzip die
Forum: Rechnerarchitektur SS 2008

Hallo *, die Abschlussklausur zur Vorlesung "Rechnerarchitektur" findet am Montag, 22. September 2008 von 14:00 bis 16:00 Uhr im Raum 101-00..026 (Hörsaal) statt. Bitte erscheint pünktlich (d. h. 14:00 s.t.) und bringt Euren Studentenausweis / Personalausweis mit. Wir werden die Ausweise vor der Klausur kontrollieren. Abgesehen von einem Stift sind keine Hilfsmittel zu
Forum: Rechnerarchitektur SS 2008

Hallo, das hast Du im Prinzip richtig verstanden: die Platte kann, wenn sie die ganze Zeit arbeitet, 8 MB pro Sekunde liefern. Immer wenn ein Datenblock mit 8 * 32 Bit übertragen worden ist, wird ein Interrupt ausgelöst, dessen Abarbeitung 1000 Zyklen kostet. Heutzutage wird bei Festplatten mit DMA gearbeitet. Dort werden größere Datenblöcke direkt in den Hauptspeicher geschrieben (DMA = di
Forum: Rechnerarchitektur SS 2008

Hallo alle zusammen, auf allen 6 Übungsblättern gibt es zusammen 128 Punkte ( + 5 Bonuspunkte ) zu erreichen. Wenn man großzügig rundet (bzw. die Stellen hinterm Komma einfach abschneidet), erhält man für die Bonuspunkte folgende Werte: 70 % => 89 Übungspunkte => 5 Klausurpunkte (bei Bestehen!) 74 % => 94 Übungspunkte => 6 Klausurpunkte (bei Bestehen!) 78 %
Forum: Rechnerarchitektur SS 2008

1.) Es wird 6 Übungsblätter geben. 2.) Schaun wir mal ... Wenn der Fall nicht auftritt, brauchen wir uns darüber auch keine Gedanken machen. Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

Hi, da haben wir wohl aneinander vorbei geschrieben, sorry. Ich habe oben geschrieben: "Bei Zweierkomplementzahlen ist es üblich, a_n als Vorzeichenbit zu nehmen und a_{n-1},...,a_0 als die eigentliche Zahl." Das sind n+1 Bits. Der darstellbare Zahlenbereich für eine solche Zahl ist (-2^n,...,2^n - 1), also genau der, der auf dem Zettel angegeben ist. Bei der Darstellung d
Forum: Rechnerarchitektur SS 2008

Hallo, wenn wir n Eingänge und n+1 Ausgänge hätten, gäbe es keinen Überlauf. Da aber i. d. R. Rechner mit festen Bitbreiten rechnen, muss das Ergebnis wieder mit n Bits dargestellt werden. Dann können jedoch Überläufe auftreten. Kriterien, wann bei der Addition von Zweierkomplementzahlen ein Überlauf vorliegt, wurden in TI behandelt. Bei Zweierkomplementzahlen ist es üblich, a_n als Vorzeic
Forum: Rechnerarchitektur SS 2008

Liebe Studierende, da die beiden Übungsgruppen Do, 16-18 Uhr bedauerlicherweise so gut wie gar nicht besucht werden, legen wir diese beiden Übungsgruppen zusammen, d. h. sie werden abwechselnd von Bettina Braitling und Sven Reimer in Raum 101-01..009/013 gehalten. An der Zettelabgabe ändert sich nichts. Die Regelung mit dem Vorrechnen als Klausurvoraussetzung bleibt natürlich auch für alle bes
Forum: Rechnerarchitektur SS 2008

A2) EF phi heißt: es gibt einen von s ausgehenden Pfad, auf dem in mindestens einem Zustand phi gilt. Wenn der Pfad von s ausgeht, dann liegt s auf dem Pfad. Wenn phi in s gilt, dann erfüllt s die Formel EF phi. Somit ist die Antwort auf Deine Frage: ja. Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

A) 1. Wir betrachten nur unendliche Pfade. Auf einem solchen Pfad muss in jedem Zustand Phi gelten, damit EG(phi) erfüllt ist. 2. EF(phi) ist in Zustand s wahr, sobald irgendein Zustand, der von s aus erreichbar ist, phi erfüllt (phi darf dabei auch in s erfüllt sein). 3.) U(not phi E phi) ist keine gültige CTL-Formel. Du meinst wohl E(not phi U phi). Das ist äquivalent zu EF phi. B) Wir ne
Forum: Rechnerarchitektur SS 2008

Hallo alle zusammen, das 3. Übungsblatt steht im Netz. Der Abgabetermin ist der 5. Juni 2008, 14:00 Uhr (s.t.). Aufgrund der etwas spärlichen Abgabezahlen möchte ich euch daran erinnern, dass der klausurrelevante Stoff aus den in der Vorlesung oder in den Übungen behandelten Themen besteht. Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

Liebe Studierende, die Abschlussklausur zur Vorlesung 'Rechnerarchitektur' findet am 22. September 2008 von 14-16 Uhr im Geb. 101 (Erdgeschoss) statt. Gruß, Ralf.
Forum: Rechnerarchitektur SS 2008

Hallo *, denkt bitte daran, dass ihr eine vorläufige, inhaltlich vollständige Version eurer Folien bis morgen, 10.07.2007, 23:59 MESZ abgeben müsst. Ihr dürft die Folien selbstverständlich bis zum Vortrag überarbeiten. Bewertet werden die Folien, die ihr beim Vortrag verwendet. Gruß, Ralf.
Forum: Seminar Methoden der Verifikation

Hi Alex, das "U" bzw. "W" kannst Du entweder als normales "U" bzw. "W" schreiben oder die kalligraphischen Schriften nehmen: \mathcal{U}, \mathcal{W} (im Mathe-Modus von LaTeX). Gruß, Ralf. P.S.: Für eventually (diamond) geht auch "F", für always (box) "G".
Forum: Seminar Methoden der Verifikation