Результати пошуку - Peterson’s algorithm
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- Математическое моделирование и вычислительные методы 3
- Genomics, Transcriptomics and Proteomics 2
- Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи 2
- IPCL 1
- Peterson’s algorithm 1
- UDC 004.415.52 1
- composition-nominative languages 1
- concurrent program 1
- formal verification 1
- interleaving 1
- liveness property 1
- mutual exclusion 1
- software total correctness 1
- Анализ результатов наблюдений и методы расчета гидрофизических полей океана 1
- Взгляд на проблему 1
- Керування в економічних та біологічних системах 1
- Математика 1
- Математичні методи обробки даних 1
- Методи обробки та захисту інформації 1
- Моделювання і управління великими системами 1
- Мікологічні знахідки 1
- Обзоp 1
- Обчислювальні системи 1
- Огляди 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
Алгоритм сегментации слов на основе поиска кратчайшего пути в графе
Опубліковано в: Реєстрація, зберігання і обробка даних (2017)Отримати повний текст
Стаття -
8
Индолентные неходжкинские лимфомы: современный алгоритм диагностики и лечения
Опубліковано в: Онкологія (2014)Отримати повний текст
Стаття -
9
-
10
-
11
Blockchain as a service for medical records
Опубліковано в: Системні дослідження та інформаційні технології (2017)Отримати повний текст
Стаття -
12
Data analysis and anomalies detection in cattle behavior
Опубліковано в: Проблеми керування та інформатики (2025)Отримати повний текст
Стаття -
13
Energy dissipation in helicon plasma at the near field of an antenna
Опубліковано в: Вопросы атомной науки и техники (2018)Отримати повний текст
Стаття -
14
-
15
Robust clustering on high-dimensional data with stochastic quantization
Опубліковано в: Проблеми керування та інформатики (2025)Отримати повний текст
Стаття -
16
-
17
Водоросли почв дубрав степной зоны Украины
Опубліковано в: Альгология (2017)Отримати повний текст
Стаття -
18
Об экспоненциальной устойчивости комплекснозначной нейронной сети на временной шкале
Опубліковано в: Доповіді НАН України (2011)Отримати повний текст
Стаття -
19
-
20
Simple flexible polymers in a spherical cage
Опубліковано в: Condensed Matter Physics (2012)Отримати повний текст
Стаття