Pr-1st-1.1-m04-toc

From Studia Informatyczne

<< Powrot

Spis treści

  1. Czas wirtualny, złożoność algorytmów
  2. Plan wykładu
  3. Czas wirtualny (1)
  4. Czas wirtualny (2)
  5. Zegar logiczny - definicja
  6. Zegary logiczne - właściwości
  7. Zegar skalarny – definicja
  8. Realizacja zegarów skalarnych
  9. Alg. Lamporta (1)
  10. Alg. Lamporta (2)
  11. Alg. Lamporta (3)
  12. Przykład synchronizacji zegarów logicznych
  13. Relacja między zb. zdarzeń i zb. wartości zegara skalarnego
  14. Zegar wektorowy - definicja
  15. Realizacja zegarów wektorowych
  16. Alg. Matterna (1)
  17. Alg. Matterna (2)
  18. Alg. Matterna (3)
  19. Zegary wektorowe (1)
  20. Relacje na etykietach wektorowych
  21. Zegary wektorowe (2)
  22. Kanały FIFO
  23. Alg. Müllender’a (1)
  24. Alg. Müllender’a (2)
  25. Alg. Müllender’a (3)
  26. Alg. Müllender’a (4)
  27. Cechy kanałów FIFO
  28. Kanały typu FC
  29. Wyprzedzanie wiadomości
  30. Typy wiadomości w kanałach FC
  31. Implementacja kanałów FC
  32. Relacja poprzedzania ?+i,j
  33. Bezpośrednie poprzedzanie
  34. Konstrukcja relacji ?i,j (1)
  35. Konstrukcja relacji ?i,j (2)
  36. Konstrukcja relacji ?i,j (3)
  37. Przekazywania informacji o relacji ?i,j
  38. Alg. Kearnsa, Campa i Ahuja (1)
  39. Alg. Kearnsa, Campa i Ahuja (2)
  40. Alg. Kearnsa, Campa i Ahuja (3)
  41. Alg. Kearnsa, Campa i Ahuja (4)
  42. Alg. Kearnsa, Campa i Ahuja (5)
  43. Alg. Kearnsa, Campa i Ahuja (6)
  44. Alg. Kearnsa, Campa i Ahuja (7)
  45. Alg. Kearnsa, Campa i Ahuja (8)
  46. Środowisko nie zachowujące uporządkowania przyczynowego
  47. Środowisko zachowujące uporządkowanie przyczynowe
  48. Alg. Birmana, Schipera i Stephensona (1)
  49. Alg. Birmana, Schipera i Stephensona (2)
  50. Alg. Birmana, Schipera i Stephensona (3)
  51. Alg. Schipera, Egli, Sandoza (1)
  52. Alg. Schipera, Egli, Sandoza (2)
  53. Alg. Schipera, Egli, Sandoza (3)
  54. Alg. Schipera, Egli, Sandoza (4)
  55. Alg. Schipera, Egli, Sandoza (4)
  56. Alg. Schipera, Egli, Sandoza (5)
  57. Funkcje kosztu – oznaczenia
  58. Funkcja kosztu - definicja
  59. Funkcje kosztu wykonania algorytmów
  60. Rząd funkcji (1)
  61. Rząd funkcji (2)
  62. Rząd funkcji (3)
  63. Złożoność czasowa
  64. Czasy przetwarzania lokalnego i transmisji
  65. Złożoność komunikacyjna
  66. Przykład (1) - bariera
  67. Przykład (1) - rysunek
  68. Przykład (2) - bariera
  69. Przykład (2) - rysunek
  70. Warunki poprawności