Z prac sekcji PTI
Sekcja modelowania i oceny działania systemów komputerowych
Kierownictwo tej sekcji zaprasza wszystkich zainteresowanych na kolejny cykl seminariów organizowanych przez Zakład badań operacyjnych i systemów komputerowych Instytutu Automatyki Politechniki Poznańskiej. Miejsce spotkań: budynek Wydziału Elektrycznego Politechniki Poznańskiej, pok. 417, godz. 1100.
Oto terminarz kolejnych seminariów w semestrze zimowym roku akademickiego 1984/85:
25 października Jayme L. Szwarcfiter (Uniwersytet Federalny w Rio de Janeiro) — On some sufficient conditions for Hamiltonian cycles in graphs
8 listopada Andrzej Hoppe (Instytut Informatyki Uniwersytetu Warszawskiego) — Specyfikacja i weryfikacja podstawowych mechanizmów jądra systemu operacyjnego
14 listopada Jadwiga Indulska (Instytut Informatyki AGH w Krakowie) — Badanie struktur rozproszonych systemów operacyjnych czasu rzeczywistego
22 listopada Małgorzata Kowalczyk (Politechnika Wrocławska, studium doktoranckie) — Synchronizacja transakcji w systemach rozproszonych baz danych z wykorzystaniem blokad predykatowych
22 listopada
(godz. 1200)
|
Roman Załubski (Politechnika Wrocławska, studium doktoranckie) — Wybrane zagadnienia architektur systemów rozproszonych baz danych
|
29 listopada Mieczysław Drabowski (Ośrodek Badawczy Zjednoczenia Mera, Oddział w Krakowie) — Szeregowanie zadań w systemach wielomikroprocesorowych (cd.)
6 grudnia Zbyszko Królikowski (Ośrodek Informatyki Politechniki Poznańskiej) — Optymalizacja wykonywania transakcji w systemach rozproszonych baz danych (przegląd metod)
13 grudnia Piotr Jasiński (Ośrodek Informatyki Politechniki Poznańskiej) — Zagadnienia optymalizacji wybranych typów zapytań w relacyjnych, scentralizowanych bazach danych
10 stycznia Jerzy Nawrocki (Ośrodek Informatyki Politechniki Poznańskiej) — Analiza najgorszego przypadku fragmentacji pamięci w systemach z podziałem wagowym
17 stycznia Jerzy Kręglewski (Ośrodek Informatyki Politechniki Poznańskiej) — Eksperymentalna ocena algorytmów synchronizacji transakcji w systemach rozproszonych baz danych