Członkowie Zespołu

	prof. dr hab. inż. Marek Tudruj - kierownik zespołu
	dr inż. Eryk Laskowski
	dr Łukasz Maśko

	Sterowanie wykonaniem programów w systemach z dynamicznymi gronami procesorów ze wspólną pamięcią.
	grant promotorski MNiSW Nr. 3 T11C 025 29
	kierownik projektu: Marek Tudruj
	Metody i narzędzia wspomagania równoległości drobnoziarnistej w systemach komputerowych.
	grant badawczy własny KBN Nr 4 T11C 007 22
	kierownik projektu: Marek Tudruj
	Strukturalizacja programów równoległych dla systemu z redundancyjnymi zasobami komunikacyjnymi.
	grant badawczy KBN Nr 7 T11C 015 20
	kierownik projektu: Eryk Laskowski

Tematyka badawcza

	Metodologia równoległych i rozproszonych systemów komputerowych,
	Architektura komunikacji w systemach równoległych,
	Paradygmaty sterowania wykonaniem programów równoległych,
	Metody optymalizacji obliczeń w systemach równoległych,
	Dynamicznie rekonfigurowalne systemy komputerowe,
	Narzędzia projektowania programów równoległych i rozproszonych,
	Architektura systemów komputerowych.

Charakterystyka badań
Aktualnym tematem badań Grupy są nowe rozwiązania komunikacji danych dla równoległych systemów opartych na procesorach wielordzeniowych i nowoczesnych technologiach typu "Networks on Chip" oraz "Systems on Chip". Badania dotyczą metodologii dynamicznej rekonfiguracji struktur systemów równoległych dla realizacji komunikacji przez przesyłanie komunikatów oraz przez zmienne dzielone, pozwalającej na uzyskanie efektów przezroczystości czasowej operacji. Efektem badań są metody zapewniające redukcję czasu wykonywania programów i lepsze wykorzystanie zasobów systemu. Opracowywane mechanizmy umożliwiają d opasowanie struktury sprzętu do wykonywanych programów aplikacyjnych, odpowiadające funkcjonalności równoległych systemów wbudowanych (ang. parallel embedded systems).

Badania Grupy dotyczą również algorytmów optymalizacji programów dla wydajnego wykonywania w systemach równoległych i rozproszonych. Obejmuje to algorytmy szeregowania zadań w programach dla systemów o nowatorskich architekturach komunikacji danych, np. w hierarchicznych układach modułów procesorów wielordzeniowych. Badania są prowadzone poprzez symulacyjną weryfikację hipotez architekturalnych systemów dla reprezentatywnych klas programów. Dla celów symulacji, zachowanie programów i systemów jest modelowane z wykorzystaniem reprezentacji grafowych. Specjalna uwaga jest poświęcona metodom grafowej reprezentacji programów i systemów zapewniających dużą szybkość symulacji.