Die Suche ergab 73 Treffer

von xshisdi32
18. Okt 2015 18:55
Forum: Das Wesentliche
Thema: Kampfmittelsondierung am Piloty / Explosive ordnance exploratory next to the Computer Science building (20.10.2015)
Antworten: 1
Zugriffe: 498

Re: Kampfmittelsondierung am Piloty / Explosive ordnance exp

Sehr geehrter Damen und Herren, hiermit möchte ich Sie über folgenden Sachverhalt in Kenntnis setzen: Das Grünflächenamt der Wissenschaftsstadt Darmstadt hat uns darüber unterrichtet, dass es im Herrngarten sog. Bombenblindgänger-Verdachtspunkte gibt. U.A. gibt es einen Punkt (Nr. 53 im beigefügten...
von xshisdi32
20. Jul 2015 18:53
Forum: Archiv
Thema: Erste Beispielaufgabe zur Klausur mit FIFOs
Antworten: 5
Zugriffe: 909

Re: Erste Beispielaufgabe zur Klausur mit FIFOs

moritz31 hat geschrieben:blöde Frage, was ist eigentlich der Unterschied zwischen ner Pipeline und ner FIFO ?
Siehe Reference Guide, abschnitt C.2.5.
von xshisdi32
22. Apr 2015 13:28
Forum: Archiv
Thema: Link zur Moodle Kurs
Antworten: 1
Zugriffe: 424

Link zur Moodle Kurs

Wo ist das Moodle Kurs? Der TuCaN Seite linkt zur SS2014...
von xshisdi32
3. Nov 2014 01:34
Forum: Designing code analyses for large software systems (DECA)
Thema: Font embedding in slides to prevent viewing problems
Antworten: 1
Zugriffe: 398

Font embedding in slides to prevent viewing problems

Dear Mr. Bodden,

Would it be possible to export the slides as PDF/A? This would make the slides easier to view correctly, since they become hard to read if one does not possess the necessary fonts.

Thanks in advance.

Regards,
Janus Troelsen
2014-11-03-012755_1280x800_scrot.png
screenshot showing the issue when missing fonts
2014-11-03-012755_1280x800_scrot.png (45.27 KiB) 396 mal betrachtet
von xshisdi32
3. Apr 2014 15:29
Forum: Archiv
Thema: nullable testexam 1
Antworten: 3
Zugriffe: 646

Re: nullable testexam 1

Siehe Seite 16 (PDF Seite 25): http://www.eecs.ucf.edu/~leavens/JML/Ol ... refman.pdf (bestätigt Herr Wasser)
von xshisdi32
24. Jan 2014 12:03
Forum: Archiv
Thema: Deterministische Intruder
Antworten: 1
Zugriffe: 460

Deterministische Intruder

Hallo,

Wir haben einen Intruder geschreiben der deterministisch ist. Dass heisst, er besteht aus 5 Receive Befehle und vier Send Befehle. Wird er als Lösung für 2.4 zugelassen?
von xshisdi32
23. Jan 2014 14:05
Forum: Archiv
Thema: Suchtiefe 2.4
Antworten: 1
Zugriffe: 546

Re: Suchtiefe 2.4

secretA bekommt man mit Suchtiefe 72 und kleine nicht-determinismus-Begrenzungen, da nur 3 Channel Operationen nötig sind...
von xshisdi32
13. Dez 2013 14:32
Forum: Archiv
Thema: Lab 2 Problem 1.2 Interpretation
Antworten: 2
Zugriffe: 369

Re: Lab 2 Problem 1.2 Interpretation

OK. Danke sehr :)
von xshisdi32
13. Dez 2013 12:36
Forum: Archiv
Thema: Anrechnung von Teilbonus
Antworten: 1
Zugriffe: 208

Anrechnung von Teilbonus

Bekommt man den (Teilb|B)onus wenn man kleine Fehler in die Bonusaufgaben hat, und deshalb im Lab kein Bonus angerechnet kriegt? Wir hatten im Lab 1 Bonus A bei unsere Mutex zwei Zeilen zu viel abgedeckt und haben deshalb kein Bonus gekriegt. Bonus B war bei uns unangetastet und kann deshalb als tad...
von xshisdi32
13. Dez 2013 12:17
Forum: Archiv
Thema: Lab 2 Problem 1.2 Interpretation
Antworten: 2
Zugriffe: 369

Lab 2 Problem 1.2 Interpretation

Wir finden es problematisch, diesen Satz zu verstehen: every time a reader process wants to read, it can only be stopped from doing so by --------------a--------------- at least one writer process being able to write an infinite number of times. ------------------------b-----------------------------...
von xshisdi32
13. Dez 2013 11:56
Forum: Archiv
Thema: Implikation/Äquivalenzoperator im Buch
Antworten: 0
Zugriffe: 153

Implikation/Äquivalenzoperator im Buch

Warum werden die Implikation- und Äquivalenzoperatoren erst in im Ben-Ari im Sektion 5.2 "Introduction to Linear Temporal Logic" eingeführt? Die sind doch einfach boolsch und hätten mit die anderen boolschen Operatoren in Sektion 1.4 auf Seite 22 eingeführt werden sollen! :evil: EDIT: Der XOR-Operat...
von xshisdi32
13. Dez 2013 10:34
Forum: Archiv
Thema: Lab2: Problem 1.1 in Hinblick auf 1.2
Antworten: 2
Zugriffe: 344

Re: Lab2: Problem 1.1 in Hinblick auf 1.2

In 1.2 wird mit diesem zitierten Satz einfach erklärt warum "keep[ing] all processes from entering their critical sections if another process is in its critical section" nicht angemessen wäre. Eine solche LTL zu formulieren ist auch nicht die Aufgabe.
von xshisdi32
11. Dez 2013 15:46
Forum: Archiv
Thema: Lab 2 Problem 1.2 Liveness Property
Antworten: 1
Zugriffe: 375

Lab 2 Problem 1.2 Liveness Property

Laut Folie 21 fängt eine Liveness Property mit "<>" an. Es würde aber Sinn machen, diese LTL mit "[] <>" anzufangen, da unsere Property immer wieder irgendwann passieren muss. So unsere Frage ist: Kann eine Liveness Property mit "[] <>" anfangen? In die Aufgabestellung steht nämlich "every time [......
von xshisdi32
6. Dez 2013 12:20
Forum: Archiv
Thema: Lab 2: Problem 1.1
Antworten: 6
Zugriffe: 768

Lab 2: Problem 1.1

Wie kann man zwei Prozesse unterscheiden, wenn man nur Labels nutzen darf? In Ben-Ari steht auf Seite 38, dass man Prozesse mittels PID unterscheiden kann, aber das dürfen wir ja nicht. Man könnte auch den Writer Prozesscode duplizieren, aber das ist ja auch nicht zugelassen. Wir wissen nicht, wie m...
von xshisdi32
3. Dez 2013 18:01
Forum: Archiv
Thema: Lab 2 + "Propositional Logic and Temporal Logic" slides
Antworten: 1
Zugriffe: 282

Lab 2 + "Propositional Logic and Temporal Logic" slides

Wann wird der Lab 2 voraussichtlich veröffentlicht? Die Deadline is ja schon am 22sten. Auf https://www.se.tu-darmstadt.de/teaching/courses/formale-grundlagen-der-informatik-iii/lecture-slides-and-examples/ fehlen die "printer overlay" slides für die Vorlesung "Propositional Logic and Temporal Logic".

Zur erweiterten Suche