Parallel & Distributed Programming
Download
1 / 9

Course Information - PowerPoint PPT Presentation


  • 209 Views
  • Uploaded on

An example of the LTS (Labeled Transition System) Course Information ... a systematic treatment of the concepts and issues in concurrency; a rigorous technique to ...

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Course Information' - Kelvin_Ajay


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

Course information l.jpg
Course Information

  • Teaching materials

    • Text-book (option)

      • Concurrency:State Models & Java Programs

        by J. Magee & J. Kramer

    • Lecture notes: http://cis.k.hosei.ac.jp/~speng

    • Toolkit: http://cis.k.hosei.ac.jp/~speng/docu/Web.zip

      • LTS (Labeled Transition System) Analyzer

      • Example viewer


Course information conti l.jpg
Course Information (Conti.)

  • An example of the LTS (Labeled Transition System)


Course information conti4 l.jpg
Course Information (Conti.)

  • An example of the Java Applet:


Course features l.jpg
Course Features

  • The features of the course

    • a systematic treatment of the concepts and issues in concurrency;

    • a rigorous technique to specify and model concurrent behavior, with analysis tools for animation and verification;

    • a wide range of Java examples to illustrate the concepts and issues in concurrent programming.


The model based approach l.jpg
The Model-based Approach

  • A model is a simplified representation of the real world and includes only those aspects of the real-world system relevant to the problem at hand.

  • We take a model-based approach to the design of concurrent programs.

  • Our models represent the behavior of the real concurrent programs written in Java.


Course contents l.jpg
Course Contents

  • 1. Introduction

  • 2. Processes and Threads

  • 3. Concurrent Execution

  • 4. Shared Objects and Mutual Exclusion

  • 5. Monitors and Conditional Synchronization

  • 6. Deadlock

  • 7. Safety and Liveness Properties

  • 8. Model-based Design

  • 9.Timed Systems

  • 10. Parcel Router Design

  • 11. Game Design: Space Invader


Grading policy l.jpg
Grading Policy

  • No exam

  • Homework: 6 exercises and1 project

  • Grade: 10% per exercise, 30% for project, and 10% for class attendance


Final words l.jpg
Final Words

  • Concurrency is a fascinating and challenging area of software design.

  • Concurrent Java programs have applications in many fields in computer science.

  • I hope you will find this course interesting and enjoyable.


ad