Die Suche ergab 54 Treffer

von Boddlnagg
23. Jul 2014 13:40
Forum: Archiv
Thema: Frage zu Top-Down Register-Allokation
Antworten: 1
Zugriffe: 905

Frage zu Top-Down Register-Allokation

Hi, ich werde aus dem Beispiel zur Top-Down Register-Allokation (ab Folie 21 im entsprechenden Foliensatz) nicht ganz schlau: Wenn ich Top-Down-Allokation richtig verstehe, werden den (durch eine externe Funktion bestimmten) wichtigsten Variablen Register zugeordnet. In dem Beispiel wären das vr1, v...
von Boddlnagg
22. Jul 2014 21:02
Forum: Archiv
Thema: Aufzeichnung vom 08.07
Antworten: 1
Zugriffe: 715

Re: Aufzeichnung vom 08.07

Die Vorlesung war an dem Tag kürzer. Die Aufzeichnung ist vollständig, obwohl nur 35min lang.
von Boddlnagg
22. Jun 2014 15:58
Forum: Archiv
Thema: DVNT:Welche vorlesung?
Antworten: 2
Zugriffe: 785

Re: DVNT:Welche vorlesung?

5. Block: Redundanzeliminierung, ab Folie 47
von Boddlnagg
13. Jun 2014 00:29
Forum: Archiv
Thema: Assignment 08 Task 1
Antworten: 5
Zugriffe: 734

Re: Assignment 08 Task 1

As I understand the task, we are actually supposed to render ALL weak references invalid, even if what it's pointing to is not garbage collected and the reference could still be alive. I implemented it that way and the tests passed, though this is certainly a bit weird. I'd appreciate if someone cou...
von Boddlnagg
19. Mai 2014 13:51
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 998

Re: Assignment 05 Task 1

I experienced the same problem concerning the specification tests and have not yet found a solution ... If you get 0/-1 something is wrong with your solution. This might, for example, indicate that the tests do not terminate AFAICT. Thank you! I managed to find a failing test case now and fixed the...
von Boddlnagg
19. Mai 2014 12:39
Forum: Archiv
Thema: Assignment 05 Task 1
Antworten: 11
Zugriffe: 998

Re: Assignment 05 Task 1

I experienced the same problem concerning the specification tests and have not yet found a solution ...
von Boddlnagg
22. Apr 2014 12:50
Forum: Archiv
Thema: Aufzeichnungen 17.4.?
Antworten: 4
Zugriffe: 1333

Re: Aufzeichnungen 17.4.?

LukasBanana hat geschrieben:
Xfel hat geschrieben:würde mir die Vorlesung aber gerne vor dem nächsten Termin ansehen
Dito
Dito

Zumindest aber würde ich gerne wissen, wie weit man (in den Folien) gekommen ist ...
von Boddlnagg
2. Apr 2014 17:46
Forum: Archiv
Thema: Sequenzkalkülfrage
Antworten: 1
Zugriffe: 652

Re: Sequenzkalkülfrage

Die Regel instEx entspricht im Prinzip exRight und instAll entspricht allLeft. KeY verwendet diese Regeln, wenn man per Drag&Drop eine Variable auf den Quantor zieht, um den Quantor zu instanziieren (daher der Name). In der Klausur sollt ihr (wie auch im Lab 3) stattdessen die Regeln exRight bzw. al...
von Boddlnagg
28. Mär 2014 18:44
Forum: Archiv
Thema: 1. Probeklausur: Aufgabe 7
Antworten: 2
Zugriffe: 718

Re: 1. Probeklausur: Aufgabe 7

Ohne jetzt irgendetwas weiteres zu der Aufgabe zu sagen: spec_public ändert bei Elementen, die sowieso public sind, überhaupt nichts. Mit spec_public kann man aber beispielsweise eine private Eigenschaft für Kontrakte trotzdem sichtbar machen.
von Boddlnagg
16. Feb 2014 15:10
Forum: Archiv
Thema: Lab3 BonusA
Antworten: 11
Zugriffe: 1657

Re: Lab3 BonusA

Tipp: In Java (und JML) gibt es noch einen ternären Operator.
von Boddlnagg
31. Jan 2014 21:43
Forum: Archiv
Thema: Lab 3.2: showError flag, wenn TextBoxRenderer == NULL
Antworten: 1
Zugriffe: 656

Re: Lab 3.2: showError flag, wenn TextBoxRenderer == NULL

Überlege mal, welche der beiden von dir genannten Möglichkeiten wahrscheinlicher ist, wenn ihr annehmt, dass das tatsächlich Code (bzw. Javadoc) ist, wie er in freier Wildbahn anzutreffen ist?

Tipp: Informelle Dokumentation bzw. Spezifikation ist selten 100% genau/vollständig.

Gruß, Patrick
von Boddlnagg
22. Dez 2013 14:23
Forum: Archiv
Thema: Lab 2 Problem 2.4
Antworten: 5
Zugriffe: 1104

Re: Lab 2 Problem 2.4

Ihr sollt den Intruder modifizieren, sodass Nicht-Determinismus reduziert wird. Wenn du den Angriff kennst, kannst du das ja ausnutzen, und an den richtigen Stellen die Auswahlmöglichkeiten des Intruders einschränken - so lange eben Spin den Angriff noch finden kann und die Suchtiefe dafür ausreicht.
von Boddlnagg
22. Dez 2013 13:36
Forum: Archiv
Thema: Lab 2 Problem 2.4
Antworten: 5
Zugriffe: 1104

Re: Lab 2 Problem 2.4

Wenn ihr schon einen möglichen Angriff gefunden habt, solltet ihr auch in der Lage sein, das Modell des Intruders so hinzubekommen, dass Spin euch einen Angriff als Trail ausgibt. Das ist als "Beweis" für die Korrektheit eines Angriffes schon nötig; wobei ihr eben auch einen einfacheren/schnelleren ...
von Boddlnagg
19. Dez 2013 17:54
Forum: Archiv
Thema: Lab 2 Problem 1.4
Antworten: 1
Zugriffe: 260

Re: Lab 2 Problem 1.4

Für 1.4 gilt das gleiche wie für 1.1/1.2: Nur Labels.
von Boddlnagg
17. Dez 2013 16:47
Forum: Archiv
Thema: Lab 2: Problem 1.1
Antworten: 6
Zugriffe: 850

Re: Lab 2: Problem 1.1

Ja, in Aufgabe 1.1 schreibst du die Formel hin (inkl. Labels), in Aufgabe 1.2 schreibst du noch eine Formel hin, und erst in Aufgabe 1.3 änderst du das Modell so, dass die Formeln erfolgreich verifiziert werden können.

Zur erweiterten Suche