Alle Beiträge dieses Benutzers
Seite 4 von 5
Seiten: 12345
Ergebnisse 91 — 120 von 128
Hallo,
wie viele sicher schon bemerkt haben, kollidieren unsere Dienstagstermine mit dem "System Design Projekt".
Ich habe gerade mit dem Betreuer des "System Design Projekts" gesprochen, der mit mitgeteilt hat, dass es dort nur noch einen einzigen Pflichttermin gibt, und zwar am 8.11.2011. SystemeI-Studenten, die sich wegen des Projekts nicht zu einem Dienstagstermin an
von
Florian Pigorsch [Assistent]
-
Systeme 1 WS 2011/2012
Hallo,
wegen der prekären Raumsituation und der Verfügbarkeit der Tutoren sind weitere Übungstermine am Donnerstag sehr schwierig, wenn nicht sogar unmöglich. Ich denke, da müssen wir eine andere Lösung finden.
Welche konkreten Veranstaltungen kollidieren denn mit den Dienstags- und Mittwochsterminen?
Grüße
Florian pgiorsch
von
Florian Pigorsch [Assistent]
-
Systeme 1 WS 2011/2012
Die Übungsblätter zur Vorlesung müssen in elektronischer Form als PDF-Dokument ("Portable Document Format") erstellt und im Übungsportal hochgeladen werden. Es gibt mehrere Möglichkeiten, PDF-Dokumente zu erstellen.
Dazu gehören:
LATEX: Ein Text-Satz-System, das sich insbesondere für naturwissenschaftliche Dokumente eignet, da es z.B. eine hervorragende Eingabe mathematischer F
von
Florian Pigorsch [Assistent]
-
Systeme 1 WS 2011/2012
Die Organisation der Übungen erfolgt über das Übungsportal der Vorlesung. Das Portal ist unter folgender URL zu erreichen:
Um das Portal benutzen zu können, müssen Sie sich zuerst einmalig anmelden. Klicken Sie hierzu im Menu links auf "Anmeldung".
Geben Sie nun zunächst Ihre Daten wie Vorname, Nachname, Matrikelnummer, Studienfach, Semesternummer und E-Mail-Adresse an.
von
Florian Pigorsch [Assistent]
-
Systeme 1 WS 2011/2012
Hallo,
hiermit ist das Forum zur Vorlesung "Systeme 1" im Wintersemester 2011/12 eröffnet.
Das Forum kann von jedem genutzt werden, bedarf allerdings einer Anmeldung. Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuchen wir bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen.
Der Vorteil gegenüber einer persönlichen Mail
von
Florian Pigorsch [Assistent]
-
Systeme 1 WS 2011/2012
Hallo,
der zweite Teil von Blatt 3 ist jetzt online. Da wir in der nächsten Übungsstunde ja noch den 2-SAT-Beweis von Blatt 2b besprechen müssen, habe ich das Blatt kurz gehalten.
Grüße
Florian
von
Florian Pigorsch [Assistent]
-
Verifikation eingebetter Systeme WS 2008/09
Hallo,
ab sofort kann auf die "alten" Vorlesungsaufzeichnungen zugegriffen werden.
Dazu meldet man sich mit den von Prof. Scholl genannten Zugangsdaten (Login: "verifikation", Passwort: ...) am eLectures-Portal an (https://electures.informatik.uni-freiburg.de/) und wählt die Vorlesung "Verifikation, Zuverlässigkeit und Test I".
Man findet dort die Aufzeichnungs
von
Florian Pigorsch [Assistent]
-
Verifikation eingebetter Systeme WS 2008/09
Hallo,
hiermit eröffne ich das Forum zur Vorlesung "Verifikation eingebetteter Systeme" im Wintersemester 2008/2009
Das Forum kann von jedem genutzt werden, bedarf allerdings einer Anmeldung (Link "Einloggen"). Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuche ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen
von
Florian Pigorsch [Assistent]
-
Verifikation eingebetter Systeme WS 2008/09
Ich habe jetzt vorläufige Versionen aller(!) Folien der Vorlesung hochgeladen. Aber Achtung: die Folien sind, wie gesagt, vorläufig und können sich noch ändern. Meist ist es sogar so, dass Professor Scholl noch am Tag der Vorlesung Änderungen an den Folien vornimmt. Aktualisierte Versionen der Folien werden sobald wie möglich (spätestens im Anschluss an die Vorlesung) hochgeladen.
Grüße
Flori
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2007/08
Hallo,
die Anmeldung zum Übungsportal ist jetzt geschlossen. Es ist also nicht mehr möglich sich neu am Portal zu registrieren.
Florian Pigorsch
Lehrstuhl Betriebssysteme
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2007/08
Hallo,
die Klausur ist korrigiert und die vorläufigen Noten sind auf der
Portalseite des Prüfungsamtes einzusehen. Wer sich nicht über das
Portal des Prüfungsamts angemeldet hat, kann seine vorläufige
Note bei mir per Email (an pigorsch@informatik.uni-frei
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Ist nicht vorgesehen. Ich habe allerdings noch ein paar Papierexemplare. Wer noch eine Probeklausur braucht, kann sie sich bei mir abholen.
Geb. 51, 02-032
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo,
das 12. Übungsblatt gibt es wegen der Testklausur erst am 1. Februar.
Grüße
Florian Pigorsch
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo "Don Vito",
die Aufgabe ist vollkommen korrekt gestellt. Ein kleiner Tipp:
schau dir mal an, wie die Funktion eines BDD-Knotens definiert ist (z.B. Seite 5 der Folien zu BDDs) und vergleiche diese Funktion mit der Booleschen Funktion, die durch mux(x,f,g) berechnet wird. Du wirst dann hoffentlich "gewisse Ähnlichkeiten" bemerken...
Grüße
Florian
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Gute Beobachtung!
Ich stimme mit dir überein, dass man den CSA1 nicht als FA realisieren muss, sondern je nach Eingangscarry optimierte Schaltungen benutzen kann.
Für Eingangscarry 0 nimmt man einen HA mit Kosten 2 und für Eingangscarry 1 ein XNOR und ein OR, Kosten 2.
Man kann also pro CSA1 3 Gatter einsparen (Original: FA mit Kosten 5, Optimiert: Kosten 2).
Insgesamt also:
C(CSA1) = 2
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Durch logisches Überlegen kann man alle Teile rauskriegen. Man kann aber auch den Brute-Force-Weg gehen und alle möglichen Teilekombinationen ausprobieren.
Ein kleiner Tipp: es kommen 2 AND, 2 OR und 2 XOR vor.
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo,
tatsächlich. Dann wird das unser Aufzeichnungshiwi noch nicht gemacht haben :(
Ich hoffe, dass die Aufzeichnungen bald da sind.
Grüße
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo,
die Folien und Aufzeichnungen werden über den eLectures-Server bereitgestellt (http://electures.informatik.uni-freiburg/, "Technische Informatik, WS2006/2007"). Zum Download der Materialien benötigt man die Zugangsdaten, die in der ersten Vorlesungsstunde mitgeteilt wurden. Hat jemand diese Daten aus irgendwelchen Gründen nicht mitgekriegt, bitt Mail an mich (pigorsch@informat
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo Mario,
zu 1.
Es müssen alle Befhele des Originalprogramms ausgeführt werden. Nichts darf weggelassen werden, auch nicht der JMP-Befehl. Es sollen nur zusätzliche NOOPs eingefügt werden, die die Konflikte verhindern.
zu 2.
in dieser Situation wird der neue identische Befehl erneut dekodiert und auch die Operanden werden erneut geholt (diese stehen aber inzwischen im Cache!).
Grüße
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Man kann den benötigten VPN-Client von der VPN-Seite des Rechenzentrums (http://portal.uni-freiburg.de/rz/dienste/vpn-wlan) herunterladen.
Link: "VPN von zu Hause und unterwegs bereits vorkonfiguriert !!!"
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo Ondrej,
die Vorlesungsfolien sowie die Aufzeichnungen sind auf der eLectures-Seite (http://electures.informatik.uni-freiburg.de) unter dem Stichwort "Technische Informatik, WS 2006/2007" zu finden. Die Folien und Aufzeichnungen sind ausschließlich aus dem Uni-Netz zugreifbar und außerdem mit einem Passwort versehen, welches in der ersten Vorlesungsstunde bekanntgegeben wurde.
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo,
das aktuelle Übungsblatt wird erst am 9.11. abgegeben und deshalb gibt es in den Übungsgruppen vom 6. bis 9.11. noch nichts zu besprechen.
Wir lassen deshalb die Termine am Montag, Dienstag und Donnerstag ausfallen.
Da die Mittwochsgruppen aber wegen des Feiertags am 1.11. schon nicht stattgefunden haben, finden diese am 8.11. normal statt.
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Hallo,
leider kann ich die Login-Daten nicht hier ins Forum posten. Benötigt jemand diese Daten, dann bitte per Mail bei mir melden (pigorsch@informatik.uni-freiburg.de).
Grüße
Florian
von
Florian Pigorsch [Assistent]
-
Technische Informatik WS 2006/07
Seite 4 von 5
Seiten: 12345