Die Suche ergab 10 Treffer
- 10. Nov 2013 16:14
- Forum: Archiv
- Thema: [Lab 1] shared memory synchronization
- Antworten: 5
- Zugriffe: 747
Re: [Lab 1] shared memory synchronization
Use the same close() function that was used to close the pipe file descriptors.
- 23. Sep 2013 19:06
- Forum: Archiv
- Thema: Weak fairness
- Antworten: 3
- Zugriffe: 692
Re: Weak fairness
Danke. Somit ist also auch dieses Beispiel falsch.
- 23. Sep 2013 17:58
- Forum: Archiv
- Thema: Weak fairness
- Antworten: 3
- Zugriffe: 692
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,...
- 5. Dez 2012 15:10
- Forum: Archiv
- Thema: Lab 1 Reihenfolge
- Antworten: 2
- Zugriffe: 347
Re: Lab 1 Reihenfolge
Danke
- 4. Dez 2012 16:46
- Forum: Archiv
- Thema: Lab 1 Reihenfolge
- Antworten: 2
- Zugriffe: 347
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?
- 29. Okt 2012 13:29
- Forum: Archiv
- Thema: Räume der Übungsgruppen
- Antworten: 7
- Zugriffe: 487
Re: Räume der Übungsgruppen
Klick links auf "Teilnehmer/innen" und dann auf deinen Namen.
- 24. Okt 2012 21:14
- Forum: Archiv
- Thema: Spin auf Linux
- Antworten: 14
- Zugriffe: 744
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.
- 20. Okt 2011 12:12
- Forum: Archiv
- Thema: Einschreibekennwort
- Antworten: 27
- Zugriffe: 1782
Re: Einschreibekennwort
Hallo,
wäre dankbar wenn jemand auch mir das Passwort schicken könnte.
Edit: Danke, hab es.
wäre dankbar wenn jemand auch mir das Passwort schicken könnte.
Edit: Danke, hab es.
- 4. Mai 2011 17:14
- Forum: Archiv
- Thema: E-Mail-Adresse von Julian Bitterlich
- Antworten: 2
- Zugriffe: 735
Re: E-Mail-Adresse von Julian Bitterlich
Danke, hab die Adresse gefunden.
- 4. Mai 2011 12:09
- Forum: Archiv
- Thema: E-Mail-Adresse von Julian Bitterlich
- Antworten: 2
- Zugriffe: 735
E-Mail-Adresse von Julian Bitterlich
Hallo,
kann mir jemand per PN die E-Mail-Adresse von meinem Tutor, Julian Bitterlich, schicken? zeigt nur
an.
kann mir jemand per PN die E-Mail-Adresse von meinem Tutor, Julian Bitterlich, schicken?
Code: Alles auswählen
finger Bitterlich
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)