https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/ 2026-05-10T14:41:45+00:00 https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/ https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/_media/wiki:dokuwiki-128.png text/html 2009-05-24T19:17:58+00:00 huxiashi (huxiashi@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/presentations:start?rev=1243192678&do=diff Presentations There will be three presentations. Each presentation covers an assignment. Each presentation is 15 minutes. The presentations will be scheduled around the due dates of the assignments. March 26 * [Franck van Breugel] April 2 * [Xuanqing Chu] * [Alexandre Walzberg] * [Xin Zhang] * [Natalia Bogdan] April 7 text/html 2009-05-20T01:04:15+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/start?rev=1242781455&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 2009-05-19T21:29:23+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/whats_new?rev=1242768563&do=diff Announcements May 19 The “Paper” page has been expanded. May 7 No office hours today. May 5 Assignment 3 has been slightly simplified. April 13 Since “suggested deadlines” seem not to work very well, I have decided to drop “suggested text/html 2009-05-19T21:27:58+00:00 franck (franck@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6490A/paper?rev=1242768478&do=diff Paper The paper should cover the material discussed in the three assignments. The paper should not be produced by cutting and pasting parts of the assignments. The paper should have an abstract, introduction, conclusion and bibliography. The rest of the paper should address your algorithm, your implementation in Java and your verification effort.