Seminarium Instytutu Informatyki

zdjęcie

W. Daszczuk

Instytutu Informatyki zaprasza na seminarium 30 marca br. o godzinie 12:15 w Audytorium Centralnym. Referat pt. " Anatomia zakleszczeńwygłosi dr inż.  Wiktor Daszczuk, adiunkt w Zakładzie Oprogramowania Architektury Komputerów IIPW . Serdecznie zapraszamy wszystkich zainteresowanych. Poniżej autorskie streszczenie referatu.

W referacie zostaną przedstawione podstawowe metody znajdowania zakleszczeń oraz klasyfikacja zakleszczeń, w tym podział na zakleszczenia komunikacyjne i na zasobach oraz zakleszczenia totalne i częściowe (globalne i lokalne). Na tym tle zostanie przedstawiony oryginalny model IMDS (Integrated Model of Distributed Systems), w którym w jednolity sposób można przedstawić strukturę systemu rozproszonego, a zakleszczenia komunikacyjne i na zasobach wykrywać poprzez rzutowanie na procesy serwerów/agentów.

Zostanie przedstawione środowisko DEDAN, w którym można modelować systemy, rzutować na procesy serwerów/agentów, oraz symulować zachowanie systemów. W środowisko jest wbudowany weryfikator temporalny, który pozwala znajdować zakleszczenia i badać terminację procesów.

Last modified: Tuesday, March 15, 2016 - 12:16:12 PM, Bożenna Skalska

x x News (2) - by publication date

‹‹ March 2016 ››
Mon Tue Wed Thu Fri Sat Sun
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

absolwenci ankieta badania BigData dydaktyka IBM instytut Instytut Lotnictwa ISI kandydaci konkurs konkurs FINESCE praca praktyki prezentacja programowanie projekty przedmiot przedmioty publikacje seminarium specjalność staże zagraniczne studenci studia studia za granicą stypendia Texas Instruments współpraca wykład

x x Tags

x x Month list