Pr-1st-1.1-m10-toc

From Studia Informatyczne

<< Powrot

Spis treści

  1. Przetwarzanie rozproszone
  2. Plan wykładu
  3. Atomowy model przetwarzania
  4. Detekcja zakończenia liczniki wiadomości (1)
  5. Detekcja zakończenia liczniki wiadomości (2)
  6. Detekcja zakończenia liczniki wiadomości (3)
  7. Detekcja zakończenia liczniki wiadomości (4)
  8. Detekcja zakończenia liczniki wiadomości (5)
  9. Przykłady wyznaczania liczników RC* i SC*
  10. Detekcja zakończenia: algorytm
  11. Detekcja zakończenia dla atomowego modelu przetwarzania - twierdzenie 10.1
  12. Lematy 10.1.1, 10.1.2
  13. Lemat 10.1.3 oraz 10.1.4
  14. Dowód lematu 10.1.3
  15. Dowód lematu 10.1.3 (2)
  16. Dowód lematu 10.1.4
  17. Dowód lematu 10.1.4 (2)
  18. Lemat 10.1.5
  19. Dowód twierdzenia 10.1
  20. Dowód twierdzenia 10.1 (2)
  21. Jednofazowy algorytm detekcji zakończenia założenia
  22. Jednofazowy algorytm detekcji zakończenia (1)
  23. Jednofazowy algorytm detekcji zakończenia (2)
  24. Jednofazowy algorytm detekcji zakończenia (3)
  25. Jednofazowy algorytm detekcji zakończenia (4)
  26. Jednofazowy algorytm detekcji zakończenia (5)
  27. Jednofazowy algorytm detekcji zakończenia (6)
  28. Jednofazowy algorytm detekcji zakończenia (7)
  29. Wektorowy algorytm detekcji zakończenia założenia
  30. Wektorowy algorytm detekcji zakończenia (1)
  31. Wektorowy algorytm detekcji zakończenia (2)
  32. Wektorowy algorytm detekcji zakończenia (3)
  33. Wektorowy algorytm detekcji zakończenia (4)
  34. Wektorowy algorytm detekcji zakończenia (5)
  35. Wektorowy algorytm detekcji zakończenia (6)
  36. Wektorowy algorytm detekcji zakończenia Cechy
  37. Algorytm detekcji zakończenia statycznego koncepcja
  38. Algorytm detekcji zakończenia statycznego (1)
  39. Algorytm detekcji zakończenia statycznego (2)
  40. Algorytm detekcji zakończenia statycznego (3)
  41. Algorytm detekcji zakończenia statycznego (4)
  42. Algorytm detekcji zakończenia statycznego (5)
  43. Algorytm detekcji zakończenia statycznego (6)
  44. Algorytm detekcji zakończenia statycznego Dowód poprawności - oznaczenia
  45. Algorytm detekcji zakończenia statycznego: Dowód poprawności - oznaczenia (2)
  46. Twierdzenie 10.2
  47. Twierdzenie 10.3
  48. Szkic dowodu twierdzenia 10.3
  49. Dowód warunku C1
  50. Dowód warunku C2
  51. Dowód warunku C3 (1)
  52. Dowód warunku C3 (2)
  53. Dowód twierdzenia 10.3
  54. Algorytm detekcji zakończenia statycznego Złożoność obliczeniowa
  55. Detekcja zakończenia dynamicznego
  56. Detekcja zakończenia dynamicznego Algorytm (1)
  57. Detekcja zakończenia dynamicznego Algorytm (2)
  58. Detekcja zakończenia dynamicznego Algorytm (3)
  59. Detekcja zakończenia dynamicznego Algorytm (4)
  60. Detekcja zakończenia dynamicznego Algorytm (5)
  61. Detekcja zakończenia dynamicznego Algorytm (6)
  62. Twierdzenie 10.4
  63. Dowód twierdzenia 10.4 (1)
  64. Dowód twierdzenia 10.4 (2)
  65. Dowód twierdzenia 10.4 (3)
  66. Twierdzenie 10.5
  67. Szkic dowodu twierdzenia 10.5
  68. Dowód warunku C5 (1)
  69. Dowód warunku C5 (2)
  70. Dowód warunku C5 (3)
  71. Algorytm detekcji zakończenia dynamicznego Cechy (1)
  72. Algorytm detekcji zakończenia dynamicznego Cechy (2)