https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/ 2026-04-23T08:12:41+00:00 https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/ https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/_media/wiki:dokuwiki-128.png text/html 2008-01-21T20:50:37+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/start?rev=1200948637&do=diff Concurrent Object Oriented Languages Description In this course, we focus on concurrent programming in the object oriented language Java. The course consists of three main parts. In the first part, we discuss concurrent programming in general. In the second part, we concentrate on writing concurrent programs in Java. In the third and final part, we look at techniques and tools to verify concurrent Java programs. text/html 2008-01-21T20:43:38+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/sidebar?rev=1200948218&do=diff * Announcements * Calendar * Assignments * Assignment 1 * Assignment 2 * Assignment 3 * Presentations * Paper * Grades text/html 2008-01-21T20:41:07+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/presentations:start?rev=1200948067&do=diff Presentations There will be three presentations. Each presentation covers an assignment. Each presentation is 20 minutes. The presentations will be scheduled around the due dates of the assignments. October 9 Slot Student 1 [Marcin Kwietniewski] 2 open text/html 2008-01-21T20:37:32+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/jpf:start?rev=1200947852&do=diff Java PathFinder A lot of information about JPF can be found here. More information can be found here. Although it describes an old version of JPF, this manual may be useful. To configure JPF, you may want to use a jpf.properties file containing search.class = gov.nasa.jpf.search.heuristic.HeuristicSearch search.heuristic.class = gov.nasa.jpf.search.heuristic.BFSHeuristic