User Tools

Site Tools


calendar

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
calendar [2007/11/02 23:38] franckcalendar [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. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2): 203-232, April 2003.
  
 +More information about Java PathFinder can be found
 +[[http://javapathfinder.sourceforge.net|here]].
  
 ===== November 13 ===== ===== November 13 =====
  
-[[ns1:presentations|Presentations]]+[[presentations:start|Presentations]] 
  
 ===== November 15 ===== ===== November 15 =====
  
-Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2)203-232, April 2003.+[[presentations:start|Presentations]] 
 + 
 +===== November 20 ===== 
 + 
 +[[presentations:start|Presentations]] 
 + 
 + 
 +===== November 22 ===== 
 + 
 +More information about JPF can be found 
 +[[jpf:start|here]].  Students are encouraged 
 +to add information.
  
-More information about Java PathFinder can be found 
-[[http://javapathfinder.sourceforge.net|here]]. 
  
 ===== 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|Presentations]]+[[presentations:start|Presentations]] 
 + 
 +===== December 6 ===== 
 + 
 +[[presentations:start|Presentations]]
  
calendar.1194046696.txt.gz · Last modified: 2007/11/02 23:38 by franck

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki