George Mason University
DEPARTMENT OF COMPUTER SCIENCE

CS 706 Concurrent Software Systems, Fall 2012

Thursday, 4:30PM - 7:10PM, Nguyen Engineering Building 4705 (room changed)


Prerequisites | Description | Readings | Syllabus | Grading | Late | Home Page



Professor Richard Carver
703-993-1550
rcarver@cs.gmu.edu
(Please prefix the subject of your email with CS706.)

Course office hours: Thursday before class (3:30-4:15pm)
Office: Nguyen Engineering Building 5318


PREREQUISITES :

CS 571 and (SWE 621 or 631 or equivalent).


DESCRIPTION :

CS706 covers issues related to the development of concurrent software systems. Topics include: concurrent programming languages and libraries (Java, C++/Win32/Pthreads), specification, design, verification, and validation of concurrent programs.


READINGS:

Required: Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs, by Carver and Tai. (On reserve in the library: Modern Multithreading QA76.642 .C38 2006)


SYLLABUS:


LOGISTICS AND GRADING:

Homeworks and projects will be assigned. A midterm exam will be given. Students are required to solve concurrent programming problems and to check their solutions by using verification, testing, and debugging tools.

The grade for the course will be based on the following components: (i) Programming and Homework Assignments (50%) (iii) Mid-term exam (25%) (iii) Project (25%).

LATE ASSIGNMENTS AND PROJECTS:

The late submission policy is as follows: assignments will be marked down 5% for each late day for the first three days after the due date. Beyond that assignments will be marked down 10% for each late day.


If you are a student with a disability and you need academic accommodations, please see me and contact the Office of Disability Services (ODS) at 993-2474. All academic accommodations must be arranged through the ODS.

MIST/C:

This course is delivered to the Internet section online using the Moodle learning management system with MIST/C, which has replaced the Network EducationWare (NEW) delivery system. Students in all sections will have accounts on Moodle and download the slide files from the Moodle course page. However, only students in online sections will be able to connect to class sessions and to download recordings of the lectures. Login information will be sent to all enrolled students by email, before the first scheduled class.

CLASS HOME PAGE

Calendars

GMU Academic Calendar    |    GMU Final Exam Schedule    |    Calendar of Religious Holidays