Результати пошуку - Peterson’s algorithm
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- Математическое моделирование и вычислительные методы 3
- Fuzzy C-Means 1
- IPCL 1
- K-Means 1
- NEFCLASS-EM 1
- Peterson’s algorithm 1
- TS-FNN 1
- UDC 004.415.52 1
- composition-nominative languages 1
- computational intelligence 1
- concurrent program 1
- formal verification 1
- fuzzy logic 1
- groundwater potential assessment 1
- hybrid neural networks 1
- interleaving 1
- liveness property 1
- mutual exclusion 1
- remote sensing 1
- satellite imagery 1
- software total correctness 1
- surface water quality monitoring 1
- Паралельне програмування. Розподілені системи і мережі 1
- УДК 004.415.52 1
- алгоритм Петерсона 1
- алгоритм Пітерсона 1
- взаимное исключение 1
- взаємне виключення 1
- гібридні нейронні мережі 1
- дистанційне зондування 1
-
1
Peterson’s Algorithm total correctness proof in IPCL
Опубліковано в: Проблеми програмування (2016)Отримати повний текст
Стаття -
2
-
3
Peterson's Algorithm total correctness proof in IPCL
Опубліковано 2016Отримати повний текст
Стаття -
4
Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация
Опубліковано в: Электронное моделирование (2015)Отримати повний текст
Стаття -
5
-
6
-
7
-
8