Die Suche ergab 75 Treffer

von jack_90
7. Jan 2011 16:16
Forum: Archiv
Thema: P3: ## und treeordered mit flatten
Antworten: 3
Zugriffe: 571

P3: ## und treeordered mit flatten

Hi,
wir haben beide genannten Funktionen mithilfe der flatten Funktion implementiert.
Jetzt hängen wir leider an den Beweisen der jeweils ersten Lemmas.
Frage hierzu:
Macht es überhaupt Sinn die Funktionen mithilfe von flatten zu realisieren oder erschwert das nur den Beweis?
von jack_90
30. Nov 2010 16:07
Forum: Archiv
Thema: Übung 5.1
Antworten: 11
Zugriffe: 849

Re: Übung 5.1

Ist es überhaupt notwendig bei Basic Block Coverage zu testen, ob die Methode ihre Funktion erfüllt? "Basic block coverage is achieved if all basic blocks of a method are executed" (aus Foliensatz 9, Folie 41) Es müsste also reichen jede Code-Zeile zumindestens einmal ausgeführt zu haben. Oder ist m...
von jack_90
16. Nov 2010 19:01
Forum: Archiv
Thema: Uebung 4, Aufgabe 1
Antworten: 10
Zugriffe: 920

Re: Uebung 4, Aufgabe 1

ugs: w fängt mit "a" an, dann eine beliebige anzahl (außer 0) an "ab", abschließend "b".
also zB: w = aabb oder w = aababb
so hab ich das verstanden, keine garantie auf Korrektheit^^
wobei ich gerade selber an meiner Lösung zweifel :oops:
von jack_90
31. Okt 2010 12:50
Forum: Archiv
Thema: VeriFun unter Windows7 64 bit
Antworten: 8
Zugriffe: 1386

Re: VeriFun unter Windows7 64 bit

Ich habe die JRE 1.5 gar nicht installiert. Einfach von http://java.sun.com/javase/downloads/index_jdk5.jsp das JDK laden. Entpacken und bei der installation einfach den Pfad zum JRE angeben. Er meckert zwar während, dass er kein installiertes JDK findet (ist anscheinend auch notwendig), aber jdf fu...
von jack_90
6. Okt 2010 23:50
Forum: Archiv
Thema: Bonus
Antworten: 4
Zugriffe: 522

Re: Bonus

Wird es denn eine aktualisierte Notenliste geben (ausgehängt oder online)?
damit man das Endergebnis nochmal überprüfen kann, nachdem ja anscheinend einige Schreibfehler aufgetaucht sind :oops:
von jack_90
28. Sep 2010 18:59
Forum: Archiv
Thema: Klausur SS10
Antworten: 155
Zugriffe: 9765

Re: Klausur SS10

auch ich würde mich über ne PN mit den Ergebnissen freuen.
Danke!

Edit: Link bekommen. Danke.
von jack_90
10. Sep 2010 00:06
Forum: Archiv
Thema: Zusammenfassung des Lerninhalts
Antworten: 5
Zugriffe: 1500

Re: Zusammenfassung des Lerninhalts

Tolle Zusammenfassung!
Großes Dankeschön auch von mir
von jack_90
14. Jul 2010 15:52
Forum: Archiv
Thema: Klausurthemen (?)
Antworten: 3
Zugriffe: 615

Re: Klausurthemen (?)

Hi,
es wurde nichts ausgeschlossen. Themen sind die restlichen Kapitel aus dem Skript:
Lineare Algebra, Funktionen mehrerer reeller Veränderlicher und Diff'gleichungen

Schau dir am besten alte Klausuren an, dann ist klar welche Aufgabentypen dran kommen.
von jack_90
14. Apr 2010 13:49
Forum: Archiv
Thema: Klausurnoten etc.
Antworten: 95
Zugriffe: 6381

Re: Klausurnoten etc.

@ Tomek: Eine Möglichkeit ist zb über partielle Integration von ln(x)*1
von jack_90
11. Apr 2010 17:21
Forum: Archiv
Thema: BEginn der Übungen
Antworten: 16
Zugriffe: 1636

Re: BEginn der Übungen

Naja, laut VV beginnen die Übungen zu GdI II auch schon in der ersten Woche, was aber nicht so ist.
Aber nachdem es in Mathe I auch so war und auch schon das erste Übungsblatt oben ist, vermute ich mal, dass es bereits in der ersten Woche losgeht.
von jack_90
14. Feb 2010 19:14
Forum: Archiv
Thema: Verzögerung im Pipeline-MIPS
Antworten: 4
Zugriffe: 645

Re: Verzögerung im Pipeline-MIPS

Auch wenn die Klausur nun vorbei ist, würde ich doch allzu gerne wissen wo hier in meinem Gedankengang der Fehler liegt.
Keiner eine Idee? oder noch besser die Lösung^^
von jack_90
11. Feb 2010 13:27
Forum: Archiv
Thema: CPI vom Eintakt-Prozessor = 1 ?
Antworten: 3
Zugriffe: 664

Re: CPI vom Eintakt-Prozessor = 1 ?

Ich vermute mal, dass das Schreiben der Daten parallel zur Ausführung des 2. Befehls abläuft.
Wenn der MIPS dann erstmal läuft, schafft er jeden Takt eine Instruktion, also CPI = 1.
von jack_90
10. Feb 2010 19:50
Forum: Archiv
Thema: Verzögerung im Pipeline-MIPS
Antworten: 4
Zugriffe: 645

Re: Verzögerung im Pipeline-MIPS

S. 420 im Buch, da werden alle Phasen aufgeführt.
Unter solution kann man dann erkennen, welche Zeiten eingesetzt wurden.
Alternativ: Vorlesung Kapitel 7, Folie 106
von jack_90
10. Feb 2010 18:26
Forum: Archiv
Thema: Verzögerung im Pipeline-MIPS
Antworten: 4
Zugriffe: 645

Verzögerung im Pipeline-MIPS

Kurze Frage zur Memory-Phase. Memory: t_{pcq}+ t_{memwrite}+ t_{setup} Warum wird bei der Memory-Phase t_{memwrite} verwendet und nicht t_{memread} , was eigtl noch langsamer ist? noch eine kleine Frage zur Decode und Writeback-Phase: Das Fehlen von t_pcq in der Decode bzw das Fehlen von t_setup in ...
von jack_90
10. Feb 2010 01:21
Forum: Archiv
Thema: Aufgabe 12.3.b lösungsvorschlag falsch?
Antworten: 8
Zugriffe: 774

Re: Aufgabe 12.3.b lösungsvorschlag falsch?

Ich sehe das genauso. In S4 wird der add Befehl berechnet. Im nächsten Zustand müsste das Ergebnis dann in das Registerfeld geschrieben werden. Da muss MemToReg dann auf 0 stehen. Habe das ganze sowieso etwas anders gelöst. Ich hab es bei 5 Takten belassen, aber etwas mehr Hardware spendiert. Parall...

Zur erweiterten Suche