MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 21:57:52 GMT
Content-Type: text/html
Content-Length: 6780
Last-Modified: Tuesday, 05-Dec-95 21:24:02 GMT
CS 380D: Distributed Computing I Syllabus
CS 380D: Distributed Computing I
Fall 1995 | Professor: Jayadev Misra | TA: Panagiotis
(Peter) Manolios
COURSE SYLLABUS
- TABLE OF CONTENTS
- Course information
- Meeting time and location
- Instructor
- Teaching Assistant
- Course Topics
- Discussion Sessions
- Study Groups
- Grading system
- Exams
- Reading material
- Announcements
Unique number: 47680.
Course number: C S 380D.
Prerequisite: C S 372.
Days: Tue, Thr
Time: 11:00-12:30 AM
Place: WEL 2.256
Name: Professor
Misra
Office: Tay 3.150C
Office hours: Tue, Thr 2:30-3:30 PM or by appointment
Phone: 512-471-9550
Email:
misra@cs.utexas.edu
Name: Panagiotis (Peter) Manolios
Office: Tay 5.112
Phone: 512-471-9575
Email:
pete@cs.utexas.edu
Discussion Sessions: Mon. 5:00-6:00PM, Fri. 10:00-11:00AM in PAI 5.60
Office hours: Mon. 6:00-7:00PM, Fri. 11:00-Noon in Pai 5.60
The goal of this course is to present a number of important ideas in
distributed computing and provide rigorous methods for reasoning about
distributed programs. The topics are:
- Distributed detection algorithms
- Distributed resource allocation
- Logical clocks
- Global snapshot
- Logics for reasoning about distributed algorithms
- Safety and progress
- Program composition
- Distributed program construction
The discussion sessions will allow us to discuss topics presented in class in
detail and on occasion to cover background material. Weekly handouts
containing exercises will be distributed (in class and on the Web) and
selected solutions will be
presented during the discussion sessions. You only need attend one of the
weekly sessions; both cover the same material.
We recommend that you organize yourselves into study groups of five or six
students who meet once a week to discuss the course. You should review the
lectures, do the readings, and attempt the homework assignments before
meeting as a group.
- First exam = 25%
- Second exam = 37.5%
- Third exam = 37.5%
- October 3, 1995 in Sachez Building (SZB) 370 from 11AM-1PM
- November 2, 1995 in Garrison (GAR) 7 from 11AM-12:50PM
- December 7, 1995 in Garrison (GAR) 7 from 11AM-12:50PM
Books
- Parallel Program Design: A Foundation by K. Mani Chandy
and Jayadev Misra, Addison-Wesley, 1988.
- (for reference)Predicate Calculus and Program Semantics
by Edsger W. Dijkstra and Carel S. Scholten, Springer-Verlag, 1990.
- (for reference)Fairness
by N. Francez, Springer-Verlag, 1986.
Papers (tentative)
- All students should send e-mail to
Panagiotis (Peter) Manolios , so a list of e-mail addresses can be
compiled.
- The newsgroup utexas.class.cs380d
has been set up to facilitate discussion between class members.
- Drop dates: Please consult the course schedule to learn the
the last dates to drop the course without academic penalty.
- Updated info on rooms and times of exams
- In a few weeks the University Co-op will begin the process of returning
unsold Fall textbooks to the publishers, so if you want to purchase any
of the recommended books and have not yet done so, now is the time.
Last updated 12/5/95
Page prepared by Panagiotis Manolios. Any suggestions, comments welcome.
Distributed Computing I,
Department of Computer Sciences
at UT Austin
Click to send e-mail to
Prof. Misra or
Panagiotis (Peter) Manolios