calendar
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| calendar [2007/11/02 23:35] – franck | calendar [2007/11/23 13:50] (current) – franck | ||
|---|---|---|---|
| Line 83: | Line 83: | ||
| A solution to the readers-writers problem in Java can be found | A solution to the readers-writers problem in Java can be found | ||
| [[readers-writers|here]]. | [[readers-writers|here]]. | ||
| + | |||
| ===== October 9 ===== | ===== October 9 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== October 11 ===== | ===== October 11 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== October 16 ===== | ===== October 16 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== October 18 ===== | ===== October 18 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== October 23 ===== | ===== October 23 ===== | ||
| - | [[presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| The sleeping barber problem can be found in Section 4.2 | The sleeping barber problem can be found in Section 4.2 | ||
| Line 149: | Line 150: | ||
| ===== November 6 ===== | ===== November 6 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== November 8 ===== | ===== November 8 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. |
| + | |||
| + | More information about Java PathFinder can be found | ||
| + | [[http:// | ||
| ===== November 13 ===== | ===== November 13 ===== | ||
| - | [[ns1: | + | [[presentations:start|Presentations]] |
| + | |||
| + | |||
| + | ===== November 15 ===== | ||
| + | |||
| + | [[presentations:start|Presentations]] | ||
| + | |||
| + | ===== November 20 ===== | ||
| + | |||
| + | [[presentations: | ||
| + | |||
| + | |||
| + | ===== November 22 ===== | ||
| + | |||
| + | More information about JPF can be found | ||
| + | [[jpf: | ||
| + | to add information. | ||
| ===== November 27 ===== | ===== November 27 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== November 29 ===== | ===== November 29 ===== | ||
| - | [[ns1:presentations|Presentations]] | + | [[presentations:start|Presentations]] |
| ===== December 4 ===== | ===== December 4 ===== | ||
| - | [[ns1: | + | [[presentations:start|Presentations]] |
| + | |||
| + | ===== December 6 ===== | ||
| + | |||
| + | [[presentations:start|Presentations]] | ||
calendar.1194046546.txt.gz · Last modified: 2007/11/02 23:35 by franck