AG Technische Informatik

ALP IV: Nicht-sequentielle Programmierung (2,N)

Nichtsequentielle Programmierung befasst sich mit den Datenstrukturen und Algorithmen zur Synchronisation nebenläufiger Prozesse, die auf gemeinsame Daten zugreifen oder miteinander kommunizieren. Die Vorlesung stellt die grundlegenden Konzepte und Methoden der Programmierung nebenläufiger Systeme im Zusammenhang dar. Sie setzt den (auf sequentielle Programmierung beschränkten) Zyklus Algorithmen und Programmierung I-III fort und ist Voraussetzung für verschiedene Veranstaltungen des Hauptstudiums wie z.B. Netzprogrammierung, Betriebssysteme, Verteilte Systeme und Parallele Algorithmen.

(19513)

Typ

Vorlesung

Dozent/in

Prof. Dr. Marcel Kyas

Institution

Institute of Computer Science

Freie Universität Berlin

Semester

SS 14

Veranstaltungsumfang

Leistungspunkte

5

Anmeldemodalität

Register via KVV (Sakai) and Campus Management.

Raum

Takustraße 9

HS 003

Zeit

Office Hours: Thursday, 13-14
Time:
Wednesday, 14-16

Tutorials

  • Monday, 10-12, Takustraße 9, SR055 (Alexander Kauer)
  • Monday, 14-16, Takustraße 9, SR046 (Nadja Scharf)
  • Tuesday, 10-12, Takustraße 9, SR046 (Oliver Wiese)
  • Tuesday, 12-14, Takustraße 9, SR046 (David Bohn)
  • Tuesday, 14-16, Takustraße 9, SR046 (Nadja Scharf)
  • Tuesday, 16-18, Takustraße 9, SR046 (David Bohn)
  • Wednesday, 10-12, Takustraße 9, SR046 (Oliver Wiese)
  • Thursday, 12-14, Takustraße 9, SR046 (Alexander Kauer)

The first tutorials take place on Thursday, April 17. It is important to visit the first session. If you cannot come, send an e-mail to your Tutor via the Sakai system. Otherwise we have to assume that you are not interested in your seat in the tutorial and may give it away to students who need it.

Beginn

16.04.2014 | 14:00

Zielgruppe

2nd year BSc students

Voraussetzungen

ALP 3

Literaturliste

Basic text books for this course

  • Andrews, G.R.: Foundations of multithreaded, parallel and distributed programming. Addison-Wesley, 2000
  • G. Taubenfeld, Synchronisation Algorithms and Concurrent Programming, Prentice Hall, 2006

Textbooks on Hoare logic

  • K.R. Apt, E.-R. Olderog, F.S. de Boer, Verification of Sequential and Concurrent Programs, 2nd Edition, Springer, 2008
  • R.D. Tennent, Specifying Software, Cambridge University Press, 2001
  • W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, J. Zwiers, Concurrency Verification, Cambridge University Press, 2001 

KVV page, Learning Management System

Lecturer's Assistance

If you encounter problems regarding your tutor, assignments, etc,  please contact Marcel Kyas.

I urge all students which already have fulfilled the criteria of active participation or which attempt to achieve a diploma instead of a B.Sc. or M.Sc. to not register for a tutorial. Send an email to Marcel Kyas to indicate your intention to write the exam.