Die Suche ergab 13 Treffer

von schamane
27. Jan 2018 17:05
Forum: Archiv
Thema: Module 8: SI security theorem
Antworten: 1
Zugriffe: 237

Module 8: SI security theorem

Hi,

slide 62 in module 8 states "If L is strongly low secure then L is SI-secure." However, I do net recall the definition of strong low security. As the remainder of the slide is also talking about strong security, I assume that the "low" in that sentence is too much.
von schamane
3. Dez 2017 12:17
Forum: Archiv
Thema: Question about exercise 2.3c
Antworten: 1
Zugriffe: 365

Question about exercise 2.3c

Hi, upon redoing the exercises I noticed something that I do not understand regarding exercise 2.3c. The task is to solve the equations for Live Variables analysis of the given program. The statement associated with label 2 is x := x + 1. So I started by computing kill_LV(2) = {x} generate_LV(2) = {...
von schamane
20. Okt 2017 10:43
Forum: Archiv
Thema: link to svn not working?
Antworten: 2
Zugriffe: 527

Re: link to svn not working?

Thanks, that did the trick!
von schamane
20. Okt 2017 10:32
Forum: Archiv
Thema: link to svn not working?
Antworten: 2
Zugriffe: 527

link to svn not working?

Hi, as of right now the link to the SVN given on the STG homepage does not seem to work: https://repository.st.informatik.tu-darmstadt.de/teaching/copl/2017/ I am unaware if this is a temporary server issue or if the link is wrong, since the SEDC slides are hosted on a different server. I'd apprecia...
von schamane
15. Apr 2016 10:13
Forum: Applied Static Analysis
Thema: Lecture Slides
Antworten: 3
Zugriffe: 593

Re: Lecture Slides

Thank you very much.
von schamane
14. Apr 2016 18:57
Forum: Applied Static Analysis
Thema: Lecture Slides
Antworten: 3
Zugriffe: 593

Re: Lecture Slides

Thank you very much for releasing the slides. Could you also upload a pdf version of the orga slides? I can only seem to find a file with the extension .key for slideset 00. Not using Mac OS X it is rather difficult for me to open that file..

Thanks!
von schamane
4. Sep 2015 10:04
Forum: Archiv
Thema: Normalformen: Wikipedia vs Vorlesungsfolien
Antworten: 7
Zugriffe: 943

Re: Normalformen: Wikipedia vs Vorlesungsfolien

Es scheint mir auch ganz, dass in den Übungen die Vorlesungs-Definition verwendet wird. Dem entgegen steht, so wie ich es herauslese, das Resultat in dem von dir gerade verlinkten Thread und obiger Post Roberts: Ich habe mit meinem Chef gesprochen und wir haben uns entschieden, es nach der "reinen" ...
von schamane
3. Sep 2015 18:11
Forum: Archiv
Thema: Normalformen: Wikipedia vs Vorlesungsfolien
Antworten: 7
Zugriffe: 943

Re: Normalformen: Wikipedia vs Vorlesungsfolien

Der hier angesprochene Unterschied fällt nach meinem Verständnis auch bei Aufgabe 5.2 des Tutoriums 5 ins Gewicht: Es gibt die Schlüsselkandidaten {C,E}, {B,F}, {A,E,F}. Nun wird argumentiert, die Relation sei vor der Synthese in 2NF, weil alle Attribute von CE abhingen. Allerdings hängt das Attribu...
von schamane
20. Jul 2015 18:23
Forum: Archiv
Thema: Raumplan Klausur
Antworten: 2
Zugriffe: 545

Re: Raumplan Klausur

Da es auf der weder auf der Veranstaltungs-Website noch hier nochmal explizit steht, frage ich lieber noch mal nach: Die Bearbeitungszeit für die Klausur beginnt um 12 Uhr, sprich man sollte entsprechend früher da sein?

Danke,
schamane
von schamane
15. Jul 2015 17:27
Forum: Archiv
Thema: Bsp Vorlesung BypassFIFOF kompiliert nicht
Antworten: 1
Zugriffe: 321

Bsp Vorlesung BypassFIFOF kompiliert nicht

Hallo, zum besseren Verständnis habe ich das module mkBypassFIFOF der Vorlesung (Folie 116) kopiert und (auf den Poolrechnern) zu kompilieren versucht. Hierbei bekomme ich jedoch einen Fehler, den ich nicht zu beheben in der Lage bin: $ bsc -u -sim BypassFIFOF.bsv checking package dependencies compi...
von schamane
12. Jul 2015 19:10
Forum: Archiv
Thema: Klausurhilfsmittel
Antworten: 5
Zugriffe: 1051

Re: Klausurhilfsmittel

Hey, zum Bluespec Reference Sheet habe ich eine Frage, genauer gesagt zum Abschnitt über ActionValue Methoden: Der Methodensignatur, wie sie dort angegeben ist, kann ich den Rückgabetyp der Methode nicht erkennen. Im Abschnitt über Value Methoden steht method *Type* method_name ({paramter}) [...], a...
von schamane
12. Jul 2015 18:53
Forum: Archiv
Thema: verschiedene Arten von Zuweisungen
Antworten: 3
Zugriffe: 378

verschiedene Arten von Zuweisungen

Hallo, leider bin ich mir nicht sicher, ob ich die 3 verschiedene Arten von Zuweisungen in Bluespec richtig verstanden habe. 1. = Wird benutzt um temporäre Werte mit let zuzuweisen. zB let sum = x+y; (siehe Folie 23) 2. <= Zuweisungen an Register oder andere Modulinstanzen (also Zustand). zB sum <= ...
von schamane
23. Feb 2015 18:43
Forum: Archiv
Thema: NFRs: Frage zu Delivery Requirements
Antworten: 1
Zugriffe: 291

NFRs: Frage zu Delivery Requirements

Hallo, beim erneuten Durchgehen der Übungen bin ich bei Übung 2 hängen geblieben, als es um non-functoinal requirements ging. Wie mir aufgefallen ist, sind einzig in der Besprechung zu Aufgabe 3 Beispiele für die verschiedenen NFRs genannt. Nicht gänzlich nachvollziehen kann ich den Zusammenhang von...

Zur erweiterten Suche