Die Suche ergab 10 Treffer

von JanH
10. Nov 2013 16:14
Forum: Archiv
Thema: [Lab 1] shared memory synchronization
Antworten: 5
Zugriffe: 705

Re: [Lab 1] shared memory synchronization

Use the same close() function that was used to close the pipe file descriptors.
von JanH
23. Sep 2013 19:06
Forum: Archiv
Thema: Weak fairness
Antworten: 3
Zugriffe: 652

Re: Weak fairness

Danke. Somit ist also auch dieses Beispiel falsch.
von JanH
23. Sep 2013 17:58
Forum: Archiv
Thema: Weak fairness
Antworten: 3
Zugriffe: 652

Weak fairness

Hallo, ich habe noch eine Frage zu weak fairness: int var = 0; active proctype p1() { do :: var = 1 :: var = 2 od } active proctype p2() { var = 3 } ltl m1 { <>(var == 1) } ltl m2 { <>(var == 2) } ltl m3 { <>(var == 3) } Ich dachte dass m1, m2 und m3 wahr sind, laut spin gilt aber nur m3. Das heißt,...
von JanH
5. Dez 2012 15:10
Forum: Archiv
Thema: Lab 1 Reihenfolge
Antworten: 2
Zugriffe: 293

Re: Lab 1 Reihenfolge

Danke
von JanH
4. Dez 2012 16:46
Forum: Archiv
Thema: Lab 1 Reihenfolge
Antworten: 2
Zugriffe: 293

Lab 1 Reihenfolge

Soll die erste aufzunehmende Gabel eines Philosophen (wenn beide Gabeln gerade nicht von einem anderen Philosophen benutzt werden) nichtdeterministisch ausgewählt werden oder darf man festlegen, dass ein Philosoph z.B. immer zuerst die linke Gabel und danach die rechte aufnimmt?
von JanH
29. Okt 2012 13:29
Forum: Archiv
Thema: Räume der Übungsgruppen
Antworten: 7
Zugriffe: 443

Re: Räume der Übungsgruppen

Klick links auf "Teilnehmer/innen" und dann auf deinen Namen.
von JanH
24. Okt 2012 21:14
Forum: Archiv
Thema: Spin auf Linux
Antworten: 14
Zugriffe: 678

Re: Spin auf Linux

iSpin funktioniert auch (tcl ist schon installiert), aber erst nachdem man das Verzeichnis in dem sich spin befindet zu $PATH hinzugefügt hat.
von JanH
20. Okt 2011 12:12
Forum: Archiv
Thema: Einschreibekennwort
Antworten: 27
Zugriffe: 1594

Re: Einschreibekennwort

Hallo,
wäre dankbar wenn jemand auch mir das Passwort schicken könnte.

Edit: Danke, hab es.
von JanH
4. Mai 2011 17:14
Forum: Archiv
Thema: E-Mail-Adresse von Julian Bitterlich
Antworten: 2
Zugriffe: 705

Re: E-Mail-Adresse von Julian Bitterlich

Danke, hab die Adresse gefunden.
von JanH
4. Mai 2011 12:09
Forum: Archiv
Thema: E-Mail-Adresse von Julian Bitterlich
Antworten: 2
Zugriffe: 705

E-Mail-Adresse von Julian Bitterlich

Hallo,

kann mir jemand per PN die E-Mail-Adresse von meinem Tutor, Julian Bitterlich, schicken?

Code: Alles auswählen

finger Bitterlich
zeigt nur

Code: Alles auswählen

Never logged in.
New mail received Tue Jun 16 11:17 2009 (CEST)
Unread since Tue May 12 10:11 2009 (CEST)
an.

Zur erweiterten Suche